The Logic Resource Center
Public Alpha
Systems
Open options
Systems
The Logic Resource Center
Public Alpha
Systems
Open options
Systems
Quantifier Negation
Constants
∀
∃
~
Systems
The Logic Book
Start a Problem
→
Quantifier Negation
i.
(
∃
γ
)
~
ϕ
ii.
~
(
∀
γ
)
ϕ
QN: i
i.
(
∀
γ
)
~
ϕ
ii.
~
(
∃
γ
)
ϕ
QN: i
i.
~
(
∃
γ
)
ϕ
ii.
(
∀
γ
)
~
ϕ
QN: i
i.
~
(
∀
γ
)
ϕ
ii.
(
∃
γ
)
~
ϕ
QN: i
Foward
Select an avaialble formula of appropriate form
Click "Apply"
Backward
Select a suitable goal formula
Click "Apply"
Preview shown for the
Point And Click
derivation type in the
The Logic Book
system
