Metaphors in Family Mediation Warsaw, Poland, 21-22 November 2008 Thomas Smith Asociace Mediatorů České Republiky Prague .
4.1 CompSci 102© Michael Frank Today’s topics Proof techniquesProof techniques – –Indirect, by cases, and direct – –Rules of logical inference – –Correct.