12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 16:17, 8 November 2016
, 16:17, 8 November 2016→Proof as semiosis: MathJax treats "~" in \mathem as blank space but as printing character in \texttt
{| align="center" cellpadding="8" width="90%"
{| align="center" cellpadding="8" width="90%"
| <math>e_0 = {}^{\backprime\backprime} \texttt{(~)} {}^{\prime\prime}\!</math> expresses the logical constant <math>\mathrm{false}.\!</math>
| <math>e_0 = {}^{\backprime\backprime} \texttt{( )} {}^{\prime\prime}\!</math> expresses the logical constant <math>\mathrm{false}.\!</math>
|-
|-
| <math>e_1 = {}^{\backprime\backprime} \texttt{~} {}^{\prime\prime}\!</math> expresses the logical constant <math>\mathrm{true}.\!</math>
| <math>e_1 = {}^{\backprime\backprime} \texttt{ } {}^{\prime\prime}\!</math> expresses the logical constant <math>\mathrm{true}.\!</math>
|-
|-
| <math>e_2 = {}^{\backprime\backprime} \texttt{(} p \texttt{~(} q \texttt{))~(} p \texttt{~(} r \texttt{))} {}^{\prime\prime}\!</math> says <math>{}^{\backprime\backprime} \mathrm{not}~ p ~\mathrm{without}~ q,\!</math> <math>\mathrm{and~not}~ p ~\mathrm{without}~ r {}^{\prime\prime}.\!</math>
| <math>e_2 = {}^{\backprime\backprime} \texttt{(} p \texttt{ (} q \texttt{)) (} p \texttt{ (} r \texttt{))} {}^{\prime\prime}\!</math> says <math>{}^{\backprime\backprime} \mathrm{not}~ p ~\mathrm{without}~ q,\!</math> <math>\mathrm{and~not}~ p ~\mathrm{without}~ r {}^{\prime\prime}.\!</math>
|-
|-
| <math>e_3 = {}^{\backprime\backprime} \texttt{(} p \texttt{~(} q~r \texttt{))} {}^{\prime\prime}\!</math> says <math>{}^{\backprime\backprime} \mathrm{not}~ p ~\mathrm{without}~ q ~\mathrm{and}~ r {}^{\prime\prime}.\!</math>
| <math>e_3 = {}^{\backprime\backprime} \texttt{(} p \texttt{ (} q~r \texttt{))} {}^{\prime\prime}\!</math> says <math>{}^{\backprime\backprime} \mathrm{not}~ p ~\mathrm{without}~ q ~\mathrm{and}~ r {}^{\prime\prime}.\!</math>
|-
|-
| <math>e_4 = {}^{\backprime\backprime} \texttt{(} p~q~r \texttt{~,~(} p \texttt{))} {}^{\prime\prime}\!</math> says <math>{}^{\backprime\backprime} p ~\mathrm{and}~ q ~\mathrm{and}~ r,\!</math> <math>~\mathrm{or~else~not}~ p{}^{\prime\prime}.\!</math>
| <math>e_4 = {}^{\backprime\backprime} \texttt{(} p~q~r \texttt{ , (} p \texttt{))} {}^{\prime\prime}\!</math> says <math>{}^{\backprime\backprime} p ~\mathrm{and}~ q ~\mathrm{and}~ r,\!</math> <math>~\mathrm{or~else~not}~ p{}^{\prime\prime}.\!</math>
|-
|-
| <math>e_5 = {}^{\backprime\backprime} \texttt{((~(} p \texttt{~(} q \texttt{))~(} p \texttt{~(} r \texttt{))~,~(} p \texttt{~(} q~r \texttt{))~))} {}^{\prime\prime}\!</math> says that <math>e_2\!</math> and <math>e_3\!</math> say the same thing.
| <math>e_5 = {}^{\backprime\backprime} \texttt{(( (} p \texttt{ (} q \texttt{)) (} p \texttt{ (} r \texttt{)) , (} p \texttt{ (} q~r \texttt{)) ))} {}^{\prime\prime}\!</math> says that <math>e_2\!</math> and <math>e_3\!</math> say the same thing.
|}
|}