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
›
Propositional logic
›
Converse, inverse, and contrapositive statements
Other resources
YouTube videos
15306
How to determine the contrapositive of a conditional statement
Brian McLogan
13584
How to write the contrapositive from a conditional statement
Brian McLogan
20870
Determining that conditional and contrapositive are logically equivalent statements
Brian McLogan
17837
Writing the contrapositive statement from a conditional statement
Brian McLogan
70055
Contrapositive of a Conditional Statement
Dr. Trefor Bazett
12147
Showing that the conditional and contrapositive are logically equivalent
Brian McLogan
11185
Converse, Inverse, & Contrapositive - Conditional & Biconditional Statements, Logic, Geometry
The Organic Chemistry Tutor
70605
Converse, Inverse, Contrapositive, Biconditional Statements
Mario's Math Tutoring
70606
Converse, Inverse, and Contrapositive: Lesson (Geometry Concepts)
CK-12 Foundation
70607
Converse, Inverse & Contrapositive Statements 127-1.10
HCCMathHelp
More YouTube videos...