12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 17:40, 8 November 2016
, 17:40, 8 November 2016try fix
~ p
~ p
\\
\\
\overline{15:22, 6 November 2016 (UTC)15:22, 6 November 2016 (UTC)15:22, 6 November 2016 (UTC)}
\overline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~}
\\
\\
~ q
~ q
~ p
~ p
\\
\\
\overline{\underline{~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~}}
\\
\\
~ p ~ q
~ p ~ q
|
|
<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>
|}
|}
{| 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>
|}
|}
{| align="center" cellpadding="8" width="90%"
{| align="center" cellpadding="8" width="90%"
|
|
From <math>{\textit{Expression~1}}\!</math> and <math>{\textit{Expression~2}}\!</math> infer <math>{\textit{Expression~3}}.\!</math>
From <math>{\textit{Expression 1}}\!</math> and <math>{\textit{Expression 2}}\!</math> infer <math>{\textit{Expression 3}}.\!</math>
|}
|}