Fase 2) A continuacin, analiza la validez de la conclusin:

Respetamos la ley
Premisa 1:
solos
Premisa 2:
Premisa 3:
comunidad
Premisa 4:
ley

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

Nos gusta tener calidad de vida
Si no nos gusta vivir solos,. nos gusta vivir en
Si nos gusta vivir en comunidad, entonces respetamos la

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

q r
Premisa 4: r s
Premisa 3:

2.3 Conclusin en lenguaje simblico:

( pV q)
p] [(

q r) (r s)] s

2.4 Demostraciones:
2.4.1: Demostracin a partir de las tablas de verdad forma 1 :

Proposiciones Simple
p

Pre 1

Pre 2

pV q

Pre 3

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

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

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

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

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

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

Pre 4

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

Conclusi
n
s

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

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

Pre 1

Pre
2

Pre 3

Pre
4

( pV q)

[(

p]

r) (r

( pV q)

s)]

( pV q)
p]

p] [(

r) (r

[(

s)]

pV q

q
r

( pV q)

[(

p]

r) (r

s)] s

( pV q)

s)]

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

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

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

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

( pV q)
p]

p] [(

r) (r

[(

s)]

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

q r) (r

q r) (r
s)] s

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

Es tautolgico, demostrando que la conjuncin de las premisas implican la

conclusin y por lo tanto el razonamiento es valido.

2.4.3. Verificacin con simulador

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

Truth Table
p

T
T
T
T
T
T
T
T
F
F
F
F
F
F
F
F

T
T
T
T
F
F
F
F
T
T
T
T
F
F
F
F

T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F

T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F

expression is a tautology

[(pVq) p][(qr)(rs)] s
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T