12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 02:32, 13 August 2009
, 02:32, 13 August 2009→Variations on a theme of transitivity: spacing
|-
|-
| <math>\texttt{(} p \texttt{~(} q \texttt{))}</math>
| <math>\texttt{(} p \texttt{~(} q \texttt{))}</math>
|}
|-
|
|-
| [[Image:Venn Diagram (Q (R)).jpg|500px]] || (45)
| [[Image:Venn Diagram (Q (R)).jpg|500px]] || (45)
|-
|-