Está en la página 1de 12

TRABAJO COLABORATIVO DOS

INFERENCIAS LOGICAS

BLANCA ADRIANA HIGUERA


DAISY LORENA MOLINA TORRES

PRESENTADO A
NEVARDO ALONSO AYALA

UNIVERSIDAD ABIERTA Y A DISTANCIA UNAD


2014

INTRODUCCION

Todas las

ciencias necesitan de las leyes lgicas que permitan pasar de unos

esquemas a otros, y que correspondan a proposiciones tautolgicas; estas se expresan


en su mayora por medio de la implicacin o por equivalencias, al introducir las leyes
lgicas en un razonamiento, tenemos las certeza de no insertar errores en el. Una ley
lgica es el enunciado de un esquema valido de inferencia, mientras que una regle es el
enunciado de una instruccin para realizar una inferencia valida
Algunas de las leyes de inferencias son: el silogismo hipottico el cual podemos
enunciar de la siguiente manera; si se tiene como premisa dos condicionales tales que
el consecuente de uno de ellos es el antecedente del otro, entonces se puede inferir
como conclusin un condicional que tiene como antecedente el del primero y por
consecuente el del segundo, otra es la regla de separacin ley modus ponendo
ponens (MPP) la cual si se tiene un condicional como premisa y su antecedente es otra
premisa, entonces podemos inferir el consecuente del condicional como conclusin y
as podemos seguir nombrando cada una de las leyes de inferencia lgica como MTT,
regla de la simplificacin, regla de la unin o adjuncin.
En una demostracin suponemos que los fundamentos o hiptesis son enunciados
formalmente verdaderos, a partir de los cuales, por el uso de reglas validas de
deduccin, llegamos a proposiciones formalmente verdaderas

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 nos gusta 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.

Fase 1) A continuacin se presentan 10 proposiciones lgicas, se debe registrar


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

NO.

PROPOSICIN

LA
PROPOSICIN
ES
VOF

JUSTIFICACIN

El enunciado de Juan es un
enunciado cientfico

Ya que Juan empieza con


ALGUNAS PERSONAS.

El enunciado de Patricia es un
enunciado cientfico

Si porque ella est utilizando la expresin


TODOS. Que es lo que nos da que es un
enunciado cientfico.

El enunciado de Mara es una


proposicin lgica

No es una proposicin lgica porque est


realizando una pregunta.

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.

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.

De acuerdo con Ana, si


hacemos algo por la paz,
queremos vivir en comunidad

10

un cuantificador

No el enunciado de Diego es un implicacin


Ya que estamos utilizando la contra reciproca
de la expresin que realizo Freddy.

Porque Ana est realizando expresando


realmente que debemos hacer algo por la paz
para vivir en comunidad.
Porque utilizamos la reciproca de la expresin
que est realizando Jorge.

Estamos utilizando la reciproca


V
Estamos utilizando la contraria de la expresin
que dijo Jorge.

Si ya que ella expresa que o hacemos algo por


la paz o no queremos vivir en comunidad.

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

Declaracin de proposiciones simples:


Premisas:
P1

P2

P3

p v q

P4

P5

P6

Como la P4 y P5 no son suficientes para deducir la conclusin utilizamos solo P1, P2,
P3, P4 para concluir lo que dijo Tania
Premisa
1:

2:

3:

4:

p v q

Conclusin:

Demostraciones:

Demostracin a partir de las tablas de verdad forma 1:


Proposiciones
simples
p q r q
V V V F
V V F F
V F V V
V F F V
F V V F
F V F F
F F V V
F F F V

Premisa 1

Premisa 2

Premisa 3

p
F
F
F
F
V
V
V
V

P
V
V
V
V
F
F
F
F

p v q
V
V
V
V
F
F
V
V

Premisa 4

V
F
V
V
V
F
V
V

Conclusin

V
V
V
V
F
V
F
V

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 tablas de verdad forma 2:

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

F
F
V
V
F
F
V
V

F
F
F
F
V
V
V
V

V
V
V
V
F
F
F
F

V
V
V
V
F
F
V
V

Verificacin con simulador

( )

V
F
V
V
V
F
V
V

F
F
F
F
F
F
F

V
V
V
V
F
V
F
V

V
V
V
V
V
V
V
V

( )

Ya que debemos demostrar si r o p son verdaderas.


Demostracin a partir de las leyes de inferencia
Declaracin de las proposiciones simples
p= algunos no quieren la paz
p= todos queremos la paz
q= no queremos vivir en comunidad
r= debemos respetar las leyes

Demostrar

Premisa
1:

2:

3:

4:

3,1 Silogismo deductivo

4,5 MPP

6,2 MPP

Demostracin por reduccin al absurdo (Mtodo abreviado o prueba formal de


invalidez):
PREMISA 1:

PREMISA 2:

PREMISA 3:

PREMISA 4:

CONCLUSION

Si la conclusin es falsa, entonces r es verdadera y p es falsa, para la premisa 4 si r


es verdadera entonces toda la premisa es verdadera, para la premisa 3 si p es falsa y
si q es verdadera la premisa es verdadera de lo contrario sera falsa encontrando
una contradiccin, ahora si nos remitimos

a la premisa 2 si p es falsa no la

podramos admitir ya que encontramos una contradiccin al darle un valor de verdad


verdadero.
En conclusin, del anlisis por reduccin al absurdo se concluye que no es posible que
cuando las premisas sean verdaderas,
razonamiento es vlido.

la conclusin sea falsa, por l o tanto el

CONCLUSIONES

1. Las leyes lgicas constituyen el conjunto de las bases tericas sobre las que se
fundamentan las reglas de razonar correctamente.

2. Al pasar del pensamiento natural al pensamiento simblico debemos tener cuidado


de los enlaces que utilizamos para as

realizar una correcta deduccin de la

conclusin a partir de las leyes de inferencia

3. Con base en los documentos del modulo y apoyados por videos del mismo se
pudo desarrollar adecuadamente el presente trabajo colaborativo.

REFERENCIAS BIBLIOGRAFICAS

Georffrey Acevedo Gonzalez (2011). Modulo de Lgica Matemtica.


Recuperado el 10 de mayo de 2012 en:

Lawrence Turner (2012). Generador de tablas de la verdad. Consultado el 15 de mayo de


2012