Update system_L.py

xuhuairuogu · Apr 3, 2019 · 40a0cdb · 40a0cdb
1 parent 27fcdf1
commit 40a0cdb
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/数理逻辑/codes/mbinary/system_L.py b/数理逻辑/codes/mbinary/system_L.py
@@ -216,8 +216,8 @@ def l3(self,p,q):
         right = contain(p,q)
         return contain(left,right)
     def genFormula(self,s:str)->formula:
-	    s=s.replace('~~','')  #  simplify the deduction,  to do
-	    s=s.replace('<->','-')
+        s=s.replace('~~','')  #  simplify the deduction,  to do
+        s=s.replace('<->','-')
         s=s.replace('->','>')
         li = re.findall(r'[\(\)\>\~]|\w+',s)
         li = [sympy.Symbol(i) for i in li]