The Logic Resource Center

The Logic Resource Center

Public Alpha

The Logic Resource Center

Public Alpha

© 2025 The Logic Resource Center, LLC

Implication

Constants: ⊃~∨
Systems: The Logic Book

Start a Problem →

Implication

i.

~ϕ∨ψ

ii.

ϕ⊃ψ

Impl: i

i.

ϕ⊃ψ

ii.

~ϕ∨ψ

Impl: i

Forward

Select an available conditional or an available disjunction with a negation as a left disjunct
Click "Apply"

Backward

Select an goal conditional or a goal disjunction with a negation as a left disjunct
Click "Apply"

Preview shown for the Point And Click derivation type in the The Logic Book system