Ley del Tercero Excluido
Natural & Formal Sciences Dictionary
Definición
Un principio lógico que para cualquier proposición P afirma que o bien P es verdadera o bien su negación ¬P es verdadera, sin tercera opción (formalmente: P ∨ ¬P).
Ley del Tercero Excluido
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
El principio de que para cualquier proposición P la disyunción P ∨ ¬P es verdadera; no existe un tercer valor de verdad entre una proposición y su negación en la lógica clásica.