12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 02:51, 17 March 2010
, 02:51, 17 March 2010→Majority function example: revise example
| [[Image:Majority Function Example Proof 1 Title.jpg|500px]]
| [[Image:Majority Function Example Proof 1 Title.jpg|500px]]
|-
|-
| [[Image:Majority Function Example Proof 1 Frame 1.jpg|500px]]
| [[Image:Majority Function Example 2.0 Proof 1 Frame 1.jpg|500px]]
|-
|-
| [[Image:Equational Inference Reflect ab, ac, bc.jpg|500px]]
| [[Image:Equational Inference Reflect ab, ac, bc.jpg|500px]]
|-
|-
| [[Image:Majority Function Example Proof 1 Frame 2.jpg|500px]]
| [[Image:Majority Function Example 2.0 Proof 1 Frame 2.jpg|500px]]
|-
|-
| [[Image:Equational Inference Distribute (abc).jpg|500px]]
| [[Image:Equational Inference Distribute (abc).jpg|500px]]
|-
|-
| [[Image:Majority Function Example Proof 1 Frame 3.jpg|500px]]
| [[Image:Majority Function Example 2.0 Proof 1 Frame 3.jpg|500px]]
|-
|-
| [[Image:Equational Inference Collect ab, ac, bc.jpg|500px]]
| [[Image:Equational Inference Collect ab, ac, bc.jpg|500px]]
|-
|-
| [[Image:Majority Function Example Proof 1 Frame 4.jpg|500px]]
| [[Image:Majority Function Example 2.0 Proof 1 Frame 4.jpg|500px]]
|-
|-
| [[Image:Equational Inference Quit (a), (b), (c).jpg|500px]]
| [[Image:Equational Inference Quit (a), (b), (c).jpg|500px]]
|-
|-
| [[Image:Majority Function Example Proof 1 Frame 5.jpg|500px]]
| [[Image:Majority Function Example 2.0 Proof 1 Frame 5.jpg|500px]]
|-
|-
| [[Image:Equational Inference Cancel (( )).jpg|500px]]
| [[Image:Equational Inference Cancel (( )).jpg|500px]]
|-
|-
| [[Image:Majority Function Example Proof 1 Frame 6.jpg|500px]]
| [[Image:Majority Function Example 2.0 Proof 1 Frame 6.jpg|500px]]
|-
|-
| [[Image:Equational Inference Weed ab, ac, bc.jpg|500px]]
| [[Image:Equational Inference Weed ab, ac, bc.jpg|500px]]
|-
|-
| [[Image:Majority Function Example Proof 1 Frame 7.jpg|500px]]
| [[Image:Majority Function Example 2.0 Proof 1 Frame 7.jpg|500px]]
|-
|-
| [[Image:Equational Inference Delete a, b, c.jpg|500px]]
| [[Image:Equational Inference Delete a, b, c.jpg|500px]]
|-
|-
| [[Image:Majority Function Example Proof 1 Frame 8.jpg|500px]]
| [[Image:Majority Function Example 2.0 Proof 1 Frame 8.jpg|500px]]
|-
|-
| [[Image:Equational Inference Cancel (( )).jpg|500px]]
| [[Image:Equational Inference Cancel (( )).jpg|500px]]
|-
|-
| [[Image:Majority Function Example Proof 1 Frame 9.jpg|500px]]
| [[Image:Majority Function Example 2.0 Proof 1 Frame 9.jpg|500px]]
|-
|-
| [[Image:Equational Inference QED.jpg|500px]]
| [[Image:Equational Inference QED.jpg|500px]]