12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 03:58, 8 November 2016
, 03:58, 8 November 2016→Analysis of contingent propositions: mathjax treats ~'s in
| [[Image:Venn Diagram (P (Q)) (P (R)).jpg|500px]] || (36)
| [[Image:Venn Diagram (P (Q)) (P (R)).jpg|500px]] || (36)
|-
|-
| <math>\text{Venn Diagram for}~ \texttt{(} p \texttt{~(} q \texttt{))~(} p \texttt{~(} r \texttt{))}\!</math>
| <math>\text{Venn Diagram for}~ \texttt{(} p \texttt{ (} q \texttt{)) (} p \texttt{ (} r \texttt{))}\!</math>
|}
|}