8.4 Practice with Material Conditionals
This submodule offers practice with symbolizing material conditionals, creating and interpreting truth tables, applying the rules of modus ponens and modus tollens, and completing proofs and enthymemes.
Table of Contents
8.4.1 Practice with Symbolizing Material Conditionals
Gottlob Frege (1848-1925) was an important developer of modern logic.
8.4.2 Practice with Material Conditionals and Truth Tables
Emil Leon Post (1897-1954), believed to be the first to publish truth tables.
8.4.3 Practice with Modus Ponens and Modus Tollens
Chrysippus (279-206 BCE), the Stoic, helped develop propositional logic.
8.4.4 Practice with Proofs
A. N. Whitehead (1861-1947) helped prove the logical foundations of mathematics.
Image Credit: Wellcome Trust under CC BY SA license 4.0 (https://creativecommons.org/licenses/by-sa/4.0/deed.en) via Wikipedia
8.4.5 Practice with Enthymemes
Bertrand Russell (1872-1970) helped prove the logical foundations of mathematics.
Submodule 8.4 Quiz
Licenses and Attributions
Key Sources:
- Watson, Jeffrey (2019). Introduction to Logic. Licensed under: (CC BY-SA).
Next Page: 9.1 Testing Validity for Complex Arguments