#propositional-logic

11 topics

Formal Sciences And Logic

Compactness Theorem for Propositional LogicCollegeConsistency and Inconsistency of TheoriesCollegeDeduction Theorem for Propositional LogicCollegeFormula Evaluation and Truth TablesCollegeIntroduction to Propositional LogicCollegeLogical Consequence and EntailmentCollegeLogical Equivalence of FormulasCollegeSatisfiability and UnsatisfiabilityCollegeTruth Functions and InterpretationCollegeWell-Formed Formulas (WFF) in Propositional and First-Order LogicCollege

Philosophy

Logical Operators in Arguments: AND, OR, NOTCollege