University of California, San Diego: Edward Bender and S. Williamson's "Arithmetic, Logic, and Numbers: Logic"
Review example 4 (Right Triangles and the Pythagorean theorem) on pages Lo-6 - Lo-7. It illustrates some of the rules of inference.
Review example 4 (Right Triangles and the Pythagorean theorem) on pages Lo-6 - Lo-7. It illustrates some of the rules of inference.