UNIVERSIDAD NACIONAL DE CAJAMARCA

CENTRO DE ESTUDIOS PREUNIVERSITARIOS CEPUNC

Lógica Proposicional IMPORTANTE:

❖ Cuando los valores del operador principal son

La lógica proposicional es una rama de la lógica
todos verdaderos se dice que el esquema
clásica que estudia las variables proposicionales o molecular es tautológico.
sentencias lógicas, su organización y métodos.
❖ Se dirá que el esquema molecular es
Enunciado: Es toda frase u oración que señala contradictorio si los valores del operador
principal son todos falsos.
alguna idea.
❖ Si los valores del operador principal tienen por
Proposición: Es aquel enunciado aseverativo lo menos una verdad y una falsedad se dice
(afirma algo) del cual se puede señalar si es que es contingente o consistente.
verdadero o falso.

PROPOSICIÓN SIMPLE Y COMPUESTA: Una Equivalencias lógicas notables

proposición es simple si no tiene conectivos, en
a) p  p  p
caso contrario es compuesta. 1.- Ley de idempotencia
b) p  p  p
ESQUEMA MOLECULAR: La representación
simbólica de una proposición compuesta se llama
esquema molecular. 2.- Ley conmutativa a) p  q  q  p
b) p  q  q  p
Conectivos Lógicos y sus Tablas de Verdad c) p  q  q  p

Negación ( ) Disyunción débil () 3.- Ley asociativa

a) p  ( q  r )  ( p  q )  r
b) p  ( q  r )  ( p  q )  r
c) p  ( q  r )  ( p  q )  r
Disyunción fuerte
o exclusiva ( ) Conjunción ()
4.- Ley distributiva

a) p  ( q  r )  ( p  q )  ( p  r )
b) p  ( q  r )  ( p  q )  ( p  r )
c) p → ( q  r )  ( p → q )  ( p → r )
d) p → ( q  r )  ( p → q )  ( p → r )

5.- Leyes de Morgan

Condicional ( →) Bicondicional () a) ( p  q)  p q
b) ( p  q)  p q

6.- Ley de involución (doble negación)

a) ( p)  p

Aritmética – Ciclo 2024 - I Docente: Segundo I. Vásquez Segura

 UNIVERSIDAD NACIONAL DE CAJAMARCA
CENTRO DE ESTUDIOS PREUNIVERSITARIOS CEPUNC

7.- Ley de Absorción 3. Una proposición diferente a “las rosas no son

flores hermosas” es:
a) p  ( p  q )  p
A) No es cierto que las rosas sean hermosas
b) p  ( p  q )  p
flores
c) p  ( p  q)  p  q
B) Es imposible que las rosas sean unas
d) p  ( p  q)  p  q hermosas flores
C) Es falso que las rosas sean flores hermosas.
8.- Leyes condicional y bicondicional D) Las rosas son flores feas
a) p → q  p  q E) Las rosas son flores no hermosas.

b) p  q  ( p → q )  ( q → p ) 4. La negación de “los jueces son justos y

c) p  q  ( p  q )  ( p q) honestos” es:

d) p  q  ( pq ) A) Los jueces no son justos ni honestos.

B) Los jueces no son justos y no son honestos.
9.- Leyes del complemento C) Los jueces no son justos o no son honestos.
a) p  p V D) Los jueces no son justos pero son honestos.
E) A y B
b) p  pF
5. Para que el esquema p → ( q  r  p ) sea
10.- Disyunción fuerte
siempre verdadera:
a) pq  ( p  q )  ( p  q) I. p debe ser falsa.
II. p debe ser verdadera.
Ejercicios de Aplicación III. p puede tener cualquier valor.
1. ¿Cuál de los siguientes enunciados no es
proposición? A) Solo I B) Solo II C) Solo III

A) Todo hombre es mortal D) I y II E) II y III

B) Los números enteros son reales. 6. Pedro: “la mentira es un antivalor, en
C) Los números primos mayores que 1. consecuencia es negativa”.
D) Las gallinas son aves silvestres. José: “o bien la mentira es un antivalor o bien
E) El matrimonio civil es un contrato entre dos es negativa”
personas de sexos opuestos. Mario: “la mentira no es antivalor pero es
negativa”.
2. Una de las proposiciones no es compuesta. Rosario: “la mentira es un antivalor pero no es
Indique cuál. negativa”.
Si lo que dice Pedro no es cierto, entonces, lo
A) Eduardo no trabaja que dicen los demás son respectivamente:
B) José es profesor, Marisol también.
C) Carlos y Amelia son enamorados A) VVF B) VVV C) FFF
D) Cuando llueve las calles se mojan
E) Elio y Emilia son obreros. D) FVV E) VFV

Aritmética – Ciclo 2024 - I Docente: Segundo I. Vásquez Segura

 UNIVERSIDAD NACIONAL DE CAJAMARCA
CENTRO DE ESTUDIOS PREUNIVERSITARIOS CEPUNC

7. Si el valor de verdad de la proposición 11. Sean las proposiciones:

( p q )  t  → ( p → q ) es falsa, hallar p: Ingresé al teatro
q: Ingresé a la televisión
el valor de p ; q ; y t respectivamente. r: Soy un buen actor
Hallar la expresión simbólica del enunciado:
A) VFF B) VVF C) VFV Hoy ingresé a la televisión así como al teatro
porque soy un buen actor.
D) FVV E) FFF
A) r  p → q B) p  q → r
8. Si el valor de verdad de la proposición
 p → ( p  q ) es falsa, hallar el valor de C) r  q → p D) pqr

verdad de las siguientes proposiciones: E) r → p  q

I.  p  ( q → p )
12. Simplificar: p  ( p r )  q 
II. ( p → q )  ( p  q )
A) p  q B) p  q C) p  q
III. ( p  q ) → ( p  q )
D) p  q E) p  r q
A) VFF B) FVV C) VFV
13. Simplificar la proposición:
D) VVF E) FFF ( p  q ) → ( p  q )  ( p q )
9. Si P( x) : x = 36, Q( x) : x − 3 = 5
2
y
A) p→ q B) p → q C) p  q
R( x) : x − 2  7 , halle el valor de verdad de
D) p  q E) p → q
las siguientes proposiciones:
14. Empleando las leyes lógicas; determine el

I. ( P (2)  P (1))  ( R (8)  Q(1)) equivalente de la fórmula lógica:
II.  (Q (2)  P (6) → ( P (2)  Q(5))   ( p  q) → q   q .
III.  R (9)  Q (2)   P (6)
A) q B) q C) V
A) VFV B) VVF C) FFF
D) F E) p
D) VVV E) VFF
15. Si s y t son proposiciones; falso y verdadero
10. En la proposición compuesta respectivamente, señale cuantos de las
( p → q) q  → p . El resultado de la siguientes proposiciones son verdaderas.

I. p  ( s → t )
matriz principal es:
III. p  (t → s )

A) contradictoria B) contingencia II. ( p  s ) → t IV. s → ( p  t)

C) tautología D) falta datos A) I y II B) II y III C) solo II

E) no se puede predecir D) I y III E) I, II, IV

Aritmética – Ciclo 2024 - I Docente: Segundo I. Vásquez Segura

 UNIVERSIDAD NACIONAL DE CAJAMARCA
CENTRO DE ESTUDIOS PREUNIVERSITARIOS CEPUNC

16. Si: p * q = p  q , determinar el equivalente 20. Simplifica. q  ( p  q )  ( p → q )  r 

de la proposición.

A) q B)
p C)
q
( p* q) → {( p* q)  { p * p}}

A) q  q B) pq C) q D) p → q E) q → q

21. Para una proposición cualquiera “ p ” se

D) p  p E) p
define:
17. Si * es un operador lógico definido mediante la
tabla. 1si p es verdadero
F ( p) = 
0 si pes falso

m : (q → r )  s
Si: F ( m ) + F ( n ) = 1 donde
n : q → (r  s)

Encuentre:
F (q) + F (q  r ) + F (s) + F (r  s)
Simplificar la proposición: ( p * q) * (q * p)
A) 0 B) 1 C) 2
A) p  q B) q  q C) p  q
D) 3 E) 4
D) p  q E) q
22. Pedro le dice a María “O soy feliz o bailo, pero
18. Se define p  q = ( p  q )  p . Indique el cuando bailo soy feliz”. María sabe que le esta
mintiendo, porque ella sabe que Pedro:
valor de las siguientes reposiciones
equivalentes.
A) baila ya que es feliz B) baila

I.  p q  q  p  q C) baila y es feliz D) no baila y no es feliz

II. p q  ( p  q)
E) baila o no es feliz
III. p q pq
23. Si: p: José viaja a Cajamarca; q: José está de
A) VFF B) VVF C) FVF vacaciones.
Señale el esquema molecular de la
D) FFV E) VFV contrarecíproca de la siguiente proposición:
“Para que José viaje a Trujillo es suficiente que
{( q  p)  [ p  (q p)]}  esté de vacaciones”.
19. simplifique .
{( p → q)  [( p  q) → ( pq)]}
A) p → q B) q → p

A) q  q B) p q C) p  q C) p→ q D) q→ p
D) p  p E) p  q E) p→q

Aritmética – Ciclo 2024 - I Docente: Segundo I. Vásquez Segura