The Logic Resource Center
Public Alpha
Systems
Open options
Systems
The Logic Resource Center
Public Alpha
Systems
Open options
Systems
Assumption
Constants
Systems
LRC_F
OLI
The Logic Book
LRC
LRC_P
LRC_O
Start a Problem
→
Assumption
i
i.
ϕ
A
Forward
Enter your chosen assumption
Hit Return
Preview shown for the
Typed Forward Strict
derivation type in the
LRC_O
system
