Propositional logic

[630/85%]

Subtopics

Boolean functions[531/87%]
Formalizing statements in logic[53/66%]
Hilbert-style calculi[44/75%]
Equivalence of propositional formulas[22/68%]
Syntax of logical formulas and terms[14/64%]
Intuitionistic propositional logic[13/92%]
Induction on the construction of a formula[12/100%]
Boolean satisfiability problems (SAT and variants)[9/78%]
Checking tautologies by truth tables and preservation lemmas[8/63%]
Soundness and completeness theorem for propositional calculus[8/75%]
Logical matrices and many-valued semantics[6/83%]
Lindenbaum-Tarski algebra[2/100%]
Quantifier-free tautologies as substitution instances[2/100%]
Resolution[1/100%]