The Logic Resource Center
Public Alpha
Systems
Open options
Systems
The Logic Resource Center
Public Alpha
Systems
Open options
Systems
Transposition
Constants
⊃
~
Systems
OLI
The Logic Book
Start a Problem
→
Transposition
i.
ϕ
⊃
ψ
ii.
~
ψ
⊃
~
ϕ
Trans: i
i.
~
ϕ
⊃
~
ψ
ii.
ψ
⊃
ϕ
Trans: i
Forward
Select an available conditional
Click "Apply"
Backward
Select a goal conditional
Click "Apply"
Preview shown for the
Point And Click
derivation type in the
The Logic Book
system
