The Logic Resource Center

The Logic Resource Center

Public Alpha

The Logic Resource Center

Public Alpha

© 2025 The Logic Resource Center, LLC

Conjunction Elimination

Conjunction Elimination allows the inference of conjuncts from conjunction.

Constants: &
Systems: LRC_F The Logic Book LRC LRC_P LRC_O

Start a Problem →

Conjunction Elimination

i.

ϕ&ψ

⋮

ii.

ϕ

&E: i

i.

ϕ&ψ

⋮

ii.

ψ

&E: i

Forward

Select an available conjunction
Click "Apply"

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