Proof Index
TOC
Courses
Subreddit
Blog
Search
Search subtopics
Search all
▾
Mathematical logic
•
Informal and inductive logic
•
Categorical propositions
▸
Propositional logic
•
Challenge
•
Deductive, inductive, and abductive reasoning
•
Constants
•
Predicates
•
Negation (bridge course)
•
Disjunction
•
Biconditional
•
Basic propositional logic proofs using truth tables
▸
Rules of inference
•
Modus ponens
•
Modus tollens
•
Double negation introduction and elimination
•
Disjunction introduction
•
Biconditional introduction and elimination
•
Conjunction introduction and elimination
•
Destructive dilemma
•
Constructive dilemma
•
Disjunctive syllogism
•
Principle of explosion
•
Basic propositional logic proofs using natural deduction
•
Conditional statements
▸
Converse, inverse, and contrapositive statements
•
Lesson
•
Practice
▸
Converting between English and propositional logic
•
Converting English to propositional logic
•
Converting propositional logic to English
•
Simplifying expressions in propositional logic
•
Syntax of propositional logic
•
Tautologies and contradictions
▸
Truth tables
•
Making truth tables for expressions
•
Vacuous truth
•
What are De Morgan's laws?
•
What is hypothetical syllogism?
▸
Predicate logic
•
Quantifiers
•
Converting English to predicate logic
•
Intro to categorical statements
•
Square of opposition
•
Testing validity of syllogisms by drawing Venn diagrams
•
Basic predicate logic proofs
•
Double quantifiers
•
Testing validity of simple statements in predicate logic
›
Resources for undergrads
›
Other resources
Mathematical logic
Informal and inductive logic
Categorical propositions
Propositional logic
Predicate logic
Other resources
Textbooks
Logic and Proof for Teachers
by Thomas W. Judson, Lesa L. Beverly, Kimberly M. Childs, and Deborah A. Pace
Read now
A Problem Course in Mathematical Logic
by Stefan Bilaniuk
PDF
forall x:Cambridge
by P. D. Magnus and Tim Button
PDF
A Modern Formal Logic Primer
by Paul Teller
PDF