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.
ϕ
A
Forward
Enter your chosen assumption
Click "Apply"
Preview shown for the
Point And Click
derivation type in the
LRC_P
system
