1: Propositional Logic — Read

From LibreTexts, under CC BY-NC-SA 2.0, as the source states it; its equations are written in TeX, which the PDF shows typeset. This page at LibreTexts.

The grand aim of all science is to cover the greatest number of empirical facts
by logical deduction from the smallest number of hypotheses or axioms.

Albert Einstein (1879–1955), Nobel prize-winning physicis
in Life magazine

For our purposes, Logic is the business of deciding whether or not a deduction is valid; that is, deciding whether or not a particular conclusion is a consequence of particular assumptions. (The assumptions can also be called “hypotheses” or “axioms.”)

1.1: Assertions, Deductions, and Validity
1.2: Logic Puzzles
Clear thinking (or logic) is important not only in mathematics, but in everyday life, and can also be fun; many logic puzzles (or brain teasers) can be found on the internet or in bookstores.
1.3: Using Letters to Symbolize Assertions
1.4: Connectives
1.5: Determining whether an assertion is true
1.6: Tautologies and contradictions
1.7: Logical Equivalence
1.8: Converse and Contrapositive
1.9: Some Valid Deductions
1.10: Summary

This page titled 1: Propositional Logic was last modified on Mon, 18 Oct 2021 01:34:38 GMT and is shared under a CC BY-NC-SA 2.0 license and was authored, remixed, and/or curated by Dave Witte Morris and Joy Morris.

Contents

Text