Fase 1

Debate con tus compaeros de equipo: El razonamiento propuesto es

deductivo o inductivo?
El razonamiento es deductivo. Parte de premisas, usado leyes de inferencia para
obtener su conclusin.
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 vidao 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 Declaracindeproposicionessimples:
p = Nos gusta tener calidad de vida
q = Nos gusta vivir solos
r = Nos gusta vivir en comunidad
s = Respetamos la ley
2.2 Premisasen lenguaje simblico:
premisa 1: ~p v ~q
premisa 2: p
premisa 3: ~q r
premisa 4: r s
2.3 Conclusinen lenguaje simblico: 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)
Primera forma:
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
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

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

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

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

Proposicione
s simples

~p

~q

Premis
a 1

Premi
sa 2

Premis
a3

Premis
a4

Conclusi
n

~p

~p v ~q

r s

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

~q

~q r

No existe el caso en que las premisas sean verdaderas y la conclusion sea falsa,
por lo tanto el razonamiento es valido.

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

(Evaluando si la conjuncin de las premisas implican la conclusin.)

Segunda forma:
P1

P2

P3

~p v ~q

~q r

P4

rs

[(P1) ^
Conclus
(P2)
in
^ (P3) ^
(P4)] --->
Conclusi
n
s

[(P1) ^ (P2) ^
(P 3) ^ (P4)] -> Conclusin

F
V
V
V
F
V
V
Se deja
como
para el debate,
F
V ejercicioVal estudiante
F comoFaporte individual
F
V
verificar
que V
al construir
F
V la tabla Vde verdadFdel ejemploVpropuesto. V
F
V
V
V
F
F
V
(premisa
1)
^
(
premisa
2)
^
(premisa
3)
^
(
premisa
4)___>conclusion
V
V
V
V
V
V
V
V
V
V
F
F
F
V
V
V
F
V
F
V
V
V
V
F
V
F
F
V
V
F
V
V
F
V
V
V
F
V
F
F
F
V
V
F
V
V
F
V
V
V
F tautologia,
V
V
F la conjuncion
F
V
Se obtiene
una
demostrando
que
de las premisas
V
F
Vy por lo tanto
V el razonamiento
F
V valido.
V
implican
la conclusion
es
V
F
V
F
F
F
V
V
F
F
V
F
V
V
V
F
F
V
F
F
V
2.4.3. Verificacin con simulador
Lenguaje para el simulador: { [(~p+~q) &p]&[(~q>r)&(r>s)] }>s
P
T
T
T
T
T
T
T
T
F
F
F
F
F
F

q
T
T
T
T
F
F
F
F
T
T
T
T
F
F

r { [(~p+~q) &p]&[(~q>r)&(r>s)] }>s

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

F
F

F
F

F
F

T
T

2.4.4. Demostracin a partir de las leyes de inferencia:

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 S.D
6. r 3, 5 MPP
7. s 6, 4 MPP

En conclusion, las leyes de inferencia permiten deducir la conclusion, por lo tanto

el razonamiento es valido
2.4.5.: Demostracin por reduccin al absurdo:
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
premisa 2:

premisa 3: ~q r
premisa 4:
Conclusin s

rs
=F

Iniciamos por suponer que las cuatro premisas son verdaderas y la conclusin es
falsa.

Si la conclusin s = F, para que la premisa 4 r s sea Verdadera, r debe ser

Falsa.
En la premisa 3, para que sta sea verdadera, considerando que r es Falsa, q
debe ser Verdadera.
De la premisa 2, p es verdadera. En la premisa 1: ~p es falsa, tanto como lo es ~q
de donde se
concluye que la premisa 1 es Falsa, luego, no fue posible hacer que todas las
premisas fueran
verdaderas y la conclusin falsa.
No fue posible que las premisas fueran verdaderas y la conclusin falsa. Por lo
que el razonamiento es vlido.

Fase3
Debate con tus compaeros de equipo el razonamientopropuesto y registren en
este espacio el producto del debate. Qu ganamos y a qu renunciamos al
vivir en sociedad? (Contextualiza tu respuesta en la realidad global de hoy).