The Logic Resource Center

The Logic Resource Center

Public Alpha

The Logic Resource Center

Public Alpha

© 2025 The Logic Resource Center, LLC

Conditional Elimination

Conditional Elimination or Modus Ponens as it is traditionally known is one of the most familiar of all rules of inference.

Constants: →
Systems: LRC_F OLI The Logic Book LRC LRC_P LRC_O

Start a Problem →

Conditional Elimination

i.

ϕ→ψ

ii.

ϕ

⋮

iii.

ψ

→E: i, ii

Forward

Select a conditional
Select an available instance of its antecedent
Click "Apply"

Forward, Adding Antecedent as Goal

Select a conditional
Click "Apply"

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