UNIVERSIDAD NACIONAL JOSÉ FAUSTINO SÁNCHEZ CARRIÓN

Facultad de Ciencia Económicas, Contables y Financieras

Escuela Profesional de Economía y Finanzas

ASIGNATURA:
LOGICO MATEMATICO

TEMA:
LOGICA PROPOSICIONAL

DOCENTE:
CASTAÑEDA SAMANAMU, Miguel Angel

INTEGRANTES:
AVILA ROJAS, Massiel Giordana
BARRENECHEA NAPURI, Sergio Gabriel
CAMPOS CAMPOS, Leidi Rosmery
CHAVE ROMERO, Sergio Pablo
CORMAN FRETEL, Camila Grace
FERNANDEZ FLORES, Angel Martin
Ciclo: I
Huacho - 2021
 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".
r ⇒ ( p  q)
b) " O Carlos vendrá porque ha recibido la carta o no está interesado todavía en el asunto"

p ⇒ [ q  (∼ r) ]

c) " Carlos vendrá si y sólo si ha recibido la carta o vendrá porque está interesado todavía en
el asunto".
p  ( q  r)
 V(p): V
∼ [(F v F) v (V ⇒  F)]  [( F  F) ⇒  (F  F)] V(q): F
∼[F v F]  [ F ⇒  F ] V(r): V

V  V

V(p): V

V(q): V
(V ⇒ F)  (V ⇒ F)
V(r): F
F  F
V(S): V
F
 ∼ (F  F) ⇒ F ∼(V V)  (F ⇒ F)

V ⇒ F F  V

F F

V ⇒ ∼ [V ⇒ ∼(V ⇒ F) ]
V ⇒ ∼ (V ⇒ V)

V ⇒ F

V(p): F

F  V V ⇒ F (V  F)  F V(q):V

F F V  F V(t):F

∼[F  (F  V)] [ (F ⇒ V )  ∼ ( V  F ) ]  [ V  ( V  V)]

∼ ( F  V) ( V  V )  ( V  V )

V V  V

RPTA: Los esquemas moleculares A, B y C son verdaderos.

 V(p): V

V(q): V
(VV) ⇒ ( V⇒ F)
V(r): F
V ⇒ F

∼(VF)  (V  V)
(V F) ⇒ (V  V )
F  V
V ⇒ V
V
V

[ (V  V)  ( V  V ) ]  ( V  V )

[ V  V ]  V

V  V

RESPUESTA: Ninguno de los esquemas moleculares es falso.

 (F ⇒ V ) ⇒ ( V ⇒ F)

V ⇒ F

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

7. Dadas las proposiciones:

A = (p q) r ; V(r) = V

V/F V

V SEA EL VALOR DE VERDAD DE p

VERDADERO O FALSO, NO
AFECTARIA AL VALOR DE VERDAD
DE LA PROPOSICION A Y B
B = (p ∨ q) (~p ∧ ~q) ; V(q) = V .

(F/V ∨ V) (~F/V ∧ F)

V F
F

C = (p ∧ q) (p ∧ r) ; V(p) = V y V(r) = F EN LAS PROPOSICIONES C Y D NO

SE DA LA INFORMACION
SUFICIENTE PARA DETERMINAR EL
D = p ∧ (q r) ; V(r) = V. VALOR DE VERDAD DE DICHAS
PROPOSICIONES.

RESPUESTA: En las proposiciones A y B se da suficiente información para

determinar el valor de verdad de estas.
 V(p):F

V(q):F

V(r): V

V(s): F

(F  F)  (V  F)

F  F

[(V  V)  (V  F)]  F [∼ (F  F)  (V  F)]  (V  F)

[V  F]  F [ V  V ]  F

V  F V  F

F V

[ ( F  V ) ⇒ (F  V) ]  ∼ (V  F)

[F ⇒ V ]  V

V  V

V
RESPUESTA: SOLO LA AFIRMACION C ES VERDADERA.
 V(p): F

V(q):V

V(s): V

V( r ): F
( V  V) ⇒ (F  F)

V ⇒ F
F

~(V  V)  ( V  F)  V

(F  V) V

F  V

[ ( F  F)  F]  F

(F  F )  F

F  F

RESPUESTA: Solo la proposición A es verdadera.

 ∼ [ (F ⇒ V) ⇒ F]

∼ (V ⇒ F)
∼( F)
V

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.

A = (p s) ~s B = [(p v s) ~p] s

(F  V)  F [(F V)˄V]V

F  F (V V)  V

V V  V

V
V(p) =F ;V(s) =V ; V(p s)=V
 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 q) = V V(n ∧ r) = F V(m v n) = V V(p v m) = F

(V ∧ F) = F (F v F) = F V( r )= F
(F V) = V (F v V) = F
V(n)= V
(F F) = V
V(m)= F
A = [(m v ~n) (p ∧ ~r)] (m ∧ q). V(p)= F
[(F v F) (F ∧ V)] (V ∧ F/V).

(F F )  F.

V  F

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

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

A = (p r) ∧ ~ (~p v ~q).

B = (p q) (p r)
(V V) ∧ ~ ( F) (V V) (V V)
V ∧ V V  V
V V

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

III. Dados los esquemas lógicos A=p∆∼q, B=p→∼r, C=∼(q˄∼r)

A) Si la conjunción A Y C implica a B

P ∆V ∼ qF ˄V∼ (q
V ˄F ∼ r)
F →F V →∼
p F rF
V
V V F F V V V V V V V
V F V F F F F V V F F
V F V F F F V V V V V
F F F F V F F V F V F
F F F F V V V V F V V
F V V V F F F V F V F
F V V V F F V V F V V

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

B) Si la disyunción de A y B implica a C

P ∆V ∼ qF V
V pV →F ∼ rF →V∼( Vq ˄F∼ r)
F
V
V V F V V V V F V V V
V F V F V F F V F F F
V F V V V V V V F F V
F F F V F V F V V F F
F F F V F V V F V V V
F V V V F V F V F F F
F V V V F V V V F F V

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