Fase 2

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

Nota: Visita el ejemplo de apoyo para la fase 2
Premisa
solos
Premisa
Premisa
Premisa

1: O no nos gusta tener calidad de vida o no nos gusta vivir

2: Nos gusta tener calidad de vida
3: Si no nos gusta vivir solos, nos gusta vivir en comunidad
4: Si nos gusta vivir en comunidad, entonces respetamos la ley

2.1 Declaracin de las proposiciones simples

p = No nos gusta tener calidad de vida
q = No nos gusta vivir solos
r = Nos gusta tener calidad de vida
s = Nos gusta vivir en comunidad
t = Respetamos la ley
2.2 Premisas en el lenguaje simblico:
premisa
premisa
premisa
premisa

1:
2:
3:
4:

pv q
~p
~q --> s
s --> t

2.3 Conclusin en lenguaje simblico: t

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)
Propo
Premisa Premisa Premisa Conclusi Conclusi
sicion
1
2
3
n
n
es
simpl
es
pqst ~ ~
p q

p vq

~p

~q-->s

s --> t

V V VV F

V V VF F

VVFV F

VVFF F

V F VV F

V F VF F

VF FV F

VF FF F

F V VV V

F V VF V

F VFV V

F VFF V

F F VV V

F F VF V

F F FV V

F F FF V

Las premisas son verdaderas y la conclusin es falsa, por lo tanto el

razonamiento es invlido.
2.4.2: Demostracin a partir de las tablas de verdad forma 2:
(Evaluando si la conjuncin de las premisas implican la conclusin.)

2.4.3. Verificacin con simulador

Demostracin a partir de las leyes de inferencia:

premisa 1: p v q
premisa 2: ~ p
premisa 3: ~q --> s
premisa 4: s --> t
____________________
5. q 1, 2 MTP
6. ~s 3, 5 MTT
7. ~ t
4,6 MTT
En conclusin, las leyes de inferencia permiten deducir que no se
cumple la conclusin, por lo tanto el razonamiento es invlido.
Demostracin por reduccin al absurdo (Mtodo abreviado o prueba
formal de invalidez):
Suponemos que es posible que las premisas sean verdaderas y la
conclusin falsa:
Si es posible entonces el razonamiento NO es vlido.
premisa 1: p v q
=V
premisa 2: p --> s
=V
premisa 3: t
=V
premisa 4: t --> ~s= V
____________________
Conclusin q
=F
De acuerdo con la conclusin q es Falsa, y de acuerdo con la premisa
3 t es verdadera. Esto obliga a que de acuerdo con la premisa 4, s sea
Falsa. Si s es Falsa, de acuerdo con la premisa 2, p tiene que ser falsa.

Pero con p Falsa y con q Falsa no se cumple que la premisa 1 sea

verdadera, luego, llegamos a una contradiccin.
En conclusin, del anlisis por reduccin al absurdo se concluye que no
es posible que cuando las premisas sean verdaderas, la conclusin sea
falsa, por lo tanto el razonamiento es vlido.