Introduction de la Conjonction

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Une règle d’inférence qui permet de former la conjonction A ∧ B lorsqu’on a établi séparément A et B.