Logic is the formal study of reasoning, truth, and inference across mathematics, computer science, philosophy, and artificial intelligence. It provides the foundation for mathematical proof, algorithm design, knowledge representation, and formal verification. At its core, logic distinguishes valid reasoning from fallacious thinking through precise symbolic notation and rigorous rules. A key insight: the validity of an argument depends solely on its structure, not the truth of its content β an argument can be valid with false premises, but a sound argument must have both valid structure and true premises. Modern logic extends far beyond classical two-valued systems to encompass modal, temporal, description, non-monotonic, and type-theoretic frameworks that underpin today's AI, programming languages, and automated reasoning tools.
What This Cheat Sheet Covers
This topic spans 18 focused tables and 158 indexed concepts. Below is a complete table-by-table outline of this topic, spanning foundational concepts through advanced details.
Table 1: Logical Connectives and Operators
| Operator | Example | Description |
|---|---|---|
\neg p | Reverses truth value β true becomes false, false becomes true. | |
p \land q | β’ True only when both operands are true β’ false otherwise. | |
p \lor q | β’ True when at least one operand is true β’ false when both are false. | |
p \to q | β’ False only when antecedent is true and consequent is false β’ true otherwise. |