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
Forward
Select an available conditional
Click "Apply"
Backward
Select a goal conditional with antecedent and consequent that are both negations
Click "Apply"
Preview shown for the
Point And Click
derivation type in the
OLI
system
