Database: Conjunction elimination

Inference rule 57: Conjunction elimination (declared)

(a) Given that the conjunction \phi \wedge \psi holds, we may infer that \phi holds: \cfrac{\vdash (\phi \wedge \psi)}{\vdash \phi}. (b) Given that \phi \wedge \psi holds, we may infer that \psi holds: \cfrac{\vdash (\phi \wedge \psi)}{\vdash \psi}.

This database entry builds on the following:

  1. Terminology: Class, statement
  2. Definition: Conjunction
  3. Terminology: Inference
  4. Terminology: Inference rule