Home
Textbooks
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Computer Science & Applied Mathematics)
Propositional Calculus
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Computer Science & Applied Mathematics)
Peter B. Andrews
Chapter 1
Propositional Calculus - all with Video Answers
Educators
Section 1
Formation Rules for $\mathscr{P}$
Select Section
1.1: Formation Rules for $\mathscr{P}$
1.2: Supplement on Induction
1.3: The Axiomatic Structure of $\mathscr{P}$
1.4: Semantics, Consistency, and Completeness of $\mathscr{P}$
1.5: Independence
1.6: Propositional Connectives
1.7: Compactness
1.8: Ground Resolution