conjunction elimination
From A ∧ B, write A (or B).
Conjunction elimination (∧E) lets you write either conjunct of a line whose main connective is ∧. It is the proof-system version of simplification.
Examples
From 1 P ∧ Q, write 2 Q (∧E 1).
From A ∧ B, write A (or B).
Conjunction elimination (∧E) lets you write either conjunct of a line whose main connective is ∧. It is the proof-system version of simplification.
Examples
From 1 P ∧ Q, write 2 Q (∧E 1).