The Logic Resource Center

The Logic Resource Center

Public Alpha

The Logic Resource Center

Public Alpha

© 2025 The Logic Resource Center, LLC

Hypothetical Syllogism

Hypothetical Syllogism expresses the transitivity of implication.

Constants: →
Systems: OLI The Logic Book

Start a Problem →

Hypothetical Syllogism

i.

(ϕ→χ)

ii.

(χ→ψ)

⋮

iii.

(ϕ→ψ)

HS: i, ii

Forward

Select an available conditional
Select another available conditional with the first conditional's conequent as its antecedent
Click "Apply"

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