Proving Implications, Contrapositives, and Biconditionals using Truth Tables

Опубликовано: 20 Август 2021
на канале: Intermation
1,253
25

In this lesson, we use truth tables to take a number of biconditionals (if and only ifs) and prove they are logical equivalences. This includes coming up with four different logical equivalences to the implication and a proof showing that the implication proposition is transitive.

Timestamps
00:00 | Intro
00:10 | Review of Implication Logic Operation
01:59 | Review of Logical Equivalence
04:23 | Proving (p→q) ≡ ~(p ^ ~q)
09:38 | Proving (p→q) ≡ (~p v q)
12:09 | Proving the Contrapositive (p→q) ≡ (~q → ~p)
15:26 | Proving the Transitive for the Implication Proposition
20:14 | Proving (p→q) ^ (q→p) ≡ (p ↔ q)

Hashtags
#implication #equivalence #truthtable


Смотрите видео Proving Implications, Contrapositives, and Biconditionals using Truth Tables онлайн без регистрации, длительностью часов минут секунд в хорошем качестве. Это видео добавил пользователь Intermation 20 Август 2021, не забудьте поделиться им ссылкой с друзьями и знакомыми, на нашем сайте его посмотрели 1,253 раз и оно понравилось 25 людям.