The Logic Resource Center
Public Alpha
Systems
Open options
Systems
The Logic Resource Center
Public Alpha
Systems
Open options
Systems
Conjunction Elimination Left
Constants
&
Systems
OLI
Start a Problem
→
Conjunction Elimination Left
i.
(
ϕ
&
ψ
)
⋮
ii.
ϕ
&EL: i
Forward
Select an available conjunction
Click "Apply"
Preview shown for the
Point And Click
derivation type in the
OLI
system
