ARITMÉTICA

LÓGICA PROPOSICIONAL

DOCENTE: ERNESTO CHAMORRO

20
24 R
 LÓGICA PROPOSICIONAL
CONECTORES LÓGICA LEYES
LÓGICAS .
REAGRUPACIÓN 2
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)

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.

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
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
 Disyunción débil () [equivalente a la “o” inclusiva]
o también p q pq
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
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
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 )
 Ejercicio 3 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
 p q ᴧ V ͢ ∆
Ejercicio 4 Sabiendo ( p  q ) → (r  s ) es falsa.
Halle el valor de verdad de (p → r)  (q  s). V V V V V V F
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
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
① ③ ②
 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.

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
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
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
 p  (q  r)  (p  q)  (p  r)

Ejercicio 6 Simplifique (pq) → (pq) p  (q  r)  (p  q)  (p  r)

Otra forma: Por tablas de verdad
Resolución:
( 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
p q ᴧ V ͢ ∆
V  q [Identidad]
V V V V V V F
V F F V F F V
q
F V F V V F V ( p  q ) → ( p  q )  q
F F F F V V F
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
 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
V [Identidad]
PROBLEMAS FOTO

DE ADMISIÓN
Admisión 2020 área A Admisión 2021 área A Admisión 2023 I área A (no medicina)
 Lógica proposicional - leyes proposicionales
CONECTORES LÓGICOS ALGEBRA DE PROPOSICIONES
Negación () [equivalente al adverbio “no” ]
p  ( p)  p
aunque
Idempotencia
Conjunción () [equivalente al enlace “y”] pero De Morgan
ppp
p  q Sin embargo
ppp
(p  q)  p  q
también (p  q)  p  q
Disyunción débil () [equivalente a la “o” inclusiva] Conmutativa
Condicional
o también pqqp p → q  p  q
p  q pqqp p → q  q →  p
o incluso Bicondicional
en todo caso Asociativa p  q  (p → q)  (q → p)
a menos que p  q  (p  q)  (p   q)
Disyunción fuerte () p  (q  r)  (p  q)  r
[equivalente a la “o” exclusiva] Disyunción fuerte
p  (q  r)  (p  q)  r p  q  (p  q)
p  q si p entonces q Distributiva Complemento
Condicional (→) [equivalente a “entonces”] si p, q p  (q  r)  (p  q)  (p  r) p  p  F
p  p  V
p → q q, si p p  (q  r)  (p  q)  (p  r) Identidad de la conjunción
q, ya que p Absorción
p  (p  q)  p pFF
p q ᴧ V → ∆ q, dado que p pVp
Bicondicional () q, porque p p  (p  q)  p Identidad de la disyunción
V V V V V V F p  (p  q)  p  q pVV
V F F V F F V [equivalente a “si y solo si”] p  (p  q)  p  q pFp
F V F V V F V p  q
F F F F V V F
 “NUESTRA MAYOR DEBILIDAD RESIDE EN
RENDIRNOS. LA FORMA MAS SEGURA DE TENER
ÉXITO ES INTENTARLO UNA VEZ MÁS.”
20
23