Formal Logic
Connectives, truth tables, natural deduction, and predicate logic.
0/7 complete
- Connectives & Well-Formed FormulasAtomic sentences, the five truth-functional connectives, and the rules for building formulas.intro
- Truth TablesCompute a formula under every assignment to classify it and test logical equivalence.intro
- Validity & CounterexamplesWhen premises guarantee a conclusion — semantic entailment, counterexamples, and soundness.easy
- Natural DeductionProve conclusions step by step with introduction/elimination rules and subderivations.medium
- Derived Rules & StrategyShortcut rules — modus tollens, disjunctive syllogism, De Morgan — and how to plan a proof.medium
- Predicate LogicPredicates, names, variables, and the quantifiers ∀ and ∃ — capturing "all" and "some".medium
- Quantifier Rules & IdentityNatural deduction for predicate logic — the four quantifier rules, their restrictions, and identity.hard