3.1 Propositional Logic (source code)

= 3.1 Propositional Logic
{c}

Online text: https://discrete.openmathbooks.org/dmoi3/sec_propositional.html

Cited passages: Discrete Mathematics: An Open Introduction, 3rd edition, §3.1 Truth Tables: conjunction, disjunction and negation tables; §3.1 Logical Equivalence: definition and comparison of truth-table columns; §3.1 Example 3.1.3 and De Morgan’s Laws box; Front Matter: title, whole-book author, edition, displayed date August 12, 2025; Institutional Oscar Levin profile, Publications entry: third edition (2018).