Changes

MyWikiBiz, Author Your Legacy — Wednesday November 05, 2025
Jump to navigationJump to search

Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)

Revision as of 02:32, 13 August 2009

55 bytes removed ,  02:32, 13 August 2009
→‎Variations on a theme of transitivity: spacing
Line 2,272: Line 2,272:  
|-
 
|-
 
| <math>\texttt{(} p \texttt{~(} q \texttt{))}</math>
 
| <math>\texttt{(} p \texttt{~(} q \texttt{))}</math>
−
|}
+
|-
−
 
+
| &nbsp;
−
<br>
+
|-
−
 
  −
{| align="center" cellpadding="6" style="text-align:center"
   
| [[Image:Venn Diagram (Q (R)).jpg|500px]] || (45)
 
| [[Image:Venn Diagram (Q (R)).jpg|500px]] || (45)
 
|-
 
|-
Jon Awbrey
12,144

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/90531"

Navigation menu