The Logic Resource Center
Public Alpha
Systems
Open options
Systems
The Logic Resource Center
Public Alpha
Systems
Open options
Systems
Distribution
Constants
&
∨
Systems
The Logic Book
Start a Problem
→
Distribution
i.
ϕ
&
(
ψ
∨
χ
)
ii.
(
ϕ
&
ψ
)
∨
(
ϕ
&
χ
)
Dist: i
i.
(
ϕ
&
ψ
)
∨
(
ϕ
&
χ
)
ii.
ϕ
&
(
ψ
∨
χ
)
Dist: i
i.
ϕ
∨
(
ψ
&
χ
)
ii.
(
ϕ
∨
ψ
)
&
(
ϕ
∨
χ
)
Dist: i
i.
(
ϕ
∨
ψ
)
&
(
ϕ
∨
χ
)
ii.
ϕ
∨
(
ψ
&
χ
)
Dist: i
Forward
Select an available conjunction or disjunction
Click "Apply"
Backward
Select a suitable goal conjunction or disjunction
Click "Apply"
Preview shown for the
Point And Click
derivation type in the
The Logic Book
system
