real-world use of mathematical logic

Table of Contents ▼ Introduction 1. Propositional Logic 1.1 Propositions 1.2 Logical Connectives 1.3 Truth Tables 1.4 Logical Equivalence 1.5 Arguments and Validity 2. Set Theory 2.1 Set Basics 2.2