Mathematics/Discrete Math/Propositional Logic - Revision history

Brodriguez: Brodriguez moved page Discrete Math/Propositional Logic to Mathematics/Discrete Math/Propositional Logic

2020-10-25T17:23:17Z

Brodriguez moved page Discrete Math/Propositional Logic to Mathematics/Discrete Math/Propositional Logic

← Older revision

Revision as of 17:23, 25 October 2020

Brodriguez: Brodriguez moved page Discrete Math - Propositional Logic to Discrete Math/Propositional Logic: Clean url with subpages

2020-05-15T08:54:52Z

Brodriguez moved page Discrete Math - Propositional Logic to Discrete Math/Propositional Logic: Clean url with subpages

← Older revision

Revision as of 08:54, 15 May 2020

Brodriguez: Create page

2019-09-08T02:48:47Z

Create page

New page

Base Logic Symbols
{| class="wikitable"
|-
! Symbol
! →
! ↔
! ¬
! ∧
! ∨
! ⊕
! ⊤
! ⊥
|-
! Name
| Material Implication
| Material Equivalence
| Negation
| Logical Conjunction
| Logical (Inclusive) Disjunction
| Logical (Exclusive) Disjunction
| Tautology
| Contradiction
|-
! Definition
| If...Then,
| If and Only if (iff)
| Not
| True if all are True
| True if one or more are True
| True if exactly one is True
| Unconditionally True
| Unconditionally False
|-
! Notation Example
| A → B
| A ↔ B
| ¬A
| A ∧ B
| A ∨ B
| A ⊕ B
| ⊤ A
| ⊥ A
|-
! Verbal Explanation
| If A is True, then B is also True.
| A is True iff B is true.
| A is not True.
| True if both A and B are True.
| True if at least one of A or B are True.
| True if A or B is True, but not both.
| A is always True
| A is always False
|-
! Alternative Symbol
| ⊃
| ≡
| ! / Ā
| &
| <nowiki>||</nowiki>
| ⊻
|
|
|}