Proof Index
TOC
Courses
Subreddit
Blog
Search
▾
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
›
Mathematical logic
›
Predicate logic
Double quantifiers
In this lesson, you'll learn why the order matters for universal and existential quantifiers.
YouTube videos
278873
1.4 Double quantifiers
MAT137