Fix parentheses issues in more-proofs-in-K.tex

Author: yiannis-had

content/normal-modal-logic/axioms-systems/more-proofs-in-K.tex

@@ -71,11 +71,11 @@
 
 \begin{proof}
   \begin{derivation}
-    1. & $\Log{K} \Proves \lnot !A \lif (\lnot !B \lif \lnot (!A \lor !B)$ & \Taut \\
+    1. & $\Log{K} \Proves \lnot !A \lif (\lnot !B \lif \lnot (!A \lor !B))$ & \Taut \\
     2. & $\Log{K} \Proves \Box\lnot !A \lif
-    (\Box\lnot!B \lif \Box \lnot (!A \lor !B)$ & \RK\\
+    (\Box\lnot!B \lif \Box \lnot (!A \lor !B))$ & \RK\\
     3. & $\Log{K} \Proves \Box\lnot !A \lif (\lnot \Box \lnot (!A \lor!B)
-    \lif \lnot\Box\lnot !B))$ & \PL, 2\\
+    \lif \lnot\Box\lnot !B)$ & \PL, 2\\
     4. & $\Log{K} \Proves \lnot \Box \lnot(!A \lor !B) \lif (\Box \lnot !A \lif 
     \lnot\Box\lnot !B)$ & \PL, 3\\
     5. & $\Log{K} \Proves \lnot \Box \lnot(!A\lor!B) \lif (\lnot