Respuestas

ESCUELA:
Ingeniería de Sistemas de Información
Grupo 03
Docente:
 LUCY NEFRET RIOS LOPEZ
Integrantes:
1. JHAN CARLOS CCALLOCUNTO GUEVARA
2. CHRISTIAN MARCIAL GARCIA QUISPE
3. IVAN DANTE GUTIERREZ GUERRA
4. JOHNE QUISPE HUAMANÍ
5. ELVIA MELIZA VILLEGAS HUALLPA
Ayacucho 2021
PRACTICA CALIFICADA
1) Sean p, q y r proposiciones tales que p = V, q = F y r = F. Indica cuáles de las siguientes

proposiciones son verdaderas:
a ) ( p ∨ q ) ∨ ( r∧x )
b ) ~ p ∨ (q ∧ t )
c) [ ( p ∧ q ) ∨ ( ~ p ∧ ~ q ) ] ∧ [ ( ~ p ∧ q ) ∨ ( ~ q ∧ p ) ]
d ) (~ p ∨ q ) ∧ ( w ∨ ~ t ) ∧ ( y ∨ z )
2) Resolver aplicando la Tabla de verdad y verificar si es Tautología, contradicción o
contingencia
a ) ( ~ q ↔ p) → ( q → ~ p )
b ) ( q ∨ ~ p) Δ [ ( p ∨ q) → ~ q ]
c ) ~ [ ( ~ q ∨ ~ p ) → ( q ∨ ~ p) ] → ( p Δ ~ q)
d ) [ ( p→q )∧( q→r ) ] → ( p→r )
e ) [ ( p ↔ q )∨r ] ∧ [( p Δ q ) ∧~ r ]
f ) [ ( p → q ) →r ] ↔~ [ ( ~ q →~ p ) ∧~ r ]
3) Formaliza y luego encuentra el valor de verdad, utilizando la tabla de conectores lógicos
a) Si unimos el punto A, B, C de un triángulo, entonces se formará un nuevo punto llamado

D.
b) Si una expresión no es verdadera ni falsa, no es una proposición. Aunque, las

proposiciones son las explicitaciones de los juicios.
p q r (~p) (~q) ((~p)^(~q)) ((((~p)^(~q)))→r) ((((((~p)^(~q)))→r))^r)
F F F V V V F F
F F V V V V V V
F V F V F F V F
F V V V F F V V
V F F F V F V F
V F V F V F V V
V V F F F F V F
V V V F F F V
c) Jorge come helado o se le derrite; no se derrite el helado, por tanto, Jorge se come el
halado.
d) Pedro viaja a España, si María se queda en Francia. Rosa viajará a Japón o Pedro no
partirá a España. O María no se queda en Francia o Rosa no viajará a Japón. Por
consiguiente, María nos queda en Francia.
p q r (p→q) (~p) (rv(~p)) (((p→q))^((rv(~p)))) (~q) (~r) ((~q)v(~r)) ((((p→q))^((rv(~p))))^(((~q)v(~r)))) ((((((p→q))^((rv(~p))))^(((~q)v(~r)))))→(~q))
F F F V V V V V V V V V
F F V V V V V V F V V V
F V F V V V V F V V V F
F V V V V V V F F F F V
V F F F F F F V V V F V
V F V F F V F V F V F V
V V F V F F F F V V F V
V V V V F V V F F F F V
e) Cuando viajo me mareo. Siempre que me mareo, me entra hambre atroz. Así pues,
siempre que me entra hambre atroz, viajo.
p q r (p→q) (q→r) (((p→q))^((q→r))) (r→p) ((((p→q))^((q→r)))^((r→p)))

F F F V V V V V
F F V V V V F F
F V F V F F V F
F V V V V V F F
V F F F V F V F
V F V F V F V F
V V F V F F V F
V V V V V V V V
f) Cuando Rosa no juega vóley, juega básquet; cuando juega básquet, juega al tenis, no
juega tenis. Por lo tanto, Rosa juega vóley.
p q r (~p) ((~p)→q) (~r) (q→(~r)) ((((~p)→q))^((q→(~r)))) ((((((~p)→q))^((q→(~r)))))→p)
F F F V F V V F V
F F V V F F V F V
F V F V V V V V F
F V V V V F F F V
V F F F V V V V V
V F V F V F V V V
V V F F V V V V V
V V V F V F F F V
4) Hallar las siguientes equivalencias.
a) {[ p v q ] v q }
b) [( pɅq ) →(rɅ r) ] Ʌ q
p q r (~p) ((~p)^q) (~r) (r^(~r)) ((((~p)^q))→((r^(~r)))) (~q) ((((((~p)^q))→((r^(~r)))))^(~q))
F F F V F V F V V V
F F V V F F F V V V
F V F V V V F F F F
F V V V V F F F F F
V F F F F V F V V V
V F V F F F F V V V
V V F F F V F V F F
V V V F F F F V F F
c) [ ( p v q) Ʌ q ] → p
5) Demostrar las siguientes equivalencias
a) [ ( p Ʌ q) → q ] v q ≡q
p q (p^q) (~((p^q))) (~q) ((~((p^q)))→(~q)) (~(((~((p^q)))→(~q)))) ((~(((~((p^q)))→(~q))))vq)
F F F V V V F F
F V F V F F V V
V F F V V V F F
V V V F F V F V
b) p ↔q ≡ ( p Ʌ q ) v ( p Ʌ q)
p q (p↔q) p q (p^q) (~p) (~q) ((~p)^(~q)) (((p^q))v(((~p)^(~q))))
F F V F F F V V V V
F V F F V F V F F F
V F F V F F F V F F
V V V V V V F F F V
c) ( p ↔q ) v ( p v q ) ≡ V
p q (p↔q) (pvq) (((p↔q))v((pvq)))

F F V F V
F V F V V
V F F V V
V V V V V
d) [ ( p Ʌ r ) → q ] → ( p → q ) ≡V
p r q (p^r) (((p^r))→q) (~((((p^r))→q))) (p→q) (~((p→q))) ((~((((p^r))→q)))→(~((p→q))))
F F F F V F V F V
F F V F V F V F V
F V F F V F V F V
F V V F V F V F V
V F F F V F F V V
V F V F V F V F V
V V F V F V F V V
V V V V V F V F V
e) {[ p Ʌ ( p →q ) ] → q } ≡V
p q (p→q) (p^((p→q))) (((p^((p→q))))→q)

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

Respuestas

Cargado por

Copyright:

Formatos disponibles

Respuestas

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Respuestas

Cargado por

Copyright:

Formatos disponibles

ESCUELA:

Ingeniería de Sistemas de Información

1) Sean p, q y r proposiciones tales que p = V, q = F y r = F. Indica cuáles de las siguientes

d ) [ ( p→q )∧( q→r ) ] → ( p→r )

a) Si unimos el punto A, B, C de un triángulo, entonces se formará un nuevo punto llamado

b) Si una expresión no es verdadera ni falsa, no es una proposición. Aunque, las

p q r (p→q) (q→r) (((p→q))^((q→r))) (r→p) ((((p→q))^((q→r)))^((r→p)))

4) Hallar las siguientes equivalencias.

5) Demostrar las siguientes equivalencias

p q (p↔q) (pvq) (((p↔q))v((pvq)))

p q (p→q) (p^((p→q))) (((p^((p→q))))→q)

También podría gustarte

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.