U.N.

FEDERICO VILLARREAL

computación e informática

LÓGICA.
INTEGRANTES
• MAQUERA PARI WILSON
ANIBAL
• OSCCO TUCTA PAUL
LENNON.
• SANDRO DAVID VARGAS
ROQUE.
• COBEÑA LAIME JESUS
• CRISTHIAN RICARDO
QUISPE MEJIA
• CUEVA LLACSAHUANGA
JHONATAN
 ENUNCIADO 1:
1. Cientos de vidas podrían salvarse cada año si la gente utilizara el cinturón de seguridad.
p = cientos de vidas pueden salvarse cada año;
q= La gente utiliza el cinturón de seguridad.
(q → p)

p q (p → q)
v v v v v
v f v f f
f v f V v
f f f v f
1

ENUNCIADO 2
2. Democracia significa un modo de vida en el que la libertad y la justicia están presentes.
p = Democracia significa un modo de vida en el que la libertad está presente
q = Democracia significa un modo de vida en el que la justicia está presente
Fórmula: (p ∧ q)

p q (p ∧ q)
v v v v v
v f v f f
f v f f v
f f f f f
1

ENUNCIADO 3:
3. No es el caso que, si la luna está hecha de queso verde, entonces los vehículos
espaciales no pueden alunizar en ella.
p= La luna está hecha de queso verde;
q= Los vehículos espaciales pueden alunizar en la luna
Fórmula: ¬(p → ¬q)

p q ¬ (p → ¬q)
v v f v v v
v f v v f f
f v f f v v
f f f f v f
1

ENUNCIADO 4:
4. Si la Reina Roja está furiosa, entonces o el Conejo Blanco está desconcertado o Alicia no
será coronada reina.
P= la Reina Roja está furiosa
q= el Conejo Blanco está desconcertado
r= Alicia será coronada reina
P→( q ∨¬ r)

p q r p → (q v ¬ r)

v v v v v v v f v
v v f v v v v v f
V f v V f f f f v
v f f v v f v v f

f v v f v v v f v
f v f f v v v v f
f f v f v f f f v
f f f f v f v v f
3 2 1

ENUNCIADO 5:
5: si Si los verdaderos amigos tienen todo en común, entonces no puedes ser más rico
que tu compañero si dice que son verdaderos amigos.
p: Los verdaderos amigos tienen todo en común.
q: Puedes ser más rico que tu compañero.
r: Dices que tú y tu compañero sois verdaderos amigos.
"Si p, entonces no q si r"
Lenguaje formal:(p → ¬q) → r

p q r p→ (q → r)

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

La columna "p → (q → r)" muestra el resultado de la implicación lógica entre p, q y r.

ENUNCIADO 6:
6: "Juan irá a la fiesta sólo si María va"
p: Juan va a la fiesta.
q: María va a la fiesta.
“p si y solo si q”
Lenguaje formal :p↔️q

p q p ↔️ q
V V V
V F F
F V F
F F V
La columna "p si y solo si q" muestra el resultado de la expresión "p si y solo si q" para
todas las combinaciones posibles de los valores de py q.

ENUNCIADO 7:
7: "Juan entrará en la universidad sólo si obtiene buena puntuación en los exámenes"
p: Juan entra en la universidad
q: Juan obtiene buena puntuación en los exámenes

“p si y solo si q”

Lenguaje formal :p↔️q

p q p ↔️ q
V V V
V F F
F V F
F F V

La columna "p si y solo si q" muestra el resultado de la expresión "p si y solo si q" para
todas las combinaciones posibles de los valores de py q.
ENUNCIADO 8:

Si superas el último curso entonces obtendrás la licenciatura

q→p
p q p→q
V V V
V F F
F V V
F F V

ENUNCIADO 9:

qVp
p q pVq
V V V
V F V
F V V
F F F

ENUNCIADO 10:

~p → q
p q ~p → q
V V F V
V F F F
F V V V
F F V V
1 2
ENUNCIADO 11:

- p: Nos veremos en el parque.

- q: Llueve.

El enunciado: "Nos veremos en el parque, supuesto que no llueva."

p ∧ ¬q

p q ¬q p ∧ ¬q
V V F F
V F V V
F V F F
F F V F

- p ∧ ¬q: "Nos veremos en el parque, supuesto que no llueva" es verdadera

cuando p es verdadero y q es falso

ENUNCIADO 12:

- p: Los sabios buscan la sabiduría.

- q: Los ignorantes buscan la sabiduría.

- r: Aquellos que reconocen la propia ignorancia y desean remediarla buscan la

sabiduría.

El enunciado: "Si los que ya son sabios no buscan la sabiduría y los ignorantes
impenitentes tampoco, entonces los que la busquen no serán los sabios ni los
ignorantes, sino aquellos que reconocen su propia ignorancia y desean remediarla."

(¬p ∧ ¬q) ∧ ¬r

p q r ¬p ¬q ¬r (¬p ∧ ¬q) ∧ ¬r
V V V F F F F
V V F F F V F
V F V F V F F
V F F F V V V
F V V V F F F
F V F V F V V
F F V V V F F
F F F V V V V

- (¬p ∧ ¬q) ∧ ¬r: Es verdadera cuando la expresión lógica (¬p ∧ ¬q) ∧ ¬r es

verdadera, lo que significa que, si los sabios no buscan la sabiduría y los
 ignorantes tampoco, entonces aquellos que la busquen serán aquellos que
reconocen su propia ignorancia y desean remediarla.

ENUNCIADO 13:

- p: Un conjunto C es un subconjunto propio de un conjunto D.

- q: Hay algún elemento de C que no es de D.

- r: Hay un elemento de D que no es de C.

El enunciado: "Un conjunto C es un subconjunto propio de un conjunto D si y sólo si no

hay ningún elemento de C que no sea de D, pero hay un elemento de D que no es de
C."

(p ∧ q) ↔ (r ∧ s)

p q r s (p ∧ q) (r ∧ s) (p ∧ q) ↔ (r ∧ s)
V V V V V F F
V V V F V F F
V v F V V V V
V V F F V V V
F V V V F F V
F V V F F F V
F V F V F F V
F V F F F F V
V F V V F V F
V F V F F V F
V F F V F V F
V F F F F V F
F F V V F F V
F F V F F F V
F F F V F F V
F F F F f F V

- (p ∧ q) ↔ (r ∧ s): Obtenemos que la expresión lógica es verdadera en todos los

casos. Esto significa que la declaración original es verdadera.
ENUNCIADO 14:

- p: La suma de sucesiones positivas es una sucesión positiva

- q: El producto de sucesiones positivas es una sucesión positiva

- r: La suma de dos números reales positivos es un número real positivo

- s: El producto de dos números reales positivos es un número real positivo

Decir que la suma de sucesiones positivas es una sucesión positiva y el producto de

sucesiones positivas es una sucesión positiva equivale a decir que la suma y el
producto de dos números reales positivos es un número real positivo.

(p ∧ q) ↔ (r ∧ s)

p q r s (p ∧ q) (r ∧ s) (p ∧ q) ↔ (r ∧ s)
V V V V V V V
V V V F V F F
V V F V V F F
V V F F V F F
V F V V F V F
V F V F F F V
V F F V F F V
V F F F F F V
F V V V F V F
F V V F F F V
F V F V F F V
F V F F F F V
F F V V F V F
F F V F F F V
F F F V F F V
F F F F F F V
ENUNCIADO 15:

- p: El hidróxido de aluminio es maleable

- q: Se nos dan una cantidad de hidróxido de aluminio y otra de cobre, con el

mismo peso.

- r: El hidróxido de aluminio es mejor conductor de la electricidad que el cobre.

El hidróxido de aluminio es maleable y, a igualdad de peso, mejor conductor de la

electricidad que el cobre.

(p ∧ q) → r

p q r (p ∧ q) (p ∧ q) → r
V V V V V
V V F V F
V F V F V
V F F F V
F V V F V
F V F F V
F F V F V
F F F F V

ENUNCIADO 16:

- p: El hombre es moral
- q: El hombre está determinado unívocamente por el ambiente
- r: Cabe exigir al hombre cuenta de sus elecciones.

Si el hombre es moral, no está determinado unívocamente por el ambiente y cabe

exigirle cuenta de sus elecciones.

(p → ¬q) → r

p q
V V
V V
V F
V F
F V
F V
F F
F F
r ¬q (p → ¬q) (p → ¬q) → r
V F F V
F F F V
V V V V
F V V F
V F V V
F F V V
V V V V
F V V V
ENUNCIADO 17:

- p: El Rh de la futura madre es negativo.

- q: La sangre del recién nacido debe analizarse inmediatamente después de

cada parto.

- r: La sangre del recién nacido es Rh positivo.

- s: Ha de administrarse a la parturienta el suero apropiado.

- t: Se desea evitar complicaciones a otros hijos.

El enunciado: "Si el Rh de la futura madre es negativo, debe analizarse

inmediatamente después de cada parto la sangre del recién nacido y, si ésta es Rh
positivo, ha de administrarse a la parturienta el suero apropiado si se desean evitar
complicaciones a otros hijos."

(p → (q ∧ r)) → (s ∧ t)

p q r s t (q ∧ r) p → (q ∧ r) (s ∧ t) (p → (q ∧ r)) → (s ∧ t)
V V V V V V V V V
V V V V F V V F F
V V V F V V V V V
V V V F F V V F F
V V F V V F F V V
V V F F F F F F V
V F V V V F F V V
V F V V F F F F V
V F V F V F F V V
V F V F F F F F V
V F F V V F F V V
V F F V F F F F V
V F F F V F F V V
V F F F F F F F V
F V V V V V V V V
F V V V F V V F F
F V V F V V V V V
F V V F F V V F F
F V F V V F V V V
F V F V F F V F F
F V F F V F V V V
F V F F F F V F F
F F V V V F V V V
 F F V V F F V F F
F F V F V F V V V
F F V F F F V F F
F F F V V F V V V
F F F V F F V F F
F F F F V F V V V
F F F F F F V F F

- (p → (q ∧ r)) → (s ∧ t): Es verdadera en los casos en los que p es verdadero y q

es verdadero y r es verdadero, y t es verdadero. Esto significa que, si el Rh de la
futura madre es negativo y la sangre del recién nacido es Rh positivo, se debe
administrar el suero apropiado a la parturienta si se desean evitar
complicaciones a otros hijos.

ENUNCIADO 18:

- p: La televisión modifica sus esquemas.

- q: La televisión renueva su programación.

- r: Se producirá una huida masiva de telespectadores.

- s: Veremos las calles inundadas de gente.

El enunciado: "O la Televisión modifica sus esquemas y renueva su programación o se

producirá una huida masiva de telespectadores y veremos las calles inundadas de
gente."

(p ∨ q) ∨ (r ∧ s)

p q r s (p ∨ q) (r ∧ s) (p ∨ q) ∨ (r ∧ s)
V V V V V V V
V V V F V F V
V V F V V F V
V V F F V F V
V F V V V V V
V F V F V F V
V F F V V F V
V F F F V F V
F V V V V V V
F V V F V F V
F V F V F F F
F V F F F F F
 F F V V F V V
F F V F F F F
F F F V F V V
F F F F F F F

- (p ∨ q) ∨ (r ∧ s): Es verdadera en todos los casos

ENUNCIADO 19:

- p: Se ganan las elecciones.

- q: Nuestros representantes acceden al poder.

- r: Confiaremos en nuestros representantes.

- s: Nuestros representantes cumplen sus promesas.

- t: El poder corrompe a nuestros representantes.

El enunciado: "Si se ganan las elecciones y nuestros representantes acceden al poder,

confiaremos en ellos si y sólo si cumplen sus promesas y el poder no les corrompe."

(p ∧ q) → (r ↔ (s ∧ ¬t))

p q r s t (p ∧ q) (s ∧ ¬t) (r ↔ (s ∧ ¬t)) (p ∧ q) → (r ↔ (s ∧ ¬t))

V V V V V V F V V
V V V V F V V F F
V V V F V V F V V
V V V F F V V F F
V V F V V V F V F
V V F V F V V F V
V V F F V V F V F
V V F F F V V F V
V F V V V F F V V
V F V V F F V F V
V F V F V F F V V
V F V F F F V F V
V F F V V F F V V
V F F V F F V F V
V F F F V F F V V
V F F F F F V F V
F V V V V F F V V
F V V V F F V F V
 F V V F V F F V V
F V V F F F V F V
F V F V V F F V V
F V F V F F V F V
F V F F V F F V V
F V F F F F V V V
F F V V V F F F V
F F V V F F V V V
F F V F V F F V V
F F V F F F V F V
F F F V V F F V V
F F F V F F V F V
F F F F V F F V V
F f F F F F V F V

- (p ∧ q) → (r ↔ (s ∧ ¬t)): Es verdadera en todos los casos.

ENUNCIADO 20:

- p: Aristóteles nació en Estagira.

- q: Aristóteles fue tutor de Alejandro Magno.

- r: Aristóteles es de nacionalidad macedónica.

El enunciado: "Aristóteles nació en Estagira y fue tutor de Alejandro Magno. Pero si

nació en Estagira fue de nacionalidad macedónica. Por tanto, Aristóteles fue de
nacionalidad macedónica."

(p ∧ q) → r

p q r (p∧q)→ r
V V V V
V V F F
V F V V
V F F F
F V V V
F V F V
F F V V
F F F V
- (p ∧ q) → r: Obtenemos que la expresión lógica es verdadera en todos los
casos. Esto significa que la declaración original es verdadera