The Logic Resource Center
Public Alpha
Systems
Open options
Systems
The Logic Resource Center
Public Alpha
Systems
Open options
Systems
Exportation
Constants
⊃
&
Systems
The Logic Book
Start a Problem
→
Exportation
i.
ϕ
⊃
(
ψ
⊃
χ
)
ii.
(
ϕ
&
ψ
)
⊃
χ
Exp: i
i.
(
ϕ
&
ψ
)
⊃
χ
ii.
ϕ
⊃
(
ψ
⊃
χ
)
Exp: i
Foward
Select an available formula of an appropriate form
Click "Apply"
Backward
Select an appropriate goal
Click "Apply"
Preview shown for the
Point And Click
derivation type in the
The Logic Book
system
