Propositional Logic: Semantics & Satisfiablity
- Discrete Mathematics: An Open Introduction, 4th Edition, Oscar Levin
- Chapter 1: Logic and Proofs
- Richard Johnsonbaugh, "Discrete Mathematics," 8th Edition, Pearson, 2017.
- Susanna S. Epp, "Discrete Mathematics with Applications," 5th Edition, Cengage Learning, 2020.
- Ralph P. Grimaldi, "Discrete and Combinatorial Mathematics: An Applied Introduction," 5th Edition, Pearson, 2017.
- Judith L. Gersting, "Mathematical Structures for Computer Science," 7th Edition, W. H. Freeman, 2014.