EJERCICIOS

1. Dada las proposiciones q:”4 es un número no par” p y r cualesquiera tal que: - [(r V q) → ( r →p) ] es:
A) r → (-p V –q) B) [ r <--> ( p ∧ q) ] <--> (q ∧ -p)
V F F F F V V V V V F V F F
F V F F F
F F V V V V V F F
V V F V V
F V F V V V F V F F V F F F
V V V V F
F V V F F F F F F
F V V V F
V V V V V V F F F V F V V V
F V V V V
F V F F V V V V V

V F F F F V F F V

F V
(r VF –p) ∧F (p VF q) F F F V

RPTA: “FVVVVVVV” RPTA: “FVVFFVVF”

C) (r V –p) ∧ (p V q)
V V F V V V V

F F F F V V V

V V F V V V F

F F F F V V F

V V V V F V V

F V V V F V V

V V V F F F F

F V V F F F F

RPTA: “VFVFVVFF”

-Aguilar Sandoval Ariana Milagros

-Julcamoro Huaman Diego Alberto
-Francia Cortez Diogo Fabrizzio
-Zorrilla Vega Teresa Isabella
-Mejía Cochachín Francesca Rosa
-Palacios Durand Meyli Zalet
2. De la falsedad de la proposición ( p → -q) V (-r → s ) se deduce que el valor de verdad de los
esquemas moleculares.
A. (-p ∧ -q) V (-q) A. (-p ∧ -q) v (-q) p = V
B. [(-r V q)] <--> [(-q V r) ∧ s] -V -V -V q = V
C. (p → q) → [(p V q) ∧ -q] F∧ F F r = F
F v F s =F
( p → -q) v (-r → s ) = F
V -V -F F F
V→ F V→ F B. [(-r v q)] <--> [(-q V r) ∧ s]
F v F V v V F ∧F
F V <--> F
F
C. (p → q) → [(p V q) ∧ -q]
V V ∧ F
V → F
F

p q Pq r s ( r)  s
V V F V V F V V
V F F V F F F F
F V V F V V F V
F F F F F V F F

Rpta: Solo es verdad que Juan no es cachimbo ,pero si es estudioso

-Aguilar Sandoval Ariana Milagros

-Julcamoro Huaman Diego Alberto
-Francia Cortez Diogo Fabrizzio
-Zorrilla Vega Teresa Isabella
-Mejía Cochachín Francesca Rosa
-Palacios Durand Meyli Zalet
-Aguilar Sandoval Ariana Milagros
-Julcamoro Huaman Diego Alberto
-Francia Cortez Diogo Fabrizzio
-Zorrilla Vega Teresa Isabella
-Mejía Cochachín Francesca Rosa
-Palacios Durand Meyli Zalet
 B)
5.- Dada la siguiente tabla
p q P P q
(q ∧ r) # (r∧
*
q
#
q
θ
p q) V F V
V V F F F
F V F
V F V F V
F V F
F V V F V

F V F
F F V V F

A) (p → q) θ ( q #
V Vr) V V V F V RPTA: “FVVV”
V V V V V F F
V F F F F F V
V F F V F V F
F V V V V F V D)
F V V V V F F (~n θ ~q) # (q * n)
F V F V F F V F F F V F

F V F F F V F F V V F V

V V F F V
RPTA: “VVFVVVVF”
V F V F V

C)
(m <--> n) * ( n # q) RPTA: “VFFF”
V V V V V F V

V V V V V F V

V F F V V F F

V F F V V F F

F F V V F F V

F F V V F F V

F V F V F V F

F V F F F V F

RPTA: “VVVVVVVF”

-Aguilar Sandoval Ariana Milagros

-Julcamoro Huaman Diego Alberto
-Francia Cortez Diogo Fabrizzio
-Zorrilla Vega Teresa Isabella
-Mejía Cochachín Francesca Rosa
-Palacios Durand Meyli Zalet
6.- La proposición p Δ q (disyuntiva exclusiva) a cuáles de los siguientes circuitos es equivalente.
p Δ q = (p ∧ -q) V (q ∧ -p)

7.- Que representa el circuito, equivalente a:

[p ∧ q] ∧ [~p ∧ ~q] V [(p ∧ q) ∧ (~p ∧ ~q)]

1 Lo agrupamos en Q y P
4 Q∨
P
[F ∨ (P ∨ ∽q) ∨ x ] ≡ T
reemplazando
T
X=q
(P ∨ ∽q) ∨ x = T
P ∨ ∽q ∨ q = T
2
P ∨ T
Q = [ ( ̴p ˄ ̴q) ˅ (p ˄ q) ] ˄ [ p ˅ (q ˄ ( ̴p ˅ x)) ] ˄ ̴q 3 P = [ (p ˄ q) ˅ p ˅ ̴q ] ˅ [[ r ˅ ( ̴p ˄ ̴r) ] ˄ x ]
[ p ˅ (q ˄ p̴ ) ˅ q ˄ x ) T=T
[( r ∨ ∽p) ∧ (r ∨ ∽r) ] ∧ x ]
]
P ˅ q ˅ (q ˄ x) [( r ∨ ∽p) ∧ T ] ∧ x
( p̴ ˄ q̴ ) ˅ (p ˄ q) ˄ ( P ˅ q ) ˄ q ̴ (p ∨ ̴q) ∨ [( r ∨ ∽p) ∧ x ]
[( p
̴ ˅ q) ˅ (p ˄ q) ] ˄ [( P ˅ q ) ˄ ̴q [(p ∨ ̴q ∨ r ∽p ] ∧ [( p ∨ ∽q) ∨ x ]
] (p ˅ q) ˄ p ˄ q ˄ q ̴ [p ∨ ̴q ∨ ∽q ∨ r ]
T ∧ [( p ∨ ∽q) ∨ x ]
P ˄ F T ∨ ∽q ∨ r
T P = ( p ∨ ∽q) ∨ x
Q=F

-Aguilar Sandoval Ariana Milagros

-Julcamoro Huaman Diego Alberto
-Francia Cortez Diogo Fabrizzio
-Zorrilla Vega Teresa Isabella
-Mejía Cochachín Francesca Rosa
-Palacios Durand Meyli Zalet
 q
a.- ∽[p → ∽(q ∨ r )] p
∽[∽p ∨ ∽(q ∨ r )] r

P ∧ (q ∨ r) Ley de la condicional
b.- (p ∨ q) → [ (∽p ∨ q ) → (p ∧ q
)] Ley de la condicional
[∽(∽p ∨ q ) ∨ (p ∧ q) ]
(p ∧ ∽ q) ∨ (p ∧ q)
Distributiva
[(q ∨ ∽ q) ∧ p ]
c.- (p ∆ q) → (q ∆ 𝐩 ) T ∧ p ley de la identidad
∽ [ (p ∨ q) ∧ ∽(p ∧ q) ] ∨ [(q ∨ p) ∧ ∽(q ∧ p)]
Ley de la absorción (p ∨ q) → p Ley de la condicional
[∽ (p ∨ q) ∨ (p ∧ q) ] ∨ [(p ∨ q) ∧ ∽(p ∧ q)] ∽(p ∨ q) ∨ p Ley de la absorción q
Ley de la absorción (∽p ∧∽q) ∨ p = (p ∨
r
(∽ p ∧ ∽ q) ∨∽p ∨ ∽q ∨ (p ∧ q) d.- {[(r ∨ q) ∧∽q)
p ] ∨∽r} ∧ q
q [ (p ∧ r) ∨ ( p ∧ q) ∨∽r ] ∧ q
∽ q ∨ ∽p ∨ (p ∧ r
p (∽r ∨ p ∨ ( p ∧ q ) ∧ q q
∽q)q ∨ ∽p ∨ q
p (∽r ∨ p) ∧ q p

∽ (p ∨ q) ∨ ∽(p ∧ q) ∨ (p ∧ q)

Ley de absorción

(P ∧ q) ∨ p ≡
p
idempotencia

p ∧ p≡ p

(P ∧ q) ∨ { p ∧ [ (p ∧ q) ∨ {p ∧ [(p ∧ q) ∨ Y] } ] } = p
(p ∧ q ) ∨ Y =
P
p
P P

-Aguilar Sandoval Ariana Milagros

-Julcamoro Huaman Diego Alberto
-Francia Cortez Diogo Fabrizzio
-Zorrilla Vega Teresa Isabella
-Mejía Cochachín Francesca Rosa
-Palacios Durand Meyli Zalet
-Aguilar Sandoval Ariana Milagros
-Julcamoro Huaman Diego Alberto
-Francia Cortez Diogo Fabrizzio
-Zorrilla Vega Teresa Isabella
-Mejía Cochachín Francesca Rosa
-Palacios Durand Meyli Zalet
• 14. ¿A cuál (o cuales) de los siguientes circuitos 15. ¿A cuál, o cuales de los circuitos siguientes equivale: {[(r
le corresponde la proposición: V q) ] V - r]} ?

• -[p→ - (q V r)

{[(r V q) ʌ p] V –r } ʌ q
[(r V q) V –r] ʌ (p V –r)
vVq
v ʌ
(p v –r) ʌ q
1. El circuito:
-[p→ - (q V r)

- [-p V -(q V r)]

p ∧ (q V r)

¿A cuál de las siguientes proposiciones le corresponde?

A. P∧q
B. – (p→q)
C. PVq
D. P→(- q)

-Aguilar Sandoval Ariana Milagros

-Julcamoro Huaman Diego Alberto
-Francia Cortez Diogo Fabrizzio
-Zorrilla Vega Teresa Isabella
-Mejía Cochachín Francesca Rosa
-Palacios Durand Meyli Zalet