Formal Logic — Precise Reasoning

Formal logic uses symbolic systems to analyse the validity of arguments with mathematical precision. It is the basis of mathematical proof and computer science.

Main Systems

• Propositional logic — ∧, ∨, ¬, →.
• First-order predicate logic — quantifiers ∀ and ∃.
• Natural deduction and sequent calculus.
• Formal proof and soundness.