Changes

try this
Line 22: Line 22:  
~ p
 
~ p
 
\\
 
\\
\overline{15:22, 6 November 2016 (UTC)15:22, 6 November 2016 (UTC)15:22, 6 November 2016 (UTC)}
+
\overline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~}
 
\\
 
\\
 
~ q
 
~ q
Line 40: Line 40:  
~ p
 
~ p
 
\\
 
\\
=\!=\!=\!=\!=\!=\!=\!=
+
\overline{\underline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~}}
 
\\
 
\\
 
~ p ~ q
 
~ p ~ q
Line 51: Line 51:  
|
 
|
 
<math>\begin{array}{l}
 
<math>\begin{array}{l}
~ \textit{Expression~1}
+
~ \textit{Expression 1}
 
\\
 
\\
~ \textit{Expression~2}
+
~ \textit{Expression 2}
 
\\
 
\\
\overline{15:22, 6 November 2016 (UTC)15:22, 6 November 2016 (UTC)15:22, 6 November 2016 (UTC)15:22, 6 November 2016 (UTC)}
+
\overline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~}
 
\\
 
\\
~ \textit{Expression~3}
+
~ \textit{Expression 3}
 
\end{array}</math>
 
\end{array}</math>
 
|}
 
|}
Line 65: Line 65:  
{| align="center" cellpadding="8" width="90%"
 
{| align="center" cellpadding="8" width="90%"
 
|
 
|
<math>\textit{Premiss~1}, \textit{Premiss~2} ~\vdash~ \textit{Conclusion}.\!</math>
+
<math>\textit{Premiss 1}, \textit{Premiss 2} ~\vdash~ \textit{Conclusion}.\!</math>
 
|}
 
|}
   Line 72: Line 72:  
{| align="center" cellpadding="8" width="90%"
 
{| align="center" cellpadding="8" width="90%"
 
|
 
|
From &nbsp; <math>{\textit{Expression~1}}\!</math> &nbsp; and &nbsp; <math>{\textit{Expression~2}}\!</math> &nbsp; infer &nbsp; <math>{\textit{Expression~3}}.\!</math>
+
From &nbsp; <math>{\textit{Expression 1}}\!</math> &nbsp; and &nbsp; <math>{\textit{Expression 2}}\!</math> &nbsp; infer &nbsp; <math>{\textit{Expression 3}}.\!</math>
 
|}
 
|}
  
12,080

edits