Concept
Modus tollens
Related lectures (26)
Proofs: Arguments in Predicate Logic
Covers rules of inference for quantified statements and constructing valid arguments using predicate logic.
Proofs: Logic, Mathematics & Algorithms
Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.
Inference Engines: Resolution and Horn Clauses
Covers inference engines based on resolution, Horn clauses, filtering, and unification in artificial intelligence.
Inference Rules in Propositional Logic
Covers inference rules in propositional logic and common logical fallacies.
Propositional Logic: Inference Rules and Valid Arguments
Covers inference rules in propositional logic and common logical fallacies.
Logical Equivalences: De Morgan's Laws and Implications
Covers logical equivalences in propositional logic, including De Morgan's Laws and Equivalences with Basic Connectives.
Logical Equivalences: Part 1
Covers logical equivalences in propositional logic, including De Morgan's Laws and Equivalences with Basic Connectives.
Propositional Logic: Basics and Equivalences
Covers the basics of propositional logic and explores logical equivalences and proof techniques.
Logical Equivalences: De Morgan's Laws and Implications
Covers logical equivalences in propositional logic, including De Morgan's Laws and Equivalences with Basic Connectives.
Proofs: Rules and Applications
Explores rules of inference, quantified statements, and proof methods in logic and mathematics.