Laura Franco Castao

C.C. 52.226.209

Problema de aplicacin
Los razonamientos lgicos que hemos estudiado se encuentran
presentes no son exclusivos de los espacios acadmicos. Por el
contrario, hacemos uso de stos en el debate cotidiano de ideas.
A continuacin se propone un dilogo entre varios estudiantes de la
Unad:

Juan: algunas personas pueden hacer algo por la paz.

Patricia: No Juan. Todos podemos hacer algo por la paz.
Ana: O hacemos algo por la paz o no queremos vivir en comunidad.
Diego: Si nos gusta que existan personas que hagan ropa, entonces nos
gusta vivir en comunidad.
Freddy: Si nos gusta que existan mdicos, entonces queremos vivir en
comunidad.
Mara:
A
quin
no
le
gusta
vivir
en
comunidad?
Jorge: Si nos gusta vivir en comunidad, es necesario que respetemos las
leyes
de la comunidad.
Tania: podemos concluir que si respetamos las leyes de la comunidad,
entonces hacemos algo por la paz

1. A continuacin se presentan 10 proposiciones lgicas, se debe

registrar el valor de verdad de cada proposicin y su
correspondiente justificacin:

No.
1

Proposicin

El enunciado de Juan es un
enunciado cientfico

VoF
F

JUSTIFICACIN

El enunciado de Patricia es un
enunciado cientfico

El enunciado de Mara es una

proposicin lgica

El enunciado de Diego expresa una

conjuncin

De acuerdo con Freddy, si no nos

gusta vivir en comunidad, entonces
no nos gusta que existan mdicos.

MP
[(p>q) p] > q

De acuerdo con Ana, si no queremos

vivir en comunidad, entonces no
hacemos algo por la paz

Silogismo disyuntivo

De acuerdo con Jorge, Si respetemos

las leyes de la comunidad, entonces
nos gusta vivir en comunidad.

De acuerdo con Freddy, Si nos gusta

vivir en comunidad, nos gusta que
existan mdicos.

De acuerdo con Jorge, Si no nos

gusta vivir en comunidad, entonces
no respetamos la ley.

10

MP
[(p>q) p] > q

[(pq) p] > q

MP
[(p > q) p]> q

De acuerdo con Ana, si hacemos algo

por la paz, queremos vivir en
comunidad

Fase 2.
A continuacin, analiza la validez de la conclusin planteada por
Tania:

Tania: podemos concluir que si respetamos las leyes de la comunidad,

entonces hacemos algo por la paz
Declaracin de proposiciones simples:
p = Respetamos las leyes de la comunidad
q = hacemos algo por la paz
Premisas:
p > q
Conclusin:
q
Demostraciones:
Fase 2.1 Demostraciones a partir de la tabla de la verdad forma 1:
P q p>q (p > q) NP ((P >q) p) > q
vfffv
Fase 2.2: Demostracin a partir de las tablas de verdad forma 2:

P q pq pq p ((pq) p) q
vvvvv
vfffv
fvvfv
ffvfv
Fase 2.3 Demostracin a partir de las leyes de inferencia:
Premisa 1: pq
Premisa 2: p
Conclusin: q
RAZONAMIENTO POR MPP

Fase 2.4 Demostracin por reduccin al absurdo

Premisa 1: p q = v
Premisas 2: p =v
Conclusin q =F
Si la conclusin es falsa en la premisa 1, entonces la premisa 2 es
verdadera
No se cumple por: vf
=f, por ende es una contradiccin
Ejemplo para la fase 2:
Dilogo:
El benefactor hubo de ser: o Pedro, o Andrs
- Si hubiera sido Pedro, tuvo que estar presente, pero estaba de viaje.
En conclusin: tuvo que ser Andrs.

Declaracin de proposiciones simples:

p = El benefactor fue Pedro
q = El benefactor fue Andrs
s = Pedro estaba presente
t = Pedro estaba de viaje
Premisas:
premisa 1: p v q
premisa 2: p --> s
premisa 3: t
premisa 4: t --> ~s
Conclusin: q
Demostracin a partir de las tablas de verdad:
Primera forma:
Proposiciones simples Premisa 1 Premisa 2
Premisa 3 Premisa 4 Conclusin

p q s t ~s p v q p --> s t t --> ~s q

pvq

~s

p --> s

t --> ~s

Las premisas no son verdaderas y la conclusin es falsa, el razonamiento

es vlido.
Demostracin a partir de las leyes de inferencia:
premisa 1: p v q
premisa 2: p --> s
premisa 3: t
premisa 4: t --> ~s
____________________
5. ~s 3, 4 MPP
6. ~p 5, 2 MTT
7. q 6, 1 S.D
Las leyes de inferencia deducen la conclusin = razonamiento valido

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
El 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.