⊢

Propositional Logic

Middle School

Definition

Propositional logic is a formal system dealing with propositions (true/false) and logical connectives (AND, OR, NOT, etc.).

¬ p

Negation (NOT)

p ∧ q

Conjunction (AND)

p ∨ q

Disjunction (OR)

p → q ≡ ¬ p ∨ q

Implication (IF-THEN)

p ↔ q ≡ (p → q) ∧ (q → p)

Biconditional (IFF)

Example 1

If p = 'It rains', q = 'Ground is wet', what does p → q mean?

Boolean algebra, circuit design

Proof foundations

Knowledge representation