FASE 2.

A continuacin, analiza la validez de la conclusin: Respetamos la ley

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:

2.2 Premisas en lenguaje simblico:

2.3 Conclusin en lenguaje simblico:

La conclusin es s

2.4 Demostraciones:
2.4.1: Demostracin a partir de las tablas de verdad forma 1 :
(Evaluando la existencia del caso en que las premisas sean verdaderas y la conclusin sea falsa).
Tabla 1
Evaluando la existencia en que las premisas son verdaderas y la conclusin falsa
Proposiciones simples ~p ~q Premisa 1 Premisa 2 Premisa 3 Premisa 4 Conclusin
Proposiciones simples

~q

~p

p
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V

F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V

q
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F

r
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F

s
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

Premisa
1
~p v ~q
F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V

Premisa
2
p
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

Premise
3
~q r
V
V
V
V
V
V
F
F
V
V
V
V
V
V
F
F

Premise
4
rs
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V

conclusion
r
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

Nota: no existe, el caso en donde las premisas sean verdaderas, y la conclusin se manifieste falsa
por lo tanto el razonamiento es verdico.

2.4.2: Demostracin a partir de las tablas de verdad forma 2:

(Evaluando si la conjuncin de las premisas implican la conclusin.)
[(Premisa 1) ^ (premisa 2) ^ (premisa 3) ^ (premisa 4)] ---> Conclusin.
Tabla 2
Demostracin a partir de la conjuncin de las premisas
Premisa
1
~p v ~q
F
F
F
F
V
V
V
V
V
V
V
V
V
V
V
V

Premisa
2
p
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F

Premise
3
~q r
V
V
V
V
V
V
F
F
V
V
V
V
V
V
F
F

Premise
4
rs
V
F
V
V
V
F
V
V
V
F
V
V
V
F
V
V

conclusion
r
F
F
F
F
V
F
F
F
F
F
F
F
F
F
F
F

V
F
V
F
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
V

Nota: todas las conclusiones son verdaderas entonces se produce una tautologa lo cual implica
que el razonamiento es verdico.

2.4.3. Verificacin con simulador

Grafica 2 generador de tablas de la verdad

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

recuperado

partir

de

2.4.4. Demostracin a partir de las leyes de inferencia:

MPP Modus ponendo ponens
AB
A
----B
MTT Modus tollendo tollens
AB
B
----A
SD Silogismo Disyuntivo
AB
A
----B
SH Silogismo hipottico
AB
BC
----AC
LS Ley de simplificacin
AB
----A
LA Ley de adicin
A
----AB
CONTRAPOSITIVA
AB
----B A
Grafica
3
principales
leyes
de
al
inferencia,
http://lgicaepn.blogspot.com/2011/12/reglas-de-inferencia.html

recuperado

de

Premisa 1: ~p v ~q
Premisa 2: p
Premisa 3: ~q r
Premisa 4: r s
Conclusin: s

Premisa 1: ~p v ~q
Premisa 2: p
Premisa 3: ~q r
Premisa 4: r s
______________________
5. ~q
(

) 1, 2

Silogismo Disyuntivo

6. r
(

, ~q) 3, 5

Modus ponendo ponens

7. s
(

) 6, 4

Modus ponendo ponens.

Por lo tanto al utilizar las reglas de la inferencia se demuestra que el razonamiento es

vlido.

2.4.5. Demostracin por reduccin al absurdo:

Pasos:
1) negar la tesis
2) llegar a una contradiccin

Premisa 1: ~p v ~q
Premisa 2: p
Premisa 3: ~q r
Premisa 4: r s
Conclusin s = f
Iniciamos por suponer que las cuatro premisas son verdaderas y la conclusin es falsa.
premisa
rs
~q r
p
~p v ~q

hiptesis
r debe ser falsa
q debe ser verdadera
P es verdadera

Verdadera/falsa
v
v
v
f

No hay tautologa por lo tanto el razonamiento es vlido y no se genera absurdo

Referencias
Lgicaepn (2011), Reglas de la inferencia, recuperado abril 20 de 2015 a partir de
http://lgicaepn.blogspot.com/2011/12/reglas-de-inferencia.html
Generador de tablas de la verdad
recuperado abril 20 de 2015 a partir de
http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/