Download - Conectores lógicos
¿Qué son las proposiciones?
Son expresiones que al momento de evaluarlas individualmente pueden ser Verdaderas o Falsas.
Ejemplo de proposición
José le dice a su madre:
- ¡Hoy es un hermoso día de sol!
La madre mira por la ventana de su casa y ve lo siguiente:
¡Hoy es un hermoso día de sol!
VERDADERO FALSO
Será verdadero sólo cuando haya sol
Si no hay sol, siempre será falso
La frase (proposición) dicha por José podrá tomar dos posibles estados
Imaginemos la lógica
Como las proposiciones pueden ser verdaderas o falsas, podemos imaginarlas como si fueran un switch de luz que
pueden dejar pasar energía (Verdadero) o no (Falso).
VERDADERO
ENCIENDE LA LUZ
Conjunción
La conjunción une dos proposiciones, de modo tal que sólo el consecuente es verdadero, cuando ambas proposiciones son verdaderas. Su símbolo es ^
^( )
Imaginemos la lógica
El ejemplo de las luces y sus switch funcionando juntos puede verse en esta tabla llamada “TABLA DE VERDAD”
Disyunción
La disyunción une dos proposiciones, de modo tal que el consecuente será verdadero, cuando ambas proposiciones son verdaderas, o al menos una de ellas. Su símbolo es v^
( )
Imaginemos la lógica
En el ejemplo anterior, la lámpara se prende en más de un caso. Por lo tanto la tabla de verdad de la disyunción sería como la siguiente:
“TABLA DE VERDAD”
Negación
La negación se usa en una sola proposición con el fin de cambiar su estado al estado opuesto.
Su símbolo es ~
( )~
Imaginemos la lógica
En este caso, la negación convierte el estado de una proposición a su opuesto. Si es verdadera, será falsa y viceversa.
“TABLA DE VERDAD”