Matemáticas Computacionales Lógica Simbólica
Enunciado que puede ser verdadero o falso, pero no ambos. Proposición Lógica o simplemente Proposición: Enunciado que puede ser verdadero o falso, pero no ambos.
Los conectivos lógicos se utilizan para combinar proposiciones y obtener nuevas proposiciones. Simples o Atómicas Proposiciones Compuestas
Negación 1
Conjunción 1
Disyunción 1
Condicional 1
Condicional o Implicación Se lee: Si P entonces Q P implica Q P es suficiente para Q P sólo si Q Q si P Q siempre que P Q es necesario para P
Bicondicional 1 F
P es necesario y suficiente para Q Bicondicional o Doble Implicación Definición: P Q ≡ P Q Q P Se lee: P si y sólo si Q P es necesario y suficiente para Q