The Logic Resource Center
Public Alpha
Systems
Open options
Systems
The Logic Resource Center
Public Alpha
Systems
Open options
Systems
The Constants
FALSUM
The
falsum
is a logical expression that makes reasoning about negation more succinct.
Systems
LRC_F
Typed Forward Strict
⊥I: Falsum Introduction
⊥E: Falsum Elimination
Point And Click
¬I: Negation Introduction
⊥I: Falsum Introduction
¬E: Negation Elimination
⊥E: Falsum Elimination
OLI
Point And Click
¬I: Negation Introduction
⊥I: Falsum Introduction
¬E: Negation Elimination
⊥E: Falsum Elimination
LRC_P
Typed Forward Strict
⊥I: Falsum Introduction
⊥E: Falsum Elimination
Point And Click
¬I: Negation Introduction
⊥I: Falsum Introduction
¬E: Negation Elimination
⊥E: Falsum Elimination
LRC_O
Typed Forward Strict
⊥I: Falsum Introduction
⊥E: Falsum Elimination
Point And Click
¬I: Negation Introduction
⊥I: Falsum Introduction
¬E: Negation Elimination
⊥E: Falsum Elimination
Start a Problem
→
