Logic 101 (#47): Biconditional Tautologies

preview_player
Показать описание

When needing to prove a biconditional tautology in logic, there is a simple algorithm you should always follow. First, use a conditional proof to show one half of the biconditional. Then use a second conditional proof to show the other half of the biconditional. Finally, group those conditional together using biconditional introduction.
  1. William Spaniel
  2. logic
  3. lecture
  4. class
  5. tutorial
  6. logic 101
Рекомендации по теме
Logic 101 (#47): 0:07:37

Logic 101 (#47): Biconditional Tautologies

Biconditionals and Tautologies 0:38:39

Biconditionals and Tautologies

Logic 101 (#41): 0:10:43

Logic 101 (#41): Tautologies

Logic 101 (#34.5): 0:02:42

Logic 101 (#34.5): Biconditional Introduction and Elimination

Logic 101 (#45): 0:08:12

Logic 101 (#45): Proof Practice #3, Nested Conditional Proofs Edition

Intro to Formal 0:02:42

Intro to Formal Logic 21: Biconditional Elimination & Biconditional Construction

'Language, Proof and 0:14:48

'Language, Proof and Logic' (Chapter 8): Conditional and Biconditional Rules

Proving biconditionals 0:08:06

Proving biconditionals

Conditionals and Biconditionals 0:10:03

Conditionals and Biconditionals

biconditional and logical 0:08:12

biconditional and logical equivalence

Connective, Bi-conditional, Tautology 0:15:39

Connective, Bi-conditional, Tautology and Contradiction | Truth Tables | Ch.2 Discrete Math

Logic 101 (#48): 0:05:42

Logic 101 (#48): Affirming the Consequent

Natural Deductive Logic: 0:11:15

Natural Deductive Logic: RULES #3 (=I, =E)

13 - Logical 0:05:46

13 - Logical Equivalence Using Biconditional Statements

Mathematical Logic : 0:06:35

Mathematical Logic : Discussion on Biconditionals

Logic 101 (#44): 0:11:42

Logic 101 (#44): Proof Practice #2, Proof By Contradiction Edition

How do I 0:30:25

How do I symbolize conditionals and biconditionals?

Tautologies and Contradictions 0:01:03

Tautologies and Contradictions

Logic 101 (#46): 0:09:21

Logic 101 (#46): Proof By Cases (Killer Proof Strategy #3)

Proof of a 0:07:54

Proof of a biconditional statement

NAND is Universal 0:52:24

NAND is Universal and Biconditional Proofs - Discrete Math for Computer Science

Biconditional Proofs 0:37:40

Biconditional Proofs

Section 1.5, part 0:14:19

Section 1.5, part 10 (Example of a proof of a biconditional proposition)

LPL Exercise 8.27 0:04:57

LPL Exercise 8.27

Комментарии
Автор

Biconditional? More like unconditional...ly great videos. Thanks again for making and uploading all of them!

PunmasterSTP
Автор

Q and -Q is a logical contradiction so it has to be false. So I know now that -(Q and -Q) is true. So applying disjunctive sillogysm to the antecedent of the flip-flopped implication that we assumed as true, the result is that P is true. If P was concluded as true then the conditional [P or (Q and - Q)] -> P is proved.

lea
Автор

What if it is disjunction where both of the disjuncts are tautological biconditionals.

Handle
Автор

can you please tell me how did you get if there is any premises or not?

mhabib