User contributions for Mshayeb

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 ..."