Theorems in propositional logic | Rules of inference | Classical logic

Modus tollens

In propositional logic, modus tollens (/ˈmoʊdəs ˈtɒlɛnz/) (MT), also known as modus tollendo tollens (Latin for "method of removing by taking away") and denying the consequent, is a deductive argument form and a rule of inference. Modus tollens takes the form of "If P, then Q. Not Q. Therefore, not P." It is an application of the general truth that if a statement is true, then so is its contrapositive. The form shows that inference from P implies Q to the negation of Q implies the negation of P is a valid argument. The history of the inference rule modus tollens goes back to antiquity. The first to explicitly describe the argument form modus tollens was Theophrastus. Modus tollens is closely related to modus ponens. There are two similar, but invalid, forms of argument: affirming the consequent and denying the antecedent. See also contraposition and proof by contrapositive. (Wikipedia).

Video thumbnail

Number Theory | Congruence Modulo n -- Definition and Examples

We define the notion of congruence modulo n among the integers. http://www.michael-penn.net

From playlist Modular Arithmetic and Linear Congruences

Video thumbnail

Dimensions (1 of 3: The Traditional Definition - Directions)

More resources available at www.misterwootube.com

From playlist Exploring Mathematics: Fractals

Video thumbnail

7. Ch. 3, Sections 3.1 & 3.2. Introduction to Logic, Philosophy 10, UC San Diego - BSLIF

Video lecture corresponding to _Basic Sentential Logic and Informal Fallacies_, Chapter 3, Sections 3.1 & 3.2. This is for the class Introduction to Logic, Philosophy 10, UC San Diego.

From playlist UC San Diego: PHIL 10 - Introduction to Logic | CosmoLearning.org Philosophy

Video thumbnail

Modulus of a product is the product of moduli

How to show that for all complex numbers the modulus of a product is the product of moduli. Free ebook http://bookboon.com/en/introduction-to-complex-numbers-ebook

From playlist Intro to Complex Numbers

Video thumbnail

My #MegaFavNumbers is the long form centillion

Responding to the call from my favourite math YouTubers. #MegaFavNumbers. The long form centillion. 1,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,000,

From playlist MegaFavNumbers

Video thumbnail

Logical Arguments - Modus Ponens & Modus Tollens

Modus Ponens and Modus Tollens are two logical argument forms. In either case, these have two premises and a conclusion. These argument forms are called valid, which means that if you accept the hypotheses, then it is valid to conclude the conclusion. This is distinct from having a sound a

From playlist Discrete Math (Full Course: Sets, Logic, Proofs, Probability, Graph Theory, etc)

Video thumbnail

Working with Moduli and Arguments (Proof Question)

More resources available at www.misterwootube.com

From playlist Introduction to Complex Numbers

Video thumbnail

Deduction Rules: Modus Ponens and Modul Tollens

This video provides a definition of modus ponens and modus tollens and verifies them using a truth tables. mathispower4u.com

From playlist Symbolic Logic and Proofs (Discrete Math)

Video thumbnail

RULES of INFERENCE - DISCRETE MATHEMATICS

We talk about rules of inference and what makes a valid argument. We discuss modus ponens, modus tollens, hypothetical syllogism, disjunctive syllogism, addition, simplification, and conjunction. #DiscreteMath #Mathematics #Logic #RulesOfInference LIKE AND SHARE THE VIDEO IF IT HELPED!

From playlist Discrete Math 1

Video thumbnail

8b. Ch. 3, Section 3.4. Introduction to Logic, Philosophy 10, UC San Diego - BSLIF

Video lecture corresponding to _Basic Sentential Logic and Informal Fallacies_, Chapter 3, Section 3.4. This is for the class Introduction to Logic, Philosophy 10, UC San Diego.

From playlist UC San Diego: PHIL 10 - Introduction to Logic | CosmoLearning.org Philosophy

Video thumbnail

Three Exercises in Natural Deductive Proofs: THEOREMS - Logic

In this video on #Logic, we prove the three axioms of axiomatic logic using the rules of natural deductive logic 0:00 [Intro] 0:28 [Proof #1] 2:08 [Proof #2] 6:22 [Proof #3] 8:43 [Axiomatic System] If you want to support the channel, hit the "JOIN" button above and pick a channel subscri

From playlist Logic in Philosophy and Mathematics

Video thumbnail

Introduction to Logarithms (1 of 2: Definition)

More resources available at www.misterwootube.com

From playlist Logarithms and Exponentials

Video thumbnail

Logical Arguments, Formal Implication, and Laws of Inference [Discrete Math Class]

This video is not like my normal uploads. This is a supplemental video from one of my courses that I made in case students had to quarantine. this is a follow up to previous videos introducing propositional logic (mathematical propositions; logical connectives - "and", "or", "not" , the co

From playlist Discrete Mathematics Course

Video thumbnail

Number Theory | Primitive Roots modulo n: Definition and Examples

We give the definition of a primitive root modulo n. http://www.michael-penn.net http://www.randolphcollege.edu/mathematics/

From playlist Primitive Roots Modulo n

Video thumbnail

Natural Deductive Logic: RULES #2 (vI, vE, DN, RAA) - Logic

In this video on #Logic, we learn four more rules for natural deductive proofs. We learn disjunction introduction, disjunction elimination, double negation, and reductio ad absurdum (negation introductions, or proof by contradiction). Then we do two example proofs. #PropositionalLogic #Lo

From playlist Logic in Philosophy and Mathematics

Video thumbnail

Maths for Programmers: Logic (What Are Tautologies?)

We're busy people who learn to code, then practice by building projects for nonprofits. Learn Full-stack JavaScript, build a portfolio, and get great references with our open source community. Join our community at https://freecodecamp.com Follow us on twitter: https://twitter.com/freecod

From playlist Maths for Programmers

Video thumbnail

Complex Numbers - Mod-Arg Form (3 of 5: Calculating the Modulus)

More resources available at www.misterwootube.com

From playlist Introduction to Complex Numbers

Video thumbnail

Natural Deductive Logic: DERIVABLE RULES (MT, HS, DS, DeM)

In this video on #Logic we do the proofs for modus tollens (MT), hypothetical syllogism (HS), disjunctive syllogism (DS) and one of the DeMorgan's Laws (DeM) so that we can use them as shortcuts in further proofs. 0:00 [Modus Tollens (MT)] 1:23 [Hypothetical Syllogism (HS)] 3:25 [Disjunct

From playlist Logic in Philosophy and Mathematics

Related pages

Bayes' theorem | Law of total probability | Base rate | Set theory | Subjective logic | Theorem | Reductio ad absurdum | Tautology (logic) | Propositional calculus | Contraposition | Logical consequence | Prior probability | Denying the antecedent | Metalogic | Material conditional | Consequent | Antecedent (logic) | Sequent | Conjunction introduction | Inference | Truth table | Proof by contrapositive | Conditional probability | Affirming the consequent | Modus ponens | Formal proof | Validity (logic) | Disjunctive syllogism | Rule of inference | Formal system | Transposition (logic) | Material implication (rule of inference) | Classical logic | Deductive reasoning