Descargar la presentación
La descarga está en progreso. Por favor, espere
1
Matemáticas Computacionales
Lógica Simbólica
2
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.
3
Los conectivos lógicos se utilizan para combinar proposiciones y obtener nuevas proposiciones.
Simples o Atómicas Proposiciones Compuestas
4
Negación 1
5
Conjunción 1
6
Disyunción 1
7
Condicional 1
8
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
9
Bicondicional 1 F
10
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
Presentaciones similares
