Concept

Modus tollens

Related lectures (10)

Covers inference rules in propositional logic and common logical fallacies.

Covers rules of inference for quantified statements and constructing valid arguments using predicate logic.

Covers inference engines based on resolution, Horn clauses, filtering, and unification in artificial intelligence.

Covers inference rules in propositional logic and common logical fallacies.

Explores even squares, irrationality of √2, gaps in rational numbers, and minorants in Q.

Covers logical equivalences in propositional logic, including De Morgan's Laws and Equivalences with Basic Connectives.

Covers logical equivalences in propositional logic, including De Morgan's Laws and Equivalences with Basic Connectives.

Covers the basics of propositional logic and explores logical equivalences and proof techniques.

Covers logical equivalences in propositional logic, including De Morgan's Laws and Equivalences with Basic Connectives.