supython-coder
diff --git a/‎数理逻辑/codes/mbinary/system_L.py
Copy file name to clipboardExpand all lines: 数理逻辑/codes/mbinary/system_L.py
+2-2Lines changed: 2 additions & 2 deletions b/‎数理逻辑/codes/mbinary/system_L.py
Copy file name to clipboardExpand all lines: 数理逻辑/codes/mbinary/system_L.py
+2-2Lines changed: 2 additions & 2 deletions
@@ -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]