Ejercicio 3:

Problemas de aplicación Expresión simbólica:

[(𝑝 ∨ 𝑞) ∧ (𝑝 ⟶∼ 𝑠) ∧ (𝑠) ∧ (𝑞 ⟶ 𝑟)] ⟶ (𝑟 ∧ 𝑠)

Premisas:

P1: (𝑝 ∨ 𝑞)

P2: (𝑝 ⟶∼ 𝑠)

P3: (𝑠)

P4: (𝑞 ⟶ 𝑟)

Conclusión: (𝑟 ∧ 𝑠)

p: Los leones

q: Los cocodrilos

r: Son animales

s: Son aves

los leones o cocodrilos son animales, y los leones no son aves, y las aves vuelas, y si los cocodrilos
son animales, si son aves entonces son animales.
 Tabla Manual
p q r s ((p∨q)∧(p→~s)∧(s)∧(q→r))→(r∧s
)
V V V V V
V V V F V
V V F V V
V V F F V
V F V V V
V F V F V
V F F V V
V F F F V
F V V V V
F V V F V
F V F V V
F V F F V
F F V V V
F F V F V
F F F V V
F F F F v

Las tablas son Tautología.

P1: (𝑝 ∨ 𝑞)
P2: (𝑝 ⟶∼ 𝑠)
P3: (𝑠)
P4: (𝑞 ⟶ 𝑟)
Conclusión: (𝑟 ∧ 𝑠)

Por simplificación p2 y p4 es modus ponens.