tecnico



2.4 Demostraciones.
2.4.1: Demostración a partir de las tablas de verdad forma 1: (Evaluando la existencia del caso en que las premisas sean verdaderas y la conclusión sea falsa)
P
Q
R
S¬
p

¬
q

Premisa
1
¬p v ¬q

Premisa
2
p
Premisa
3
¬q→ r

Premisa
4
r → s

Conclusión S

V
V
V
V
F
F
F
V
V
V
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
V
FF
F
V
V
V
V
V
V
F
F
F
F
F
V
V
V
F
V
F
V
V
F
V
V
V
V
V
V
V
F
V
F
F
V
V
V
V
F
F
V
F
F
V
F
V
V
V
F
V
V
V
F
F
F
F
V
V
V
F
V
F
F
V
V
V
V
FV
F
V
V
V
F
V
V
F
V
F
V
F
V
V
V
F
V
F
V
V
F
V
F
V
V
V
F
V
F
F
V
F
V
F
V
V
F
F
F
V
V
V
V
F
F
V
V
V
F
F
V
F
V
V
F
F
V
F
F
F
F
F
V
V
VF
F
F
V
V
F
F
F
F
V
V
F
F
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.









2.4.2:Demostración a partir de las tablas de verdad forma 2:
(Evaluando si la conjunción de las premisas implican la conclusión)
[(Premisa 1) ^ (premisa 2) ^ (premisa 3) ^ (premisa 4)] → Conclusión

p
qr
s
¬p

¬q

Premisa1 ¬p v ¬q

Premisa2 p

Premisa3 ¬q→ r

Premisa4 r → s

Conclusión [(¬p v ¬q) ^ (p) ^ (¬q→ r) ^ (r → s)] →S

V
V
V
V
F
F
F
V
V
V
V
V
V
V
F
FF
F
V
V
F
V
V
V
F
V
F
F
F
V
V
V
V
V
V
F
F
F
F
F
V
V
V
V
V
F
V
V
F
V
V
V
V
V
V
V
F
V
F
F
V
V
V
V
F
V
V
F
F
V
F
V
V
V
F
V
V
V
F
F
F
F
VV
V
F
V
V
F
V
V
V
V
F
V
F
V
V
V
F
V
V
F
V
F
V
F
V
F
V
F
V
F
V
V
F
V
F
V
V
V
F
V
F
F
V
F
V
F
V
V
V
F
F
V
V
V
V
F
F
V
V
V
F
F
V
F
V
V
FF
V
F
V
F
F
F
V
V
V
F
F
F
V
V
F
F
F
F
V
V
F
F
F
V
V


Se obtiene una tautología, demostrando que la conjunción de las premisas implican la conclusión y por lo tanto el...