Calculo

Proposicional
Presentador:
Mg, Claudia Yamile Gómez Llanez.
Área: Software Subject: 1155102 A

Semester: First

Pro – Media 2.0

1. Introducción a los Fundamentos de la Lógica
 Que es una proposición?
Combinación de símbolos de lenguaje, a la que se le puede
asignar uno y solo un valor de verdad. (V o F).
Cumple 3 principios:

Identidad No Contradicción Tercero Excluido

1+3=4 (V)4 FyV 8 es par o 3 <0 = V

(V)
 Proposiciones Compuestas = (2 o +PS)

Pro – Media 2.0

Una proposición primitiva:
Es una proposición que no se puede descomponer
en hechos más simples.
Ejemplos:
■ El curso de matemáticas discretas está fácil.
■ El caballo blanco es verde.

Pro – Media 2.0

Ejemplo
p: La combinatoria es un curso obligatorio para el
segundo año de bachillerato.
q: Margaret Mitchell escribió lo que el viento se llevó.
r: 2+3=5
Nota: No se considera como proposición algo como la
exclamación.
 ¡Que bonito día!
 Levántate y ven a clase de matemáticas discretas

Pro – Media 2.0

2. Proposiciones
Dos maneras de obtener nuevas proposiciones a
partir de otras ya existentes:
1. Transformado un proposición p en la
proposición ¬p.
¬p: La combinatoria no es un curso obligatorio
para el segundo año de bachillerato.

2. Combinando dos o más proposiciones en una

proposición compuesta mediante las siguientes
conectivas lógicas.
Pro – Media 2.0
3. Conectivas Lógicas
• Conjunción (p q)
• Disyunción (p v q)
• Implicación ( p->q) (suficiente, solo si,
necesaria).
p: hipótesis
q: la conclusión
• Bicondicional ( p <->q ) (sí y solo si)

Pro – Media 2.0

4. Especificación en Lenguaje Natural
• El número x es un entero.
• 5>2.
• 3+2=5.
• Gabriel García Márquez ganó premio nobel de
literatura.
• Matemáticas Discretas es una asignatura se
tercer semestre de Ingeniería de Sistemas de la
UFPS Cúcuta.

Pro – Media 2.0

5. Especificación Simbólica.
Sean s, t y u las siguientes proposiciones primitivas:
s: Felipe sale a dar un paseo
t: La luna esta brillando
u: Está nevando.
Las oraciones propuestas ofrecen algunas traducciones para las proposiciones compuestas
simbólicas dadas.
a) (t y ¬u)-> s: Si la luna está brillando y no está nevando, entonces Felipe sale a dar un paseo.
b) t-> (¬u->s): Si la luna esta brillando, entonces si no esta nevando , Felipe sale a dar un paseo.
c) ¬(s<-> (u V t)): No ocurre que Felipe salga a dar un paseo, si y solo si está nevando o la luna
esta brillando.

Pro – Media 2.0

6. Tablas de Verdad
• De negación
p ¬p
1 0
0 1

• Proposiciones compuestas:

Pro – Media 2.0

Ejemplo 2:
Ahora trabajaremos en orden inverso y
observaremos la notación lógica (o simbólica) para
las siguientes tres frases:
a) “Felipe saldrá a dar un paseo si y sólo si la luna
esta brillando”.
b) “Si esta nevando y la luna no esta brillando,
entonces Felipe no saldrá a dar un paseo”.
c) “Está nevando, pero aun así, Felipe saldrá un
paseo”.

Pro – Media 2.0

Ejercicios Tablas de Verdad
p q r ¬r ¬r->q q ^ (¬r->q)
V V V F
V V F V
V F V F
V F F V
F V V F
F V F V
F F V F
F F F V

Pro – Media 2.0

Ejercicios Tablas de Verdad
p Q R q^r p v ( q ^ r) p v q (p V q) ^ r
V F F
V F V
V V F
V V V
F F F
F F V
F V F
F V V

Pro – Media 2.0

7. Tautología, Contradicciones y Contingencia.
• Una proposición compuesta es una Tautología sí es
verdadera para todas las asignaciones de verdad para sus
proposiciones componentes.
• Sí una proposición compuesta es falsa para todas estas
asignaciones entonces estamos hablando de una
Contradicción.
• Un fórmula P es una Contingencia si existen algunas
valoraciones que son modelos de P y otras que no lo son.
Ver Imagen 1.

Pro – Media 2.0

Imagén 1. Ejemplo de Tautología,
Contingencia y Contradicción.

Pro – Media 2.0

8. Leyes de
Equivalencia
Lógica

Pro – Media 2.0

LEYES DE EQUIVALENCIA LÓGICA
• Conmutativa: p ∧ q ∼ q ∧ p
p∨q∼q∨p
• Asociativa: p ∧ (q ∧ r) ∼ (p ∧ q) ∧ r
p ∨ (q ∨ r) ∼ (p ∨ q) ∨ r
• Distributiva: p∧(q ∨ r)∼(p ∧ q)∨( p ∧ r)
p∨(q ∧ r)∼(p ∨ q)∧(p ∨ r)
• De Morgan: ¬(p ∧ q) ∼ ¬p∨ ¬q
¬(p ∨ q) ∼ ¬p∧ ¬q
Pro – Media 2.0
LEYES DE EQUIVALENCIA LÓGICA
• Absorción: p ∧ (p ∨ q) ∼ p
p ∨ (p ∧ q) ∼ p
• Ley de la Doble Negación: ¬ (¬p) ∼p
• Ley de la Negación o de la Ley Inversa: p ^ ¬p ∼ F
p V ¬p ∼ T
• Idempotencia: p∧p ∼ p
p∨p ∼ p
• De identidad: p∧ T ∼p
p∨ F ∼p

Pro – Media 2.0

LEYES DE EQUIVALENCIA LÓGICA
• Relación entre conectivas: P→ Q ∼ ¬P∨Q
P↔Q ∼ (P→ Q) ∧ (Q→P)
• Tercio excluso: P∨ ¬P ∼T
• Contradicción: P∧ ¬P ∼ T

Pro – Media 2.0

Validación de las Leyes de Equivalencia

p q q^q q^p p q pVq qVp

V V V V V V V V

V F F F V F V V

F V F F F V V V
F F F F F F F F

Pro – Media 2.0

Validación de las Leyes de Equivalencia

p q r p ^ q (p ^ q)^ r q^r p ^ (q^ r) p q r p V q (p V q) V r qVr p V (q V r)

V V V V V V V V V V V V V V
V V F V F F F V V F V V V V
V F V F F F F V F V V V V V
V F F F F F F V F F V V F V
F V V F F V F F V V V V V V
F V F F F F F F V F V V V V
F F V F F F F F F V F V V V
F F F F F F F F F F F F F F

Pro – Media 2.0

Validación de las Leyes de Equivalencia

p q r q V r p ^ (q V r) p^q p^r (p ^ q) V (p ^ r) p q r q ^r p V (q ^ r) p V q p V r (p V q) ^ (p V r)
V V V V V V V V V V V V V V V V
V V F V V V F V V V F F V V V V
V F V V V F V V V F V F V V V V
V F F V F F F F V F F F V V V V
F V V V F F F F F V V V V V V V
F V F V F F F F F V F F F V F F
F F V F F F F F F F V F F F V F
F F F F F F F F F F F F F F F F

Pro – Media 2.0

Validación de las Leyes de Equivalencia

p q p V q ¬p ¬q ¬ (p V q) ¬p ^ ¬q
p q p^q ¬(p^q) ¬p ¬q ¬ p V ¬q V V V F F F F
V V V F F F F
V V V F F F F
V F V F V F F
V F F V F V V V F V F V F F
F V V V F F F
F V F V V F V F V V V F F F
F F F V V V V
F F F V V V V
F F F V V V V

Pro – Media 2.0

Validación de las Leyes de Equivalencia

Pro – Media 2.0

Validación de las Leyes de Equivalencia

Pro – Media 2.0

Validación de las Leyes de Equivalencia

Pro – Media 2.0

Validación de las Leyes de Equivalencia

Pro – Media 2.0

Validación de las Leyes de Equivalencia

Pro – Media 2.0

Reglas de Precedencia
Muchas veces se presentan proposiciones que no están
acompañadas de paréntesis, corchetes o llaves, pero
debemos tener en cuenta la jerarquía o los niveles de
precedencia con respecto a los conectores lógicos.
1 nivel: Negación ¬
2 Nivel: Conjunción ^
3 Nivel: Disyunción V
4 Nivel: Condicional 
5 Nivel: Bicondicional <->

Pro – Media 2.0

Ejercicios sobre Precedencia
¬pq^r ((¬ p)(q ^ r))
 p v ¬q  r v s
 p  ¬q v ¬r
 p v ¬q  ¬r v s

Pro – Media 2.0

Ejercicios sobre Reglas de Equivalencia
((¬p ^ q) v p ) ^ ( q v p) ^ ¬q ~ ( ¬q ^ p)
((p v ¬p) ^ (q v p)) ^ ( q v p) ^ ¬q (Distributiva)
(V ^ (q v p)) ^ ( q v p) ^ ¬q (Complemento o ETM)
(q v p) ^ (q v p) ^ ¬q (EN o Identidad)
(q v p) ^ ¬q (Idempotencia)
(q ^ ¬q) v (p^¬q) (Distributiva)
F v (p ^¬q) (Complemento o Contra)
p ^¬q (EN)
¬q^p (Conmutativa)

Pro – Media 2.0

Ejercicios sobre Reglas de
Equivalencia
(p v q) ^ ¬(¬p ^ q) Razones
<=> (p v q) ^ (¬¬p ^ ¬q) Ley de Morgan
<=> (p v q) ^ (p V ¬q) Ley de DN
<=> p v (q ¬q) Ley Distributiva de
V sobre ^
<=> p v Fo Ley de la Inversa
<=> p Ley del Neutro

Pro – Media 2.0

 METÓDOS DE DEMOSTRACIÓN
Teorema: es una sentencia que se puede verificar
que es verdadera. (proposiciones, hechos o
resultados).
Se demuestra que un Teorema es verdadero
mediante una secuencia de sentencias que
constituyen un elemento llamado demostración.

Pro – Media 2.0

Reglas de Inferencia
Un argumento lógico es una sucesión de
proposiciones escritas como sigue:
P1
P2 “Por tanto” o “por consiguiente”

P3 “ se sigue que” o “de aquí que”

. Hipótesis o Premisas
.
.
________
q La Conclusión

Pro – Media 2.0

Reglas de Inferencia
Nota: Se dice que un argumento lógico es valido si
se cumple, es decir, P1^ P2^P3…Pn  q es una
tautología.
Los argumentos lógicos válidos son llamados
Reglas de Inferencia. Una Falacia Lógica es un
argumento lógico que no es válido.

Pro – Media 2.0

Principales Reglas de Inferencia
Regla de Inferencia Tautología Nombre
p  (p v q) Adición
(p ^q) p Simplificación
((p) ^(q)) (p^q) Conjunción
[p ^ (pq)]q Modus Ponens
[¬q^(pq)]q Modus Tollens
[(pq) ^(qr)](pr) Silogismo Hipotético
[(p v q)^¬p] q Silogismo Disyuntivo
[(p v q) ^ (¬p v r) ] (q v r) Ley de Resolución

Pro – Media 2.0

Tabla Reglas de Inferencia

Fuente: Grimaldi, R. P.
(1998). Matemáticas discreta y
combinatoria: introducción y
aplicaciones. Pearson
Educación.

Pro – Media 2.0

Ejemplo de Adición
p : “He comprado manzanas”
_______________________________________
p V q “He comprado manzanas o he
comprado peras”

Pro – Media 2.0

Ejemplo de Simplificación

p Λ q: “Tengo una manzana y tengo una pera”

___________________________________
P :“Tengo una manzana

Pro – Media 2.0

Ejemplo de Conjunción
p: “tengo una manzana”
q: “tengo una pera”
______________________________________
p ^ q “Tengo una manzana y tengo una pera”

Pro – Media 2.0

Ejemplo de Modus Ponens
p:“Llueve”
p → q : “Si llueve, entonces las calles se
mojan”
________________________________
q: “Luego, las calles se mojan”

Pro – Media 2.0

Ejemplo de Modus Tollens
¬q : “Las calles no se mojan”
p → q : “Si llueve, entonces las calles se mojan”
__________________________________________________
¬p : “Luego, no llueve”

Pro – Media 2.0

Ejemplo de Silogismo Hipotético
Dados dos implicaciones, de las cuales, el antecedente de la una sea el
consecuente de la otra (el mismo enunciado), podemos construir una nueva
implicación cuyo antecedente sea el de aquella implicación cuya consecuencia
sea el antecedente de la otra implicación, y cuyo consecuente sea el de ésta
última, cuyo antecedente era consecuencia del primero.
p → q “Si la bola roja golpea a la bola blanca, la bola blanca se mueve”
q → r “Si la bola blanca golpea a la bola negra, la bola negra se mueve”
________________________________________________________
p → r “Si la bola roja golpea a la bola blanca, la bola negra se mueve”

Pro – Media 2.0

Taller en Clase
Para cada una de los siguientes conjuntos de
premisas, decir cuáles son las conclusiones y las
reglas de inferencia utilizadas en cada caso.
(a) Estoy gordo o delgado. Ciertamente no estoy
delgado.
(b) Si corro, me quedaré sin aliento. No estoy sin
aliento.

Pro – Media 2.0

(c) Si el mayordomo lo hizo, entonces tiene las manos sucias.
Las manos del mayordomo no están sucias.
(d) El cielo azul me pone contento y el cielo gris me pone triste.
El cielo está azul o gris.
(e) Todas las funciones trigonométricas son periódicas y todas
las funciones periódicas son continuas.

Pro – Media 2.0

Referencias
• https://aula.tareasplus.com/Adrian-Castro27/LOGICA---Matematica-
Discreta-para-la-Universidad/Conceptos-de-Fundamentos-de-Logica
• https://books.google.es/books?id=lHqqjoR0b1YC&lpg=PR5&ots=gSs0mB
MeXr&dq=hISTORIA%20DE%20LA%20LOGICA%20Y%20SUS%20IMPLICACI
ONES%20EN%20LA%20MATEMATICAS%20DISCRETAS&lr&hl=es&pg=PR5#
v=onepage&q&f=false
• http://cb.mty.itesm.mx/tc1003/lecturas/tc1003-011p.pdf
• http://profe-alexz.blogspot.com.co/2010/05/logica-proposicional.html

Pro – Media 2.0

 GRACIAS
???

Pro – Media 2.0