Élimination de la Conjonction

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Une règle d’inférence permettant d’inférer chacun des conjoncts à partir d’une conjonction A ∧ B ; formellement de A ∧ B on dérive A (et symétriquement B).