UNIVERSIDAD AUTONOMA DEL CARIBE

ACTIVIDAD DE SEGUIMIENTO DEL SEGUNDO PARCIAL DE PLP

PROFESOR: OMAR ORDOÑEZ

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 Cartagéna es de clima frío
5- 2. Santamarta 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 se también negativos.
8- 5. la tierra es esf'erica o gira alrededor del sol si y solo si la luna no es otro planeta
y es satelite 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- {[(𝑝 ∧∼ 𝑞) ∨ 𝑟] → (𝑝 → 𝑞)}