LÓGICA

PROPOSICIONAL
PROFESORA CAMILA VEIZAGA
 ¿Qué es la lógica
proposicional?
La lógica tiene por objeto construir razonamientos correctos, es decir,
derivar de modo válido unas premisas llamadas conclusiones de otras
proposiciones denominadas premisas.
Permite establecer la coherencia interna del lenguaje (que las
expresiones sean consistentes o sean contradictorias) y la validez o
invalidez de los razonamientos.
Pero para analizar si un razonamiento es válido o no, primero hay que
eliminar las ambigüedades del lenguaje coloquial.

Símbolos

Para eso vamos a introducir

Conectores

Esto nos indica que la lógica proposicional es formal, ya que no se

interesa por el contenido/mensaje, sino por la estructura y las reglas de
formación y transformación de proposiciones y razonamientos.
 ¿Qué son las proposiciones?
Una proposición es toda oración declarativa/informativa respecto de la cual puede
decirse si es verdadera o falsa.
En este sentido, la lógica proposicional es bivalente ya que a toda proposición se le
asigna un valor de verdad, el cual puede ser verdadero (V) o falso (F).
Además, las proposiciones son denotadas por una letra minúscula a partir de la letra "p".

No son proposiciones:
Son proposiciones:
Estudiá.
Los alumnos son estudiosos.
5 + x = 10
2 es un número par.
¿El aula está limpia?
El pizarrón es verde.
¡Buen día!
El ascensor no funciona.
Ojalá hoy no llueva.

Estos son ejemplos de proposiciones simples.



Para conocer el valor de verdad de las proposiciones simples solo hay que contrastarlas con la realidad.
Además, a partir de proposiciones simples enlazadas con un conector/conectivo es posible generar otras
simples o compuestas. Un ejemplo de una proposición compuesta es "Llueve, hace frío y hay viento".
El valor de verdad de las proposiciones compuestas depende del valor de verdad de las proposiciones
simples que la constituyen y el tipo de conector que las enlace.
Esto quiere decir que se puede operar con proposiciones.
A cada operación le corresponde cierto símbolo, llamado conector lógico.

Operaciones Lógicas:
NEGACIÓN CONJUNCIÓN DISYUNCIÓN INCLUSIVA

DISYUNCIÓN EXCLUSIVA CONDICIONAL BICONDICIONAL

 NEGACIÓN: CONJUNCIÓN:
"~" / "¬" (NO) "^" / "." / "&" (Y)
La conjunción de las proposiciones
La negación de p es ~p (no p).
p y q es p ^ q (p y q).
Esta operación invierte los La "y" me indica que se deben
valores de verdad, es decir, que cumplir las 2 proposiciones
lo Verdadero pasa a ser Falso y simples.
lo Falso pasa a ser Verdadero. Entonces, esta operación solo es
Ejemplo: "Estudio, no estudio". Verdadera si las 2 proposiciones
simples son Verdaderas.
p: Estudio
Ejemplo: "Llueve y hace frío".
~p: No estudio p: Llueve
q: Hace frío
DISYUNCIÓN INCLUSIVA:
"V" (0)
La disyunción inclusiva de las
proposiciones p y q es p v q (p o q).
En este caso, la "o" me indica que
se cumple por lo menos una
proposición simple o ambas.
Entonces, esta operación solo será
Falsa si las 2 proposiciones
simples son Falsas.
Ejemplo: "Vamos a comer pizza o
empanadas".
p: Vamos a comer pizza
q: Vamos a comer empanadas
 DISYUNCIÓN EXCLUSIVA:
"W" / "V" (O...O...)
La disyunción exclusiva de las
proposiciones p y q es p v q (o p o q).
En este caso, las "o" me indican que
solo se puede cumplir una
proposición simple.
Entonces, esta operación será Falsa
si las 2 proposiciones simples son
Verdaderas o Falsas.
Ejemplo: "O estoy parado o estoy
sentado".
p: Estoy parado.
q: Estoy sentado.
CONDICIONAL/IMPLICACIÓN:
"->" (SI..., ENTONCES... / IMPLICA)
El condicional de las proposiciones p y q es
p -> q (si p, entonces q / p implica q).
La proposición p se llama antecedente y la
proposición q se llama consecuente.
Si se cumple el antecedente, se cumple
necesariamente el consecuente.
Entonces, esta operación solo es Falsa si el
antecedente es V y el consecuente es F.
Ejemplo: "Si siento frío, me abrigo".
p: Siento frío.
q: Me abrigo.
BICONDICIONAL:
↔
" " (SI Y SOLO SI)
El bicondicional de las
↔
proposiciones p y q es p q (p si y
solo si q).
En este caso, hay una implicación
recíproca, es decir, p -> q y q -> p.
Entonces, esta operación solo será
Verdadera si las 2 proposiciones
simples son Verdaderas o Falsas.
Ejemplo: "Voy a aprobar la materia
si y solo si estudio".
p: Voy a aprobar la materia.
q: Estudio.

 Separadores gráficos
Para separar las proposiciones de una proposición compuesta y organizarlas de acuerdo con los
conectores se pueden utilizar los paréntesis (...), los corchetes [...] y las llaves {..}.
También, son utiles para separar las premisas de la conclusión de un razonamiento.

¿Qué es un razonamiento?
Un razonamiento es una estructura lógica formada por una o más proposiciones que funcionan como
premisas (antecedentes) de las que se deriva una conclusión (consecuente).
Tal razonamiento será válido si la conclusión se deriva necesariamente de las premisas; en caso
contrario, el razonamiento es inválido.
Un ejemplo de un razonamiento es el siguiente: "Si pasan un semáforo en rojo, les corresponde una
multa. Y pasan un semáforo en rojo, por lo tanto, les corresponde una multa".
 Método de Tablas de Verdad
Este método consiste en elevar las posibilades de valor de verdad (2 = V o F) a la cantidad de proposiciones simples que
tenga una proposición compuesta. Por ejemplo, si hay 2 proposiciones simples, será ; y si
son 3, será

El resultado del cálculo representa la cantidad de combinaciones posibles de los valores de verdad de las proposiciones.
Pero solo será Verdadera la combinación que reúne todas las condiciones establecidas en la proposición compuesta.
Ejemplo: "Llueve, hace frío y hay viento".
p: Llueve.
q: Hace frío.
r: Hay viento.
 TAUTOLOGÍA
Cuando se analiza la última columna de la tabla, se obtiene todo V.

CONTRADICCIÓN
Cuando se analiza la última columna de la tabla, se obtiene todo F

CONTINGENCIA
Cuando se analiza la última columna de la tabla, se obtiene V y F

Este método de Tablas de Verdad también es útil para analizar la validez de un razonamiento.
Si la última columna, que es la que muestra el resultado final, es toda verdadera (se obtiene todo V), el operador que
representa el razonamiento es tautológico y entonces el razonamiento es válido.

 Análisis de la validez de un razonamiento

Ejemplo: "Si pasan un semáforo en rojo, les corresponde una multa. Y pasan un semáforo en rojo, por lo tanto, les
corresponde una multa".

1° PASO: IDENTIFICACIÓN DE 2° PASO: FORMALIZACIÓN

LAS PROPOSICIONES SIMPLES
Se debe tener en cuenta que la
misma proposición se representa
siempre con la misma letra.
Entonces:
p: Pasan un semáforo en rojo.
q: Les corresponde una multa.
Hay que reemplazar las proposiciones simples por su letra
correspondiente, así como también representar los términos de
conexión por el conector lógico adecuado.
Además, se deben incluir los separadores gráficos que
organizan las proposiciones conforme los conectores.
Cabe aclarar que la conclusión siempre va separada de las
premisas.
Entonces:

3° PASO: TABLA DE VERDAD
Se observa que la columna del último
condicional, la cual representa la
conclusión del razonamiento, es toda
verdadera
4° PASO: CONCLUSIÓN
En este paso, se determina la validez o
invalidez del razonamiento.
Ya observamos que todos los casos de la
columna del último condicional se
presentan como verdaderos.
Esto significa que en todos los casos la
conclusión se derivó de las premisas, es
decir, la conclusión se sigue
necesariamente de las premisas.
En conclusión, el razonamiento es válido.
 Genially
¡Entren al Genially para encontrar más contenido!

Link:
https://view.genial.ly/62ba0deb7f8dd80011d75a00
/interactive-image-logica-proposicional
 ¡Actividades!
1. Formulen 4 proposiciones compuestas y realicen la tabla de
verdad. Luego, indiquen si el resultado es una tautologia, una
contradicción o una contingencia.
2. Formulen 2 razonamientos y realicen la tabla de verdad para
establecer su validez o invlidez.
3. Mediante fotos, deberán subir una o dos producciones al
Padlet (https://padlet.com/veizagacamila/gxpdvl80244ysf3o)
para compartirlas con sus compañeros.