DESARROLLO DE HABILIDADES

MATEMÁTICAS
 LÓGICA PROPOSICIONAL

Profesor: Yolanda Serra

 Lógica Proposicional.

La Lógica es aplicada en la Filosofía,

Matemáticas, Física, Computación (Software),
Lenguaje.
En Matemáticas para demostrar teoremas e
inferir resultados que pueden ser aplicados
en investigaciones.
¿QUÉ ES LA LÓGICA?
• Pregunta que carece de lógica
• Lo contrario de algo ilógico.
• ¿Podría ser algo que tiene sentido?
• Estudia la validez de un argumento
• Estudia la validez de los argumentos
proposicionales.

Prof. Niño
2006
 ¿QUÉ ES LA LÓGICA?

En un Sentido amplio la Lógica está

relacionada con aquellos que es congruente,
ordenado , bien estructurado.

Lo Ilógico, estaría relacionado con lo

incoherente , incongruente, lo poco
estructurado . Puede aplicarse a situaciones ,
a personas o bien pensamientos
 ¿QUÉ ES LA LÓGICA?

La palabra lógica etimológicamente deriva de

Logos = conocimiento, Sabiduría . Ciencia que
está relacionada con el pensamiento ,el
conocimiento y la razón.

Lógica : Ciencia del pensamiento y la Razón.

Profesor: Yolanda Serra

 Lógica Proposicional
Una proposición lógica es un enunciado afirmativo en la cual se puede
decidir su veracidad o falsedad.
Es decir, es un enunciado verdadero o es un enunciado falso, pero no
puede ocurrir ambas cosas.

SON PROPOSICIONES LÓGICAS NO SON PROPOSICIONES LÓGICAS.

“El 2 es un número primo”.
“ 25 es divisible entre 3 ”.
“ 6 + 5 = 10 ”.
“Hoy es Jueves”.
.
 “ Ud tiene frío”
 “¿15 y 18 tienen la misma
cantidad de divisores?”.
 “ En realidad, ¿ qué paso ayer?
Lógica Proposicional
“La proposición es la expresión lingüística del razonamiento,
que se caracteriza por ser verdadera o falsa empíricamente,
sin ambigüedades. Son proposiciones las oraciones
aseverativas, las leyes científicas, las fórmulas matemáticas,
las fórmulas y/o esquemas lógicos, los enunciados cerrados
o claramente definidos. No son proposiciones las opiniones
y suposiciones; los proverbios, modismos y refranes; los
enunciados abiertos no definidos; las oraciones
interrogativas, exclamativas, imperativas, desiderativas y
dubitativas; las interjecciones en general”
Verifique ¿ cuál de los siguientes enunciados son
proposiciones ?

i) México está en América

ii) 1<2
iii) Hoy es lunes
iv) x+3=5
v) Ecosistemas
vi) Buenos días
vii) El 3 de Abril de 2020 será día Lunes
viii) Los cocodrilos pueden volar.
ix) Las matemáticas son agradables.
x) Esta expresión es falsa.
TIPOS DE PROPOSICIONES

La Lógica Proposicional sustenta su estudio en

dos principios fundamentales: las
proposiciones y los conectivos lógicos,
pudiendo ser las proposiciones simples o
compuestas

Proposiciones Simples:
• Son aquellas que no tienen oraciones componentes afectadas por
negaciones (“no”) o términos de enlace como conjunciones (“y”),
disyunciones (“o”) o implicaciones (“si . . . entonces”). Pueden
aparecer términos de enlace en el sujeto o en el predicado, pero no
entre oraciones.
Proposiciones Compuestas:
• Una proposición será compuesta si no es simple. Es decir, si está
afectada por negaciones o términos de enlace entre oraciones
componentes.

Prof. Niño
2006
. Proposiciones Lógicas
Una característica importante de la lógica proposicional es que no
toma en cuenta los contenidos de las proposiciones, sino que
solamente la forma en que se relacionan.es por ello que se pueden
reemplazar por letras minúsculas ,para poder realizar el análisis de la
forma en que se interrelacionan.(Proceso de formalización )

Proposiciones simples: Es una proposición declarativa que tiene sujeto y

predicado ,pero no conjunciones de la forma: y, o ,entonces

Proposiciones compuestas: Formada por proposiciones simples asociadas

por los conectivos lógicos que pueden ser: no, y ,o ,entonces, si y solo sólo sí
 Proceso de Formalización de la
Proposición.
Para denotar o representar las proposiciones se usan letras minúsculas: p, q, r, s,
...
p: “México esta en América”

q: “El aula C 302 es iluminada”

r: “El 5 es un entero par”

s: “La Tierra es el único planeta con vida en el universo”

t: “Todos los hombres son mortales”

u: “Un lustro tiene 10 años”

¿Qué tipo de proposiciones se ejemplificaron?
(Simples o compuestas)
 CONECTIVOS LÓGICOS.
Conectivos Lógicos: Son aquellas palabras o términos funcionales que unen, juntan o enlazan
las proposiciones simples formando proposiciones compuestas
p: Un lustro tiene 10 años.
q: 5 es un número par.
Ambas proposiciones simples.

Conectivo Símbolo Nombre de la proposición. Formalización de una proposición

lógica
No ┐ Negación. ┐p
Y ^ Conjunción pq
O  Disyunción inclusiva Pq
Si…., entonces → Condicional p q
..si y sólo si ↔ Bicondicional. p q

p  q : Un lustre tiene 10 años y 5 es un número par (proposición compuesta)

Prof. Niño
2006
Negación
El enunciado “No se cumple p” es una proposición llamada
“la negación de p” y se denota por p.

Ejemplo
p: Nuestro salón está en el 3er piso.
p : Nuestro salón no está en el 3er piso.
p : No es cierto que nuestro salón esté en el 3er piso.

Si p es verdadera entonces p es falsa. En cambio, si p es

falsa, p es verdadera. p p
La tabla de verdad de la negación es:
V F
F V
Negación
No es cierto que Es imposible que
Es falso que Es erróneo que
Nunca De ningún modo
No ocurre que En modo alguno
Es mentira que Es incierto que

Obtener la negación de las siguientes proposiciones:

a. La suma de dos números reales negativos es un número real
positivo
b. El número 3 es divisor de 141
c. En este país el verano es muy caluroso.
d. Los animales carnívoros se alimentan de plantas.
Conjunción
La conjunción de p y q es la proposición “p y q”
que se denota por “p  q”.
La conjunción es verdadera, únicamente cuando ambas
proposiciones que la componen son verdaderas.

Ejemplo
Sea p: “2 divide a 68”
q: “2 divide a 35”.
p  q : “ 2 es divisor de 68 y de 35”.

Valor de verdad: p  q es falsa

Conjunción

p q pq
Ejemplo 1.
Sea p: “2 es múltiplo de 4”
V V V q: “2 divide a 36”.
Determine el valor de verdad de las siguiente
V F F
proposiciones:
F V F
a) p  q : “ 2 es múltiplo de 4 y divisor de 36”.
F F F b) p q
c)  (p q)

Respuestas:
a) p  q :F  V = F
b) p q: F V= V V= V
c)  (p q)=  (F  V)= F= V
Disyunción
La disyunción de p y q, es la proposición “p o q”, que se denota
por “p  q”. El “o” se usa en el sentido inclusivo; como en
“La solución de (x–2).(y+2) = 0 es x = 2 o y = -2”.
La disyunción es falsa, únicamente, cuando ambas
proposiciones son falsas.
Ejemplo:
Sean p: “3 divide a 9” q: “3 divide a 5”
p  q : “ 3 divide a 9 ó a 5”

Valor de verdad: p  q es verdadera.

Tablas de verdad

Las tablas de verdad de los dos conectivos

anteriores son:
p q pq pq
V V V V
V F F V
F V F V
F F F
F

pyq
poq
Ejemplificaciones:
2.. Considere los enunciados representados por las
proposiciones p y q
p: 6 es un número primo
q: 6 es divisor de 42
Exprese en lenguaje verbal de los enunciados representados
y posteriormente determine la validez de dichos enunciados.:
Ejemplificaciones:
3.- Sean p, q y r proposiciones, tales que:
p :”15 es un número divisible por 3”
q: “17 es un número primo”
r: “ El valor de la cuarta potencia del entero -3 es -81.”
Determine el valor de verdad de las siguientes proposiciones:
a. (p  q) =
b. r (p  q) =

c. lógicas


Ejemplificaciones.
• Elaborar tabla de verdad para la siguiente
proposición lógica:
P q pq (p  q)
V V V F
V F V F
F V V F
F F F V