The Logic Resource Center

The Logic Resource Center

Public Alpha

The Logic Resource Center

Public Alpha

© 2025 The Logic Resource Center, LLC

Conditional Introduction From Material Definition

Constants: →¬∨
Systems: OLI

Start a Problem →

Conditional Introduction From Material Definition

i.

(¬ϕ∨ψ)

⋮

ii.

(ϕ→ψ)

→DefI: i

Forward

Select an available disjunction with a negated antecedent
Click "Apply"

Backward

Select a goal conditional
Click "Apply"

Preview shown for the Point And Click derivation type in the OLI system