12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 17:24, 13 August 2009
, 17:24, 13 August 2009→Computation and inference as semiosis: spacing
|
|
<math>\begin{array}{l}
<math>\begin{array}{l}
p \Rightarrow q
~ p \Rightarrow q
\\
\\
p
~ p
\\
\\
\overline{~~~~~~~~~~~~}
\overline{~~~~~~~~~~~~~~~}
\\
\\
q
~ q
\end{array}</math>
\end{array}</math>
|-
|-
|
|
<math>\begin{array}{l}
<math>\begin{array}{l}
p \Rightarrow q
~ p \Rightarrow q
\\
\\
p
~ p
\\
\\
=\!=\!=\!=\!=\!=\!=
=\!=\!=\!=\!=\!=\!=\!=
\\
\\
p~q
~ p ~ q
\end{array}</math>
\end{array}</math>
|}
|}
|
|
<math>\begin{array}{l}
<math>\begin{array}{l}
\textit{Expression~1}
~ \textit{Expression~1}
\\
\\
\textit{Expression~2}
~ \textit{Expression~2}
\\
\\
\overline{~~~~~~~~~~~~~~~~~~~~}
\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>
|}
|}