The Logic Resource Center
Public Alpha
Systems
Open options
Systems
The Logic Resource Center
Public Alpha
Systems
Open options
Systems
The Constants
OR
The constant "or" expresses
disjunction
.
Systems
LRC_F
Typed Forward Strict
∨E: Disjunction Elimination
∨I: Disjunction Introduction
Point And Click
∨E: Disjunction Elimination
∨I: Disjunction Introduction
OLI
Point And Click
∨IL: Disjunction Introduction Left
∨IR: Disjunction Introduction Right
∨E: Disjunction Elimination
Comm∨: Disjunction Commutivity
DeM: De Morgan
DSL: Disjunctive Syllogism Left
DSR: Disjunctive Syllogism Right
→DefI: Conditional Introduction From Material Definition
→DefE: Conditional Elimination For Material Definition
The Logic Book
Point And Click
∨E: Disjunction Elimination
∨I: Disjunction Introduction
Impl: Implication
DS: Disjunctive Syllogism
Com: Commutation
Assoc: Association
DeM: De Morgan
Idem: Idempotence
Dist: Distribution
Equiv: Equivalence
LRC
Typed Forward Strict
∨E: Disjunction Elimination
∨I: Disjunction Introduction
Point And Click
∨E: Disjunction Elimination
∨I: Disjunction Introduction
LRC_P
Typed Forward Strict
∨E: Disjunction Elimination
∨I: Disjunction Introduction
Point And Click
∨E: Disjunction Elimination
∨I: Disjunction Introduction
LRC_O
Typed Forward Strict
∨E: Disjunction Elimination
∨I: Disjunction Introduction
Point And Click
∨E: Disjunction Elimination
∨I: Disjunction Introduction
Start a Problem
→
