Propositional Logic: (not-A) or B

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

This video shows how disjunctions written in the form "(not-A) or B" are logically equivalent to conditional claims of the form "if A then B".

Kevin deLaplante
propositional logic
conditional
if a then b
disjunction

Рекомендации по теме

Комментарии

thanks for that video. i believe the "either" form doesnt really work though, because A v B is also true if both A and B are true

qwerty

OK, summary:
return !A || B;
===
if (A) { return B; } else { return true; }

playrix

This would be MUCH easier explained with Vinn Diagrams. You're suggesting the antecedent is contained within or is a component part of the consequent.
Paris is contained within France.
The game is component part of the Championship.
Gas is contained within a car.
With that understanding, if you cross out the antecedent and state OR the consequent, you can visually see the either/or relationship. For me, this explanation works better than the logic table.

UniversalPotentate

Propositional Logic: (not-A) or B

Propositional Logic: (not-A) or B

Propositional Logic: not-(A or B)

Propositional Logic: not-(A and B)

Propositional Logic: not-(If A then B)

Propositional Logic: A unless B

Propositional Logic: A only if B

Conditional Statements: if p then q

If A, then B

Propositional Logic − Puzzle 1

Propositional Logic − Logical Equivalences

Truth Table Tutorial - Discrete Mathematics Logic

Propositional Logic: Necessary and Sufficient

Propositional Logic: A if and only if B

Propositional Logic: A if B

Explanation of Implication

Logical Equivalence of Two Statements

Propositional Logic: The Contrapositive

Proving a Tautology by Using Logical Equivalences

Logic Gates, Truth Tables, Boolean Algebra AND, OR, NOT, NAND & NOR

Propositional Logic Validity, Soundness, and Entailment

Propositional Logic: Truth Tables

Negating a Conditional Statement

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

Propositional Logic (Solved Problem 3)