MA.912.LT.4.9: Construct logical arguments using laws of detachment, syllogism, tautology, contradiction and Euler Diagrams.