Beruflich Dokumente
Kultur Dokumente
Premisa 1: O no nos gusta tener calidad de vida o no nos gusta vivir solos
Premisa 2: Nos gusta tener calidad de vida
Premisa 3: Si no nos gusta vivir solos, nos gusta vivir en comunidad
Premisa 4: Si nos gusta vivir en comunidad, entonces respetamos la ley
2.1 Declaracin de proposiciones simples:
p = Nos gusta tener calidad de vida
q = Nos gusta vivir solos
r = Nos gusta vivir en comunidad
s = Respetamos la ley
2.2 Premisas en lenguaje simblico:
Premisa 1:~pv~q
Premisa 2: p
Premisa 3: ~q r
Premisa 4: r s
p
q
V
V
V
V
V
V
V
V
V
F
V
F
V
F
V
F
F
V
F
V
F
V
F
V
F
F
F
F
F
F
F
F
En ningn
r
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
caso
s
~p ~q ~pv~q
V
F
F
F
F
F
F
F
V
F
F
F
F
F
F
F
V
F
V
V
F
F
V
V
V
F
V
V
F
F
V
V
V
V
F
V
F
V
F
V
V
V
F
V
F
V
F
V
V
V
V
V
F
V
V
V
V
V
V
V
F
V
V
V
las premisas son verdaderas y
p
~q r
r s
s
V
V
V
V
V
V
F
F
V
V
V
V
V
V
V
F
V
V
V
V
V
V
F
F
V
F
V
V
V
F
V
F
F
V
V
V
F
V
F
F
F
V
V
V
F
V
V
F
F
V
V
V
F
V
F
F
F
F
V
V
F
F
V
F
la conclusin sea falsa, por tal motivo el
racionamiento es vlido.
p
V
V
V
V
V
V
V
V
F
F
F
F
F
~q r
V
V
V
V
V
V
F
F
V
V
V
V
V
r s
(~pv~q)^(p)^
V
F
V
V
V
F
V
V
V
F
V
V
V
(~q r)^(r s)
F
F
F
F
V
F
F
F
F
F
F
F
F
(~pv~q)^(p)^(~q r)^(r
s) s
V
F
V
F
V
F
V
F
V
F
V
F
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
F
V
F
V
F
F
V
V
F
F
V
Mediante la comprobacin se obtiene
F
F
F
V
F
F
una tautologa, es decir que para
V
V
V
todos los casos
1http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/
Como
se
observa
en
las
imgenes
al
ingresar
la
expresin
7. s
Se observa que mediante las leyes de inferencia se puede hallar la conclusin, de esta
manera se demuestra la validez del racionamiento.
2.4.5 Demostracin por reduccin de lo absurdo
Suponemos que las premisas son verdaderas y la conclusin sea falsa. Si es posible
entonces el racionamiento no es vlido.
Premisa 1:~pv~q
(V)
Premisa 2: p
(V)
Premisa 3: ~q r
(V)
Premisa 4: r s
(V)
Conclusin = s
=F