12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 15:24, 14 August 2009
, 15:24, 14 August 2009→Variations on a theme of transitivity: expand figure captions
| [[Image:Venn Diagram (P (Q)).jpg|500px]] || (44)
| [[Image:Venn Diagram (P (Q)).jpg|500px]] || (44)
|-
|-
| <math>\texttt{(} p \texttt{~(} q \texttt{))}</math>
| <math>f_{207}(p, q, r) ~=~ \texttt{(} p \texttt{~(} q \texttt{))}</math>
|-
|-
|
|
| [[Image:Venn Diagram (Q (R)).jpg|500px]] || (45)
| [[Image:Venn Diagram (Q (R)).jpg|500px]] || (45)
|-
|-
| <math>\texttt{(} q \texttt{~(} r \texttt{))}</math>
| <math>f_{187}(p, q, r) ~=~ \texttt{(} q \texttt{~(} r \texttt{))}</math>
|-
|-
|
|
| [[Image:Venn Diagram (P (R)).jpg|500px]] || (46)
| [[Image:Venn Diagram (P (R)).jpg|500px]] || (46)
|-
|-
| <math>\texttt{(} p \texttt{~(} r \texttt{))}</math>
| <math>f_{175}(p, q, r) ~=~ \texttt{(} p \texttt{~(} r \texttt{))}</math>
|-
|-
|
|
| [[Image:Venn Diagram (P (Q)) (Q (R)).jpg|500px]] || (47)
| [[Image:Venn Diagram (P (Q)) (Q (R)).jpg|500px]] || (47)
|-
|-
| <math>\texttt{(} p \texttt{~(} q \texttt{))~(} q \texttt{~(} r \texttt{))}</math>
| <math>f_{139}(p, q, r) ~=~ \texttt{(} p \texttt{~(} q \texttt{))~(} q \texttt{~(} r \texttt{))}</math>
|}
|}