LÓGICA PROPOSICIONAL

LÓGICA MATEMÁTICA
¿Qué es lógica proposicional?

La lógica proposicional estudia las variables proposicionales o

sentencias lógicas, sus posibles implicaciones, evaluaciones de
verdad y en algunos casos su nivel absoluto de verdad. Algunos
autores también la identifican con la lógica matemática o la lógica
simbolice, ya que utiliza una serie de símbolos especiales que lo
acercan al lenguaje matemático.
 Proposiciones No Proposiciones

 5 es mayor que 3  ¿Cómo te llamas?

 Ecuador se encuentra en el continente Americano  Anda a trabajar
 Mañana es viernes  ¡Escucha!
 Todos los carros tienen 3 ruedas  El carro rojo
 9 es un numero par  ¿Cómo estas?
 La semana tiene 8 días
 CONECTORES LÓGICOS

 p q r s t ….(letras mas usadas para designar proposiciones)

 ¬ ~ / ’ (NO) = NEGACIÓN
 ∧ (y) = CONJUNCIÓN
 ∨ (O) = DISYUNCIÓN
 → (si entonces) = CONDICIONAL
 ↔(si y solo si entonces) = BICONDICIONAL
 Clasificación de proposiciones

SIMPLES COMPUESTA

Son aquellas que no tienen otras oraciones Son aquellas que contienen dentro de sí
dentro de sí mismas, por ejemplo: más de una proposición simple, por
ejemplo:

• La Revolución Francesa fue en 1789. • El amor y el odio son sentimientos opuestos.

• Las plantas generan oxígeno. • Si escribo diariamente algo, entonces redactaré
• Sócrates fue un filósofo griego mejor.
• Compro el carro negro o el rojo.
 Ejemplo 1

Pedro no es un buen estudiante

p= Pedro es un buen estudiante

¬ p= Pedro no es un buen estudiante

 Ejemplo 2

No es verdad que estudie todos los días

q= Es verdad que estudie todos los días

¬ q = No es verdad que estudie todos los días

 Ejemplo 3

Es imposible que mañana no vaya a clase

s= Mañana voy a clase

¬ s = Es imposible que mañana vaya a clase

¬ ¬ s = Es imposible que mañana no vaya a clase

 Ejemplo 4

Es falso que si el alumno se copia sea imposible que apruebe

p= El alumno copia
q= El alumno aprueba
¬ p = Es falso que el alumno copia
¬ q = Es imposible que el alumno apruebe

¬ (p → ¬q) = Es falso que si el alumno se copia sea imposible que apruebe

 Ejemplo 5

Juan camina y Pedro descansa

p= Juan camina
q= Pedro descansa
p ∧ q = Juan camina y Pedro descansa
 Ejemplo 6

Los tejados son de pizarra y las puertas de madera

p= Los tejados son de pizarra

q= las puertas de madera
p ∧ q = Los tejados son de pizarra y las puertas de madera
 Ejemplo 7

Me van bien en los estudios pero no apruebo

p= Me va bien en los estudios

q= apruebo
¬ q= no apruebo

p ∧ ¬ q = Me van bien en los estudios pero no apruebo

 Ejemplo 8

Aunque me rechaces, te querré siempre y no te olvidaré

p= Aunque me rechaces
q= te querré siempre
r= te olvidaré
¬ r= no te olvidaré
p ∧ (q ∧ ¬ r) = Aunque me rechaces, te querré siempre y no te olvidaré
 Ejemplo 9

Me entero de la situación política leyendo “El País” o “La Vanguardia”

p= Me entero de la situación política leyendo “El País”

q= Me entero de la situación política leyendo “La Vanguardia”
p V q = Me entero de la situación política leyendo “El País” o “La Vanguardia”
 Ejemplo 10

No es cierto que vaya a salir el jueves o el viernes

p= voy a salir el jueves

q= voy a salir el viernes
p V q = voy a salir el jueves o el viernes
¬ (p V q) = No es cierto que vaya a salir el jueves o el viernes
 Ejemplo 11

Ya sea porque no tuvieron suerte, ya sea por falta de ambición, perdieron el partido

p= tuvieron suerte
q= tienen ambición
r= perdieron el partido
¬ p= Ya sea porque no tuvieron suerte
¬ q= ya sea por falta de ambición
¬ (p v q) ∧ r = Ya sea porque no tuvieron suerte, ya sea por falta de
ambición, perdieron el partido
 Ejemplo 12

Si Colón descubrió América entonces los gusanos son invertebrados

p= Colón descubrió América

q= Los gusanos son invertebrados
p → q= Si Colón descubrió América entonces los gusanos son invertebrados
 Ejemplo 13

Si Eres licenciado de modo que es imposible que no sepas leer ni escribir

p= Eres licenciado
q= sabes leer
r= sabes escribir
¬ q= No sabes leer
¬ r= No sabes escribir
¬ (¬ q ∧ ¬ r)= imposible que no sepas leer ni escribir
p → ¬ (¬ q ∧ ¬ r)= Si Eres licenciado de modo que es imposible que no sepas leer ni
escribir
Gracias