The Logic Resource Center
Public Alpha
Systems
Open options
Systems
The Logic Resource Center
Public Alpha
Systems
Open options
Systems
Disjunction Commutivity
Constants
∨
Systems
OLI
Start a Problem
→
Disjunction Commutivity
i.
(
ϕ
∨
ψ
)
⋮
ii.
(
ψ
∨
ϕ
)
Comm∨: i
Backward
Select a goal disjunction
Click "Apply"
Backward
Select a goal disjunction
Click "Apply"
Preview shown for the
Point And Click
derivation type in the
OLI
system
