The Logic Resource Center
Public Alpha
Systems
Open options
Systems
The Logic Resource Center
Public Alpha
Systems
Open options
Systems
The Constants
EXISTS
The constant "exists" expresses
existence
.
Systems
LRC_F
Typed Forward Strict
∃E: Existential Elimination
∃I: Existential Introduction
Point And Click
∃E: Existential Elimination
∃I: Existential Introduction
OLI
Point And Click
∃I: Existential Introduction
∃E: Existential Elimination
The Logic Book
Point And Click
∃E: Existential Elimination
∃I: Existential Introduction
QN: Quantifier Negation
LRC
Typed Forward Strict
∃E: Existential Elimination
∃I: Existential Introduction
Point And Click
∃E: Existential Elimination
∃I: Existential Introduction
LRC_P
Typed Forward Strict
∃E: Existential Elimination
∃I: Existential Introduction
Point And Click
∃E: Existential Elimination
∃I: Existential Introduction
LRC_O
Typed Forward Strict
∃E: Existential Elimination
∃I: Existential Introduction
Point And Click
∃E: Existential Elimination
∃I: Existential Introduction
Start a Problem
→
