User contributions for Mshayeb
Jump to navigation
Jump to search
31 May 2011
- 22:0122:01, 31 May 2011 diff hist +564 N Exportation and Self-Conditional Created page with "Prove Shunting: $p \land q \Rightarrow r \equiv ( p \Rightarrow q ) \Rightarrow ( p \Rightarrow r)$ Proof: $( p \Rightarrow q ) \Rightarrow ( p \Rightarrow r)$ =<implication ..."