Loi du Tiers Exclu
Natural & Formal Sciences Dictionary
Définition
Un principe logique qui, pour toute proposition P, affirme que soit P est vraie soit sa négation ¬P est vraie, sans troisième possibilité (formalement : P ∨ ¬P).
Loi du Tiers Exclu
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Définition
Le principe selon lequel, pour toute proposition P, la disjonction P ∨ ¬P est vraie ; il n'existe pas de troisième valeur de vérité entre une proposition et sa négation en logique classique.