Logic and Proofs | Part 8 - Proof by Contraposition

preview_player
Показать описание
This video is about:
- Making use of the face that "p implies q" is logically equivalent to "~q implies ~p"
- Greatest common divisor (gcd)
- Rational and irrational numbers
- Rational numbers in lowest terms

Sections correspond to "A Transition to Advanced Mathematics" by Smith, Eggen and Andre
  1. Gracie Conte
Рекомендации по теме
[Logic] Proofs and 0:13:35

[Logic] Proofs and Rules #1

Truth Table Tutorial 0:07:51

Truth Table Tutorial - Discrete Mathematics Logic

Propositional Logic − 0:17:23

Propositional Logic − Logical Equivalences

Proofs with Rules 0:07:16

Proofs with Rules of Inference 1 (Propositional Logic for Linguists 15)

Converse, Inverse, & 0:11:54

Converse, Inverse, & Contrapositive - Conditional & Biconditional Statements, Logic, Geometr...

Conditional Statements: if 0:07:09

Conditional Statements: if p then q

Logic 101 (#38): 0:05:49

Logic 101 (#38): Working Backward (Killer Proof Strategy #2)

Algebra 1 : 0:29:34

Algebra 1 : Logic and Proofs (Part 1)

Logic 101 (#36): 0:07:44

Logic 101 (#36): Introduction to Proofs

Predicate Logic Proofs 0:13:33

Predicate Logic Proofs (PRACTICE), Part 1

Logic 3: Quantifiers 0:09:08

Logic 3: Quantifiers (univ. & exist.), Proofs part 1 — Tutorial 3/4

Proofs in Symbolic 0:08:19

Proofs in Symbolic Logic | Attic Philosophy

How to Do 0:09:41

How to Do a Direct Derivation (Sentential Logic)

Indirect Proof (Propositional 0:10:19

Indirect Proof (Propositional Logic for Linguists 18)

The Common Logical 0:00:58

The Common Logical Connectives of Mathematical Logic Made Easy #Shorts

INTRODUCTION to PROPOSITIONAL 0:11:02

INTRODUCTION to PROPOSITIONAL LOGIC - DISCRETE MATHEMATICS

Part 9: Symbolic 0:15:02

Part 9: Symbolic Logic (more easy proofs & some common errors)

Proof by Contradiction 0:09:00

Proof by Contradiction | Method & First Example

[Logic] Proofs and 0:13:42

[Logic] Proofs and Rules #2

Logic and Proofs 0:09:34

Logic and Proofs 1

Basics of Mathematical 0:05:36

Basics of Mathematical Logic -- How to do Mathematical Proofs (PART 3)

Logic Proof Example 0:08:58

Logic Proof Example Using Modus Ponens and Modus Tollens

Algebra 1 : 0:14:48

Algebra 1 : Logic and Proofs (Part 2)

Logic - Introduction 0:39:47

Logic - Introduction to Fitch-style Natural Deduction proofs - Proofs #1-10