Declaración De Proposiciones Simples:

Declaración de proposiciones simples:

p = El benefactor fue Pedro

q = El benefactor fue Andrés

s = Pedro estaba presente

t = Pedro estaba de viaje

Premisas:

premisa 1: p v q

premisa 2: p --> s

premisa 3: t

premisa 4: t --> ~s

Conclusión: q

¬ se lee “no”

∧ se lee “y”

∨ se lee “o”

→ se lee “…implica…” o “si,…entonces…,”

↔ se lee “…equivalente con…” o "…si, sólo sí…"

Demostración a partir de las tablas de verdad:

Primera forma:

Proposiciones simples Premisa 1 Premisa 2

Premisa 3 Premisa 4 Conclusión

p q s t ~s p v q p --> s t t --> ~s q

V V V V F V V V F V

V V V F F V V F V V

V V F V V V F V V V

V V F F V V F F V V

V F V V F V V V F F

V F V F F V V F V F

V F F V V V F V V F

V F F F V V F F V F

F V V V F V V V F V

F V V F F V V F V V

F V F V V V V V V V

F V F F V V V F V V

F F V V F F V V F F

F F V F F F V F V F

F F F V V F V V V F

F F F F V F V F V F

No existe el caso en que las premisas sean verdaderas y la conclusión sea falsa, por lo tanto el razonamiento es válido.

Segunda forma:

Se deja como ejercicio al estudiante como aporte individual para el debate, verificar que al construir la tabla de verdad del ejemplo propuesto:

[(premisa 1) ^ (premisa 2) ^ (premisa 3) ^ (premisa 4)] ---> Conclusión

Se obtiene una tautología,

...