As online assignment:
http://bolanmath.wikispaces.com/Logic+Online+Assignment+%28Conditional+Statements%29

Conditional Statements, Hypothesis & Conclusion:


Law of Syllogism & Law of Detachment



Inverse, Converse, Contrapositive



Algebraic Proof