Introduction to Logical Terminology, Notation, and Proof Structure

Mark Barsamian, Ohio University

I: Statements, Predicates, Logical Equivalence

II: Building New Statements and Predicates from Old

III: Related Conditional Statements

IV: Quantified Statements

V: Quantified Conditional Statements

VI: Proving Statements



(page maintained by Mark Barsamian, last updated Jan, 2022)