12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 13:44, 8 November 2016
, 13:44, 8 November 2016→Proof as semiosis: MathJax treats ~'s in \texttt{ } as printing character rather than blank space
e_0 & = &
e_0 & = &
{}^{\backprime\backprime}
{}^{\backprime\backprime}
\texttt{(~)}
\texttt{( )}
{}^{\prime\prime}
{}^{\prime\prime}
\\[4pt]
\\[4pt]
e_1 & = &
e_1 & = &
{}^{\backprime\backprime}
{}^{\backprime\backprime}
\texttt{~}
\texttt{ }
{}^{\prime\prime}
{}^{\prime\prime}
\\[4pt]
\\[4pt]
e_2 & = &
e_2 & = &
{}^{\backprime\backprime}
{}^{\backprime\backprime}
\texttt{(} p \texttt{~(} q \texttt{))~(} p \texttt{~(} r \texttt{))}
\texttt{(} p \texttt{ (} q \texttt{)) (} p \texttt{ (} r \texttt{))}
{}^{\prime\prime}
{}^{\prime\prime}
\\[4pt]
\\[4pt]
e_3 & = &
e_3 & = &
{}^{\backprime\backprime}
{}^{\backprime\backprime}
\texttt{(} p \texttt{~(} q~r \texttt{))}
\texttt{(} p \texttt{ (} q r \texttt{))}
{}^{\prime\prime}
{}^{\prime\prime}
\\[4pt]
\\[4pt]
e_4 & = &
e_4 & = &
{}^{\backprime\backprime}
{}^{\backprime\backprime}
\texttt{(} p~q~r \texttt{~,~(} p \texttt{))}
\texttt{(} p q r \texttt{ , (} p \texttt{))}
{}^{\prime\prime}
{}^{\prime\prime}
\\[4pt]
\\[4pt]
e_5 & = &
e_5 & = &
{}^{\backprime\backprime}
{}^{\backprime\backprime}
\texttt{((~(} p \texttt{~(} q \texttt{))~(} p \texttt{~(} r \texttt{))~,~(} p \texttt{~(} q~r \texttt{))~))}
\texttt{(( (} p \texttt{ (} q \texttt{)) (} p \texttt{ (} r \texttt{)) , (} p \texttt{ (} q r \texttt{)) ))}
{}^{\prime\prime}
{}^{\prime\prime}
\end{array}\!</math>
\end{array}\!</math>