Lógica proposicional -

leyes proposicionales

ERNESTO CHAMORRO AULA 20

PROPOSICIÓN LÓGICA

Es todo enunciado que presenta valor de verdad (verdadero o falso). Las

proposiciones lógicas se representan con letras minúsculas (p, q, r, …)

Ejemplos Son proposiciones lógicas:

p  6 es un número par. (V) r  Arica es la capital del Chile. (F)

q  0 es un número negativo. (F) s  Samoa es un país del África. (F)

Observación
No son proposiciones lógicas las expresiones interrogativas, exclamativas o imperativas:

 ¿Qué día es hoy? (No es V ni F)

 ¡Que hermoso día! (No es V ni F)

 Baila conmigo. (No es V ni F)

ERNESTO CHAMORRO
Ejercicio 1 ¿Cuáles de los siguientes enunciados son proposiciones lógicas?

Resolución:

I. Seamos mejores alumnos. (No es proposición)

II. 11021 es un número primo. (Sí es proposición)

III. ¿Cuál es el primer número primo? (No es proposición)

IV. 9 es impar y es un cuadrado perfecto. (Sí es proposición)

V. Resolver: x+8=14. (No es proposición)

VI. Si un número es primo, entonces es impar. (Sí es proposición)

Solo II, IV y VI son proposiciones.

ERNESTO CHAMORRO
TIPOS DE PROPOSICIONES

Proposición simple (atómica): Aquella que presenta una sola idea.

 Cuzco es la capital del Perú.  11021 es un número primo.

p q

Proposición compuesta (molecular): Esta formada por dos o más proposiciones simples,
relacionadas por conectores.

 49 es impar y es un cuadrado perfecto.  Si un número es primo, entonces es par.

p q p q

ERNESTO CHAMORRO
CONECTORES LÓGICOS

Negación () [equivalente al adverbio “no” ] p p

V F
p  Ernesto es ingeniero.
F V
p  Ernesto no es ingeniero.

Conjunción () [equivalente al enlace “y”] aunque

pero
p q pq
p  Luís termino el colegio. Sin embargo V V V
también
q  Luís aprobó el examen de admisión. V F F
F V F
pq  Luís terminar el colegio y aprobó el examen de admisión. F F F

p  q

ERNESTO CHAMORRO
 Disyunción débil () [equivalente a la “o” inclusiva]
p q pq
o también
p  José es menor de edad. o incluso V V V
en todo caso V F V
q  José es estudiante. a menos que
F V V
pq  José es menor de edad o es estudiante. F F F

p  q

Disyunción fuerte () [equivalente a la “o” exclusiva]

p  Claudia es casada. p q pq

q  Claudia es soltera. V V F
V F V
pq O Claudia es casada o es soltera. F V V
F F F
p  q
ERNESTO CHAMORRO
Condicional () [equivalente a “entonces”]
si p entonces q
si p, q
q, si p p q pq
p  Ana vive en Lima. q, ya que p V
V V
q, dado que p
q  Ana vive en Perú. q, porque p V F F
F V V
pq  Si Ana vive en Lima, entonces vive en Perú. F F V

p  q

Bicondicional () [equivalente a “si y solo si”]

p q pq
p  Miguel es padre. V V V
V F F
q  Miguel tiene hijos.
F V F
pq  Miguel es padre, si y solo si tiene hijos. F F V

p  q
ERNESTO CHAMORRO
Ejercicio 2 Simbolice las siguientes proposiciones compuestas:

 Si un números es divisible entre 4, entonces es divisible entre 2.

p  q

 Un número es impar, si y solo si no es divisible entre 2.

p  q

 Si un número divisible es por 2 y divisible por 3, entonces es divisible por 6.

( p  q )  r

 El producto de dos números es par, si y solo si el primer número es par o el segundo número es par.

p  ( q  r )
ERNESTO CHAMORRO
PROBLEMA 1 Sabiendo que la proposición “p” es verdadera y “q” es falsa.
Halle el valor de verdad de las siguientes proposiciones

I. ( p  q )  p II.   p  q    p  q  III.  p  r   r   q  IV. ( p  q )  r

Resolución:
II.   p  q    p  q 
I. ( p  q )  p p q ᴧ V ͢ ↔∆
V V V V V V F
V F F V F F V
F V F V V F V
F F F F V V F

III.  p  r   r   q  IV. ( p  q )  r

Respuesta: V F F V

ERNESTO CHAMORRO
 p q ᴧ V ͢ ↔∆
Ejercicio 4 Sabiendo ( p  q )  (r  s ) es falsa.
V V V V V V F
Halle el valor de verdad de (p  r)  (q  s).
V F F V F F V

Resolución: F V F V V F V
F F F F V V F

( p  q )  ( r  s ) ( p  r )  ( q  s )
p  (V)
(V) (V) (F) (F) q  (F) (V) (V) (F) (V)

(V) (F) r  (F) (V) (F)

(F) s  (V) (V)

(F)

Respuesta: Falsa

ERNESTO CHAMORRO
TABLA DE VERDAD DE UNA PROPOSICIÓN COMPUESTA

Consiste en encontrar el valor de verdad de una proposición compuesta para todas las combinaciones
posibles de los valores de verdad de p, q, r,...
p q ᴧ V ͢ ↔∆
Ejemplo p q (p  q)  ( p  q ) V V V V V V F
V F F V F F V
V V V F F F F V V F V F V V F V
V F V VV F F F F F F F F V V F

F V F VF V V V V
F F F F V F V V F
① ③ ②

ERNESTO CHAMORRO
 CLASIFICACIÓN DE PROPOSICIONES DE
ACUERDO A SU TABLA DE VERDAD
De acuerdo a los valores obtenidos de su tabla de verdad una
proposición compuesta se puede clasifica como:

Tautología

Cuando todos los valores obtenidos de su tabla de verdad son verdaderos.

Contradicción

Cuando todos los valores obtenidos de su tabla de verdad son falsos.

Contingencia

Cuando se obtiene al menos un valor verdadero y al menos uno falso.

ERNESTO CHAMORRO
Ejercicio 5 Determine si las cada una de las siguientes proposiciones es una tautología,
contradicción o contingencia:
I. [ ( p  q )  p ]  q II. [ ( p  q)  p ]  q

Resolución:

p q [ (p  q)  p ]  q p q [ (p  q)  p ]  
q
V V F VV VV V V V V V V V VV F F
V F F FF FV V F V F V F F FV F V
F V V VV F F V V F V F V V FF F F
F F V VF F F V F F F F V F FF F V
① ③ ② ⑤ ④ ① ③ ② ⑤ ④

Tautología Contradicción
ERNESTO CHAMORRO
EQUIVALENCIAS NOTABLES (LEYES LÓGICAS)

Distributiva
Idempotencia
ppp p  (q  r)  (p  q)  (p  r)

ppp p  (q  r)  (p  q)  (p  r)

Conmutativa
pqqp Absorción
pqqp p  (p  q)  p

p  (p  q)  p
Asociativa
p  (q  r)  (p  q)  r p  (p  q)  p  q

p  (q  r)  (p  q)  r p  (p  q)  p  q

ERNESTO CHAMORRO
Involución
Disyunción fuerte
 ( p)  p
p  q  (p  q)

De Morgan
Complemento
(p  q)  p  q
p  p  F
(p  q)  p  q
p  p  V

Condicional Identidad de la conjunción

p  q  p  q pFF

pVp
Bicondicional
p  q  (p  q)  (q  p) Identidad de la disyunción
pVV
p  q  (p  q)  (p   q)
pFp

ERNESTO CHAMORRO
 p q ᴧ V ͢ ↔∆
Otra forma: V V V V V V F
Ejercicio 6 Simplifique (pq)  (pq) V F F V F F V
F V F V V F V
Resolución:
Por tablas de verdad F F F F V V F
( p  q )  ( p  q ) [Condicional]
p q ( p  q )  ( p  q )
( p  q )  ( p  q ) [De Morgan]
V V V V F V V V V

( p  q )  ( p  q ) [Distributiva]
V F V V V F V F F
F V F F F V F F V
( p  p )  q [complemento]
F F F V V F F F F
V  q [Identidad]

q
( p  q )  ( p  q )  q

ERNESTO CHAMORRO
Ejercicio 7 Simplifique (pq)  (pq)

Resolución:
Otra forma: Por tablas de verdad
( p  q )  ( p  q )
p q ( p  q )  ( p  q )
( p  q )  ( p  q ) [Condicional] V V V V F V V V V
V F V V V F V F F
( p  q )  ( p  q ) [De Morgan]
F V F F F V F F V
( p  p )  q [Distributiva] F F F V V F F F F

V  q [complemento]

q [Identidad] ( p  q )  ( p  q )  q
ERNESTO CHAMORRO
 Ejercicio 8 Simplifique [ ( p  q )  p ]  q

Resolución:

[(pq)p]q Otra forma: Por tablas de verdad

[ ( p  q )  p ]  q [Condicional] p q [(p  q)  p] 
q
V V V V V V V V V
[q  p ]  q [Absorción]
V F V F F F V V F
( q  p )  q [Condicional]
F V F V V F F V V
( q  p )  p [De Morgan]
F F F V F F F V F
q  ( p  p ) [Asociativa]
Tautología
q  V [Complemento]
[(p  q)  p]  q 
V [Identidad] V ERNESTO CHAMORRO
PROBLEMAS DE CLASE

ERNESTO CHAMORRO