ppt课件-mathematicalargumentsandtrianglegeometry.pptVIP

Indirect Proof Use logic role of modus tollens P ? Q is equivalent to ? Q ? ? P We assume ? Q Then work step by step to show that P cannot be true That is ? P Indirect Proof Alternatively we use this fact Begin by assuming P and not Q Use logical reasoning to look for contradiction This gives us Which means that P ? Q must be true Counter Examples Consider a conjecture you make P ? Q You create a Geogebra diagram to illustrate your conjecture Then you discover a specific example where all the requirements of P hold true But Q is definitely not true This is a counter example to sh