MATE-3041 Sec.

Nombre:
Examen Parcial II Núm. Estudiante:

(20) 1. Escriba las siguientes Tablas de Verdad:

a. Conjunción ”p y q ”: p∧q
b. Disyunción ”p o q ”: p∨q
c. Negación ”ni p”: ∼p
d. Condicional ”si p, entonces q ”: p→q

p q p∧q p∨q ∼p p→q

T T T T T T
T F F T T F
F T F T F T
F F F F F T

(15) 2. El bicondicional ”p si y solo si q ” se define como:

p ↔ q = (p → q) ∧ (q → p). Calcule y escriba la Tabla de Verdad del
bicondicional de acuerdo a esta definición.

1 1 1 1
p q (p → q) ∧ (q → p)
T T T T T T
T F T F F T
F T F T T F
F F F F F F
1 2 1 1 2 1
p q (p → q) ∧ (q → p)
T T T T T T T T
T F T F F F T T
F T F T T T F F
F F F T F F T F
1 2 1 3 1 2 1
p q (p → q) ∧ (q → p)
T T T T T T T T T
T F T F F F F T T
F T F T T F T F F
F F F T F T F T F

(15) 3. Para la premisa ”Todos los estudiantes estudiaron para el examen.”:

Prof. Edwin J. Alvarado Rodrı́guez 25 de octubre de 2023

 MATE-3041 Sec. Nombre:

La premisa se puede re-escribir como ”Si es estudiante, entonces es-

tudió para el examen.”

a. Escriba el converso: ”Si estudió para el examen, entonces es un estudiante”

b. Escriba el inverso: ”Si no es estudiante, entonces no estudió para el examen”
c. Escriba el contrapositivo: ”Si no estudió para el examen, entonces no es un estudiante”
d. Determine cúal premisa es equivalente a la premisa original: El contrapositivo

(20) 4. Sea p ⊻ q la disyunción exclusiva ”o p o q ”:

a. Calcule la negación del bicondicional utilizando La Ley de Morgan y
la negación del condicional.

p⊻q = ∼[p↔q ]
= ∼ [ (p → q) ∧ (q → p) ]
= ∼ (p → q) ∨ ∼ (q → p) (Ley de De Morgan)
= ( p ∧ ∼ q ) ∨ ( q ∧ ∼ p ) (Negación del condicional)

b. Calcule y escriba la Tabla de Verdad de la disyunción exclusiva uti-

lizando el resultado anterior.

1 1 1 1
p q (p ∧ ∼q) ∨ (q ∧ ∼p)
T T T F T F
T F T T F F
F T F F T T
F F F T F T
1 2 1 1 2 1
p q (p ∧ ∼q) ∨ (q ∧ ∼p)
T T T F F T F F
T F T T T F F F
F T F F F T T T
F F F F T F F T
1 2 1 3 1 2 1
p q (p ∧ ∼q) ∨ (q ∧ ∼p)
T T T F F F T F F
T F T T T T F F F
F T F F F T T T T
F F F F T F F F T

CLAVE
 MATE-3041 Sec. Nombre:

c. Compare la Tabla de Verdad del bicondicional y la Tabla de Verdad

que acaba de calcular. Explique por que estas Tablas de Verdad im-
plican que la disyunción exclusiva es la negación del bicondicional.

p q p⊻q p↔q
T T F ∼ T
T F T ∼ F
F T T ∼ F
F F F ∼ T

(20) 5. Examine el siguiente argumento:

Todos los ajolotes son anfibios.

Todos los ajolotes tienen agallas.
Todos los anfibios tienen agallas.

El argumento se puede re-escribir de la siguiente forma:

Si son ajolotes, entonces son anfibios.

Si son ajolotes, entonces tienen agallas.
Si son anfibios, entonces tienen agallas.
p→q
p→r
q→r

a. Determine la validez mediante Diagrama de Euler.

q p r

CLAVE
MATE-3041 Sec. Nombre:

A partir de los enunciados antecedentes ser verdaderos no se

puede concluir que el enunciado consecuente es verdadero. Por
lo tanto, el argumento no es válido.

Region azul implica que el consecuente es verdadero,

y harı́a el argumento válido.
Pero la región roja implica que
el consecuente puede ser falso,
automáticamente haciendo el argumento inválido.

b. Determine la validez mediante Tabla de Verdad.

Para que el argumento sea válido, el argumento debe llevar a una

tautologı́a.
1 1 1 1 1 1
p q r [(p → q) ∧ (p → r)] → (q → r)
T T T T T T T T T
T T F T T T F T F
T F T T F T T F T
T F F T F T F F F
F T T F T F T T T
F T F F T F F T F
F F T F F F T F T
F F F F F F F F F
1 2 1 1 2 1 1 2 1
p q r [(p → q) ∧ (p → r)] → (q → r)
T T T T T T T T T T T T
T T F T T T T F F T F F
T F T T F F T T T F F T
T F F T F F T F F F T F
F T T F T T F T T T T T
F T F F T T F T F T F F
F F T F T F F T T F T T
F F F F T F F T F F T F

CLAVE
 MATE-3041 Sec. Nombre:

1 2 1 3 1 2 1 1 2 1
p q r [(p → q) ∧ (p → r)] → (q → r)
T T T T T T T T T T T T T
T T F T T T F T F F T F F
T F T T F F F T T T F F T
T F F T F F F T F F F T F
F T T F T T T F T T T T T
F T F F T T T F T F T F F
F F T F T F T F T T F T T
F F F F T F T F T F F T F
1 2 1 3 1 2 1 4 1 2 1
p q r [(p → q) ∧ (p → r)] → (q → r)
T T T T T T T T T T T T T T
T T F T T T F T F F F T F F
T F T T F F F T T T T F F T
T F F T F F F T F F T F T F
F T T F T T T F T T T T T T
F T F F T T T F T F F T F F
F F T F T F T F T T T F T T
F F F F T F T F T F T F T F
Como hay conclusiones donde el enunciado es falso, el argumento
no es una tautologı́a y por lo tanto, no es válido.

(15) 6. Examine el siguiente circuito lógico:

q q r

p s

r ∼p

a. Expréselo como un enunciado utilizando elementos de lógica simbólica

p ∧ (q ∨ r) ∧ s ∧ ([q ∧ r]∨ ∼ p)

b. Si fuese a calcular la Tabla de Verdad de este circuito lógico, ¿cuantas

filas tendrı́a la misma?

CLAVE
MATE-3041 Sec. Nombre:

Como hay 4 enunciados (p, q , r, s), entonces habrán 24 filas en

la Tabla de Verdad.

CLAVE