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

i.

&ϕψ

⋮

i

ii.

ϕ

&E: i

i

i.

&ϕψ

⋮

i

ii.

ψ

&E: i

Foward

Enter the conjunct you wish to add
Cite the line of which it is a conjunct
Hit Return

Preview shown for the Typed Forward Strict derivation type in the LRC_P system