Fase 2 A continuacin, analiza la validez de la conclusin: Respetamos la ley Nota: Visita el ejemplo de apoyo para la fase 2 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 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 1: p v q premisa 2: ~ p premisa 3: ~q --> s premisa 4: 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) Proposi Premisa 1 Premisa 2 Premisa 3 Conclusin Conclusin ciones simples p q s t ~p ~q 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 F F F F V V V V F F F F V V V V
p vq

~p F F F F F F F F V V V V V V V V

~q-->s

s --> t

V V V V V V V V V V
V

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

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

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

V F F F F

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 premisa 3: t =V premisa 4: t --> ~s= V ____________________ Conclusin q= F =V

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.