UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LGICA MATEMTICA Trabajo individual No.2

Presentado:

Hctor Javier Hoyos Hernndez Cdigo: 10567496

Tutor: Omar Leonardo Leyton

La sierra Cauca Mayo de 2012

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica 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: Patricia: Ana: Diego: gusta Freddy: algunas personas pueden hacer algo por la paz. No Juan. Todos podemos hacer algo por la paz. O hacemos algo por la paz o no queremos vivir en comunidad. Si nos gusta que existan personas que hagan ropa, entonces nos vivir en comunidad. Si nos gusta que existan mdicos, entonces nos gusta vivir en comunidad. A quin no le gusta vivir en comunidad? Si nos gusta vivir en comunidad, es necesario que respetemos las leyes de la comunidad. podemos concluir que si respetamos las leyes de la comunidad, entonces hacemos algo por la paz

Mara: Jorge:

Tania:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica Fase 1) A continuacin se presentan 10 proposiciones lgicas, se debe registrar el valor de verdad de cada proposicin y su correspondiente justificacin: La proposicin es VoF

No.

Proposicin

Justificacin

1 2

El enunciado de Juan es un enunciado cientfico El enunciado de Patricia es un enunciado cientfico El enunciado de Mara es una proposicin lgica El enunciado de Diego expresa una conjuncin

V V F F V V

Porque esto en ciencias sociales es un enunciado particular afirmativo. Porque en ciencias sociales es un enunciado universal afirmativo. Porque es un enunciado en interrogante al cual no se le puede dar valor de falso o verdadero Porque expresa un condicional Porque es una implicacin contra reciproca Porque es una implicacin reciproca

De acuerdo con Freddy, si no nos 5 gusta vivir en comunidad, entonces no nos gusta que existan mdicos. De acuerdo con Ana, si no queremos 6 vivir en comunidad, entonces no hacemos algo por la paz De acuerdo con Jorge, Si respetemos 7 las leyes de la comunidad, entonces nos gusta vivir en comunidad. De acuerdo con Freddy, Si nos gusta 8 vivir en comunidad, nos gusta que existan mdicos. De acuerdo con Jorge, Si no nos gusta 9 vivir en comunidad, entonces no respetamos la ley. De acuerdo con Ana, si hacemos algo 10 por la paz, queremos vivir en comunidad

Porque es una implicacin reciproca

V
Porque es una implicacin reciproca

V
Porque es una implicacin contraria

V
Porque es una implicacin contraria

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica 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: Nos gusta vivir en comunidad Q: Respetar las leyes de la comunidad R: Hacer algo por la paz Premisas: Premisa 1: p Premisa 2: p q Premisa 3: r Conclusin: p r Demostraciones: Fase 2.1: Demostracin a partir de las tablas de verdad Forma 1: P F F F F V V V V Q F F V V F F V V R F V F V F V F V PREMISA 1 F F F F V V V V PREMISA 2 V V V V F F V V PREMISA CONCLUSION 3 F V V V F V V V F F V V F F V V

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

Fase 2.2: 2.2.1. Demostracin a partir de las tablas de verdad Forma 2: P Q R F F F

PREMIS A1 PREMIS A2 PREMIS A3 P1^P2^P 3 CONCLUSIO N P1^P2^P3CO NCLUSION

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica F F F V V V V F V V F F V V V F V F V F V F F F V V V V V V V F F V V V F V F V F V F F F F F F V V V V F V F V V V V V V V V

Se obtiene una tautologa, demostrando que la conjuncin de las premisas implican la conclusin y por lo tanto el razonamiento es vlido.

2.2.2. Verificacin con simulador

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica Fase 2.3: Demostracin a partir de las leyes de inferencia Premisa 1: p Premisa 2: p q Premisa 3: r Conclusin: p r Premisa 5: q Premisa 6: pr 1,2 MPP 5,3 S.D

En conclusin, las leyes de inferencia permiten deducir la conclusin, por lo tanto el razonamiento es vlido. Fase 2.4: 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 Premisa 2: p q Premisa 3: r Conclusin: p r V V V F

Si la conclusin es Falsa entonces P es Verdadera lo que verifica la premisa 1, y r es Falsa lo que negara la premisa 3, y para que la premisa 2 sea Verdadera con p Verdadera, q debe ser verdadera.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA Escuela de ciencias bsicas tecnologas e Ingeniera Lgica Matemtica CONCLUSIONES: Al elaborar este trabajo se logro aprender a elaborar las reglas de inferencia y utilizarlas para justificar la validez de un argumento lgico. Se logro definir y aplicar las reglas de inferencia para argumentos cuyas premisas y conclusiones estn formadas por proposiciones no cuantificadas.