The Logic Resource Center
Public Alpha
Systems
Open options
Systems
The Logic Resource Center
Public Alpha
Systems
Open options
Systems
The Constants
NOT
The constant "not" expresses
negation
.
Systems
LRC_F
Typed Forward Strict
¬I: Negation Introduction
¬E: Negation Elimination
Point And Click
¬I: Negation Introduction
⊥I: Falsum Introduction
¬E: Negation Elimination
OLI
Point And Click
¬I: Negation Introduction
⊥I: Falsum Introduction
¬E: Negation Elimination
DeM: De Morgan
DSL: Disjunctive Syllogism Left
DSR: Disjunctive Syllogism Right
DNE: Double Negation Elimination
DNI: Double Negation Introduction
→DefI: Conditional Introduction From Material Definition
→DefE: Conditional Elimination For Material Definition
MT: Modus Tollens
Trans: Transposition
The Logic Book
Point And Click
~I: Negation Introduction
~E: Negation Elimination
MT: Modus Tollens
Impl: Implication
DS: Disjunctive Syllogism
DN: Double Negation
DeM: De Morgan
Trans: Transposition
Equiv: Equivalence
QN: Quantifier Negation
LRC
Typed Forward Strict
RAA: Reductio Ad Absurdum
DNE: Double Negation Elimination
Point And Click
RAA: Reductio Ad Absurdum
DNE: Double Negation Elimination
LRC_P
Typed Forward Strict
¬I: Negation Introduction
¬E: Negation Elimination
Point And Click
¬I: Negation Introduction
⊥I: Falsum Introduction
¬E: Negation Elimination
LRC_O
Typed Forward Strict
¬I: Negation Introduction
¬E: Negation Elimination
Point And Click
¬I: Negation Introduction
⊥I: Falsum Introduction
¬E: Negation Elimination
Start a Problem
→
