TRABAJO COLABORATIVO DOS

INFERENCIAS LOGICAS

DAISY LORENA MOLINA TORRES

COD: 1.049.618.925

PRESENTADO A
NEVARDO ALONSO AYALA

UNIVERSIDAD ABIERTA Y A DISTANCIA UNAD

TUNJA
2014

INTRODUCCION

En el siguiente trabajo encontraremos ejercicios de lgica matemtica que

corresponden a proposiciones tautolgicas y de leyes de inferencia.
La tautologa es una proposicin lgica que es verdadera en todos los casos de su
tabla de verdad.
En el mbito de la lgica, una tautologa es una frmula de un sistema que resulta
verdadera para cualquier interpretacin. En otras palabras, se trata de una
expresin lgica que es verdadera para todos los posibles valores de verdad de
sus componentes atmicos. Para saber si una frmula dada es una tautologa, se
debe

construir

una

tabla

de

verdad.

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

N
1
2
3

PROPOSICION

PROPOSICION JUSTIFICACION
VOF
El enunciado de Juan es un V
La afirmacin es un
enunciado cientfico
enunciado universal
El enunciado de Patricia es un V
La afirmacin es un
enunciado cientfico
enunciado universal
El enunciado de Mara es una F
No
se
puede
proposicin lgica
determinar si es v o f
porque
es
una
pregunta.
El
enunciado de
Diego
F
No es consecuente
expresa una conjuncin
una proposicin con la
otra implicacin

10

De acuerdo con Freddy, si no nos

gusta
vivir
en
comunidad,
entonces no nos gusta que existan
mdicos.
De acuerdo con Ana, si no
queremos vivir en comunidad,
entonces no hacemos algo por la
paz
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

No
se
da
antecedente y no
cumple
consecuente
No
se
da
antecedente y no
cumple
consecuente
El
antecedente
consecuente
cumplen

el
se
el

El
antecedente
consecuente
cumplen

y
se

No
se
da
antecedente y no
cumple
consecuente
El
antecedente
consecuente
cumplen

el
se
el

De
acuerdo
con Ana, si V
hacemos algo por la paz,
queremos vivir en comunidad

el
se
el
y
se

y
se

Fase 2.
A continuacin, analiza la validez de la conclusin planteada por Tania:
Si respetamos las leyes de la comunidad entonces hacemos algo por la
comunidad.
Declaracin de proposiciones simples:
P= Si respetamos las leyes de la comunidad
q= Hacemos algo por la paz

Premisas:
1. p q
2. ~q

Conclusin: Si respetamos las leyes de la comunidad entonces hacemos algo por

la paz
Demostraciones:
Fase 2.1 Demostracin a partir de las tablas de verdad forma 1:
(Evaluando la existe del caso en que las premisas sean
conclusin sea falsa)
P
V
V
F
F

q
V
F
V
F

verdaderas y la

Pq
V
F
F
V

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
Primera forma:

Proposi
ciones
simples

Premisa 1 Premisa 2 Premisa 3 Premisa 4 Conclusin

p q st

pvq

p --> s

t --> ~s

V V VV F

V V VF F

VVFVV

VVFF V

V F VV F

V F VF F

VF FVV

VF FF V

F V VV F

F V VF F

F VFVV

F VFF V

F F VV F

F F VF F

F F FVV

F F FF V

~s

No existe el caso en que las premisas sean verdaderas y la conclusin sea falsa,
por lo tanto 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
En conclusin, las leyes de inferencia permiten deducir la conclusin, por lo tanto
el razonamiento es vlido.
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:

pvq =V

premisa 2:

p --> s

premisa 3:

premisa 4:

t --> ~s= V

=V
=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.

CONCLUSIONES

el trabajo fue realizado con gran dificultad, pero lo importante es que se

logro.
En la vida muchas veces nos enredamos con temas como estos y no nos
damos cuenta que todo tiene su justificacin.
Fue de gran inters la realizacin del trabajo, ya que aprend mucho para
aplicarlo en el da a da.

REFERENCIAS

Definicin
de
tautologa
Qu
Concepto http://definicion.de/tautologia/#ixzz3JqOaexFs

es,

Significado