UNIVERSIDAD NACIONAL JOSÉ F.

SÁNCHEZ CARRIÓN Escuela Profesional de Economía y Finanzas

UNIVERSIDAD NACIONAL JOSÉ FAUSTINO SÁNCHEZ CARRIÓN

Facultad de Ciencia Económicas, Contables y Financieras Escuela
Profesional de Economía y Finanzas

TEMA:
LOGICA PROPOSICIONAL

INTEGRANTES:
Nima Silio Harold Hans Alexander
Piñella Arévalo Juan Pablo
Peña Requena Esteban
Camillo Santos Omar Enrique

Ciclo: I
Huacho - 2023

Mo. Castañeda Samanamú Miguel Angel LÓGICO MATEMÁTICO

UNIVERSIDAD NACIONAL JOSÉ F. SÁNCHEZ CARRIÓN Escuela Profesional de Economía y Finanzas

EJERCICIOS PARA LA CASA

1. Si p:"Carlos vendrá", q:"Carlos ha recibido la carta" y r:"Carlos interesado todavía en el
asunto". Simbolizar los siguientes enunciados:
a) "Carlos vendrá, si ha recibido la carta, siempre que esté interesado todavía en el
asunto".

b) " O Carlos vendrá porque ha recibido la carta o no está interesado todavía en el

asunto"

c) " Carlos vendrá si y sólo si ha recibido la carta o vendrá porque está interesado
todavía en el asunto".

2. ~ [(~p ∨ q) ∨ (r  q)] ∧ [(~p ∨ q)  (q ∧ ~p)], es verdadera. Hallar los valores de verdad

de p, q y r.

V(p): V
V(q): F
V(r): V

Mo. Castañeda Samanamú Miguel Angel LÓGICO MATEMÁTICO

UNIVERSIDAD NACIONAL JOSÉ F. SÁNCHEZ CARRIÓN Escuela Profesional de Economía y Finanzas

3. De la falsedad de (p  ~q) ∨ (~r  ~s), se deduce que el valor de verdad de los

esquemas: A = ~ (~q ∨ ~s)  ~p B = ~ (~r ∧ s)  (~p  ~q)
C = p  ~ [q  ~ (s r)], son respectivamente:

a) FFV b) FFF c) FVF d) FVV

4. Se sabe que p ∧ q y q  t son falsas. De los esquemas moleculares siguientes, cuales

son verdaderos: A = (~p ∨ t) ∨ ~q B = ~ [p ∧ (~q ∨ ~p)]
C = [(p  q) ∧ ~ (q ∧ t)]  [~p ∨ (q ∧ ~t)]

RPTA: Los esquemas moleculares A, B son verdaderas.

Mo. Castañeda Samanamú Miguel Angel LÓGICO MATEMÁTICO

 UNIVERSIDAD NACIONAL JOSÉ F. SÁNCHEZ CARRIÓN Escuela Profesional de Economía y Finanzas

5. La proposición (p ∧ q)  (q  r) es falsa, y se tienen los esquemas moleculares:

A = ~ (q ∨ r) ∨ (p ∨ q) B = (p ∨ ~q)  (~r ∧ q)
C = [(p ∧ q) ∨ (q ∧ ~r)]  (p ∨ ~r). Cuáles son falsos.

RESPUESTA: Ninguno de los esquemas moleculares es falso

6. Si la proposición A = (p  ~q)  (r  ~s) es falsa, hallar el valor de verdad de las

proposiciones q, p, r, s (en este orden).

V(q)= F ; V(p)= V ; V(r)= V ; V(s)= V

Mo. Castañeda Samanamú Miguel Angel LÓGICO MATEMÁTICO

UNIVERSIDAD NACIONAL JOSÉ F. SÁNCHEZ CARRIÓN Escuela Profesional de Economía y Finanzas

7. Dadas las proposiciones: A = (p  q)  r ; V(r) = V

B = (p ∨ q)  (~p ∧ ~q) ; V(q) = V .
C = (p ∧ q)  (p ∧ r) ; V(p) = V y V(r) = F.
D = p ∧ (q  r) ; V(r) = V.
En qué casos la información que se da es suficiente para determinar el valor de verdad
de cada proposición.

Mo. Castañeda Samanamú Miguel Angel LÓGICO MATEMÁTICO

 UNIVERSIDAD NACIONAL JOSÉ F. SÁNCHEZ CARRIÓN Escuela Profesional de Economía y Finanzas

8. (p v q)  (r ∧ s) es una proposición verdadera, teniendo r y s valores de verdad

opuestos. De las afirmaciones siguientes cuáles son verdaderas:
A = [(~p ∧ ~q ) ∨ ( r ∧ s)] ∧ p, es verdadera
B = [~ (p v q) ∧ (r v s)] v (~p ∧ q), es falsa
C = [(~r ∧ ~s )  (p v r)] ∧ ~ (r ∧ s), es verdadera.

RESPUESTA: SOLO LA AFIRMACION C ES VERDADERA.

Mo. Castañeda Samanamú Miguel Angel LÓGICO MATEMÁTICO

 UNIVERSIDAD NACIONAL JOSÉ F. SÁNCHEZ CARRIÓN Escuela Profesional de Economía y Finanzas

9. Si la proposición (~p ∧ q)  (~s v r) es falsa, de las proposiciones siguientes, ¿cuáles

son verdaderas?: A = ~ [(p  q)  r]

B = ~ (~p ∧ q) ∧ (~r v r) ∧ s; C = [( p v ~q) ∧ p) v (~q).

RESPUESTA: Solo la proposición A es verdadera.

Mo. Castañeda Samanamú Miguel Angel LÓGICO MATEMÁTICO

UNIVERSIDAD NACIONAL JOSÉ F. SÁNCHEZ CARRIÓN Escuela Profesional de Economía y Finanzas

10. Si las proposiciones A = (p  s)  ~s y B = [(p v s)  ~p]  s, son verdaderas, hallar

los valores de verdad de p, s y p  s, en ese orden.

V(p) =F
V(s) =V
V(p s)=V

Mo. Castañeda Samanamú Miguel Angel LÓGICO MATEMÁTICO

UNIVERSIDAD NACIONAL JOSÉ F. SÁNCHEZ CARRIÓN Escuela Profesional de Economía y Finanzas

11. Dada la siguiente información: V(r  q) = V; V(n ∧ r) = F; V(m v n) = V y V(p v m) = F.

Determinar el valor de verdad del esquema molecular:
A = [(m v ~n)  (p ∧ ~r)]  (m ∧ q).

V( r )= F
V(n)= V
V(m)= F
V(p)= F

Mo. Castañeda Samanamú Miguel Angel LÓGICO MATEMÁTICO

UNIVERSIDAD NACIONAL JOSÉ F. SÁNCHEZ CARRIÓN Escuela Profesional de Economía y Finanzas

12. Si A = (p  r) ∧ ~ (~p v ~q). es verdadera, hallar el valor de verdad de la proposición

B = (p  q)  (p  r)

V(p)=V
V( r)=V
V(q)=V

Mo. Castañeda Samanamú Miguel Angel LÓGICO MATEMÁTICO

 UNIVERSIDAD NACIONAL JOSÉ F. SÁNCHEZ CARRIÓN Escuela Profesional de Economía y Finanzas

PRACTICANDO EN CASA

1 2

3 4

Mo. Castañeda Samanamú Miguel Angel LÓGICO MATEMÁTICO

UNIVERSIDAD NACIONAL JOSÉ F. SÁNCHEZ CARRIÓN Escuela Profesional de Economía y Finanzas

RPTA:1 CONTINGENCIA
2 CONTINGENCIA
3 TAUTOLOGIA
4 TAUTOLOGIA
5 TAUTOLOGIA

Mo. Castañeda Samanamú Miguel Angel LÓGICO MATEMÁTICO

UNIVERSIDAD NACIONAL JOSÉ F. SÁNCHEZ CARRIÓN Escuela Profesional de Economía y Finanzas

.
…
…
…
…
…
.

Mo. Castañeda Samanamú Miguel Angel LÓGICO MATEMÁTICO

 UNIVERSIDAD NACIONAL JOSÉ F. SÁNCHEZ CARRIÓN Escuela Profesional de Economía y Finanzas

La conjunción A y C no implica a B. La disyunción de A y B no implica a

C.

Mo. Castañeda Samanamú Miguel Angel LÓGICO MATEMÁTICO