Presentado por :leonardo segura GRUPO: B

1- Hallar los valores de verdad de los argumentos con base en los valores de verdad dado a
las premisas p y q
P; todo número es divisor exacto de sí mismo. F___ V___

q; las potencias impares de todo entero es positiva F___ V__

𝑎) {[(𝑝 ∨ ¬𝑞) ∧ (𝑝 ∨ ¬𝑞)] ↔ [(¬𝑝 ∧ 𝑞) → 𝑝]}

𝑏) {[(𝑝 ∨ 𝑞) ∧ (¬𝑝 → 𝑞)] → [(¬𝑝 ∧ 𝑞) → 𝑝]}

𝑐) {[(𝑝 ∨ ¬𝑞) ∧ (¬𝑝 ∨ ¬𝑞)] ↔ [(¬𝑝 ∧ 𝑞) → 𝑝]}

2- Hacer las tablas de verdad a las siguientes silogismos

E indicar si se trata de una tautología, una falacia o contingencia a cada uno de los siguientes
silogismos
a) {[(𝑝 ∨ ¬𝑞) ∧ (𝑝 ∨ ¬𝑞)] ↔ [(¬𝑝 ∧ ¬𝑞) → 𝑝]}
b) {[(𝑝 ∧ ¬𝑞) ∧ (𝑝 ∨ ¬𝑞)] ↔ [(¬𝑝 ∧ 𝑞) → ¬𝑝]}
c) {[(𝑝 ∨ ¬𝑞) ∧ (¬𝑝 ∨ ¬𝑞)] ↔ [(𝑝 ∧ ¬𝑞) → ¬𝑝]}

3- Dadas las premisas aplique las reglas de inferencia lógicas para deducir la conclusión
a) Si hay buen tiempo entonces viajo por vía aérea
Pero no hay buen tiempo
Conclusión: ____________

b) Me voy al cine o a la piscina

Voy a la piscina
Conclusión_________

c) Si me enfermo voy al médico o acudo a remedios caseros

No me enfermo
Conclusión_________

ENCONTRAR el valor de verdad en cada uno de las siguientes proposiciones

compuestas
4- 1. si Barranquilla es una ciudad de clima cálido y Bogotá no es de clima frio
entonces Cartagena es de clima frío
 5- 2. Santa marta es una ciudad de la región caribe o el Medellín no es la capital de
Dpto. de Antioquia si y solo si el amazona no es una región selvática
6- 3. o todos los números primos son impares o todos los números enteros son
positivos entonces la suma de dos números impares no da un numero par
7- 4. si el producto de dos números enteros positivos no es menor que cero
entonces los enteros factores pueden ser también negativos.
8- 5. la tierra es esférica o gira alrededor del sol si y solo si la luna no es otro planeta
y es satélite de la tierra
Sea p= la diferencia de dos números es igual a la suma por las diferencias de sus raíces
cuadradas
Sea q= la suma de dos números impares da otro número impar
Sea r= el producto de dos enteros de igual signo da un numero positivo
9- hallar {[(𝑝 ∧ 𝑞) ∨∼ 𝑟] → (𝑝 ⟷ ~𝑟)}
10- hallar {[(𝑝 ∨ 𝑞) ∧∼ 𝑟] → (𝑝 → 𝑞)}
11- {[(𝑝 ∧∼ 𝑞) ∨ 𝑟] → (𝑝 → 𝑞)}

DESARROLLO
1. P= verdadera.
Q= falso.

● {[(𝑝 ∨ ¬𝑞) ∧ (𝑝 ∨ ¬𝑞)] ↔ [(¬𝑝 ∧ 𝑞) → 𝑝]}

v v v v f f

v v f v

v v

● {[(𝑝 ∨ 𝑞) ∧ (¬𝑝 → 𝑞)] → [(¬𝑝 ∧ 𝑞) → 𝑝]}

 V f f f f f

v v f v

v v

● {[(𝑝 ∨ ¬𝑞) ∧ (¬𝑝 ∨ ¬𝑞)] ↔ [(¬𝑝 ∧ 𝑞) → 𝑝]}

V v f v f f

v v f v

v v

2. {[(𝑝 ∨ ¬𝑞) ∧ (𝑝 ∨ ¬𝑞)] ↔ [(¬𝑝 ∧ ¬𝑞) → 𝑝]}

p q ¬𝑞 (𝑝 ∧ ¬𝑝 (¬𝑝 (¬𝑝 ∧ ¬𝑞) → 𝑝 ↔

∨ ¬𝑞) ∧ ¬𝑞)
v v f v V F F v V

v f v V V F F V V

f v f F F V F V F

f f v v v v v f f

INDETERMINACIÓN O CONTINGENCIA

d) {[(𝑝 ∧ ¬𝑞) ∧ (𝑝 ∨ ¬𝑞)] ↔ [(¬𝑝 ∧ 𝑞) → ¬𝑝]}

p q ¬𝑞 (𝑝 (𝑝 ∧ ¬𝑝 (¬𝑝 (¬𝑝 ↔
∧ ¬𝑞) ∨ ¬𝑞) ∧ 𝑞) ∧ 𝑞)
→ ¬𝑝
V V F F V F F f V F

V F V V V V F F V V

F V F F F F V V V F
 f f v f v f v f v f

INDETERMINACIÓN O CONTNGENCIA

e) {[(𝑝 ∨ ¬𝑞) ∧ (¬𝑝 ∨ ¬𝑞)] ↔ [(𝑝 ∧ ¬𝑞) → ¬𝑝]}

p q ¬𝑞 (𝑝 ¬𝑝 (¬𝑝 ∧ (𝑝 (𝑝 ↔
∨ ¬𝑞) ∨ ¬𝑞) ∧ ¬𝑞) ∧ ¬𝑞)
→ ¬𝑝
V V F V F F F F V F

V F V V F V V V F F

F V F F V V F F V F

f f v v v v v f v v

INDETERMINACIÓN O CONTINGENCIA

3). a). Si hay buen tiempo entonces viajo por vía aérea
Pero no hay buen tiempo (modus tollendo tollen)

P= si hay buen tiempo.

Q= viajo por vía aérea.
¬ p= no hay buen tiempo.

P→q
¬p es decir, no viajo por vía aérea.

¬q

b). Me voy al cine o a la piscina

Voy a la piscina (modus ponendo tollen)

P= voy al cine.
Q= a la piscina.
Q= voy a la piscina.

P∨q
q es decir, no fue al cine
 ¬p

C). Si me enfermo voy al médico o acudo a remedios caseros

No me enfermo

P= si me enfermo voy al médico.

Q= acudo a remedios caseros.
¬p= no me enfermo.

P∨q
¬p acudió a remedios caseros.

4). sí Barranquilla es una ciudad de clima cálido y Bogotá no es de clima frio entonces
Cartagena es de clima frío.

P= barranquilla es una ciudad de clima cálido (v)

Q= Bogotá es de clima frio (v)
R= Cartagena es de clima frio. (f)

[(p ∧ ¬ q) → r]

V f

f f

v
5). Santa marta es una ciudad de la región caribe o el Medellín no es la capital de
departamento de Antioquia si y solo si la amazona no es una región selvática.
P= santa marta es una ciudad de la región caribe. (v)
Q= Medellín es la capital del departamento de Antioquia. (v)
R= el amazonas es una región selvática. (v)
[(p ∨ ¬q) ↔ ¬r]

V f

V f

6). todos los números primos son impares o todos los números enteros son positivos
entonces la suma de dos números impares no da un numero par.
P= todos los números primos son impares. (f), porque el dos es numero primo
y es par.
Q= todos los números enteros son positivos. (f), porque también existen los
enteros negativos.
R= la suma de dos números impares da un numero par. (v), porque 3+7 = 10 y
10 es par.

[(p ∨ q) → ¬r]

F f

F f

V
7). si el producto de dos números enteros positivos no es menor que cero entonces los
enteros factores pueden ser también negativos.
P= el producto de dos números enteros positivos es menor que cero. (f)
R= los enteros factores pueden ser también negativos. (v)
[(~ p → q)]

v v

8). la tierra es esférica o gira alrededor del sol si y solo si la luna no es otro

Planeta y es satélite de la tierra.

P = la tierra es esférica. (v)

q = gira alrededor del sol. (v)
R = la luna es otro planeta. (f)
S = la luna es satélite de la tierra. (v)

[(p ∨ q)↔ (~r ∧ s)]

V v v v

V v

V
Sea p= la diferencia de dos números es igual a la suma por las diferencias de sus raíces
cuadradas. (f)
Sea q= la suma de dos números impares da otro número impar. (f)
Sea r= el producto de dos enteros de igual signo da un numero positivo. (v)

9). {[(𝑝 ∧ 𝑞) ∨∼ 𝑟] → (𝑝 ⟷ ~𝑟)}

F f
F f f f
F v
v

10). {[(𝑝 ∨ 𝑞) ∧∼ 𝑟] → (𝑝 → 𝑞)}

f f
f f f f
f v
v

11). {[(𝑝 ∧∼ 𝑞) ∨ 𝑟] → (𝑝 → 𝑞)}

F v
F v f f
v v