LOGICA MATEMATICA

TRABAJO COLABORATIVO 2

ANDRES FELIPE GUERRERO BELTRAN – 90004

C.C 1049627642

Grupo – 21

TUTOR: ELBER FERNANDO CAMELO

UNAD

TUNJA

DICIEMBRE 2014

INTRODUCCION

La lógica siempre ha sido y será una parte importante en el desarrollo cognitivo y social en cualquier entorno, en este trabajo veremos la representación de esta lógica por medio de las premisas, valores de verdad, tablas de verdad, implicaciones y demás elementos, los cuales nos darán un concepto claro del uso de la lógica en nuestro diario vivir.

DESARROLLO

Fase 1.

1. A continuación se presentan 10 proposiciones lógicas, se debe registrar el valor de verdad de cada proposición y su correspondiente justificación:

No. Proposición La proposición

es

V o F Justificación

(usando Reglas de Inferencia)

1 El enunciado de Juan es un enunciado científico F Porque el enunciado de Fredy no se puede refutar.

2 El enunciado de Patricia es un enunciado científico F Se puede refutar puesto que debe haber alguna persona que no haga nada por la paz

3 El enunciado de María es una proposición lógica F Al ser una pregunta no aplica como proposición lógica.

4 El enunciado de Diego expresa una conjunción F Porque se expresa una condicional pues se usa el sí y entonces.

5 De acuerdo con Freddy, si no nos gusta vivir en comunidad, entonces no nos gusta que existan médicos. V

Porque se hace uso de la implicación contra reciproca

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

Porque se hace uso de la implicación contra reciproca

7 De acuerdo con Jorge, Si respetemos las leyes de la comunidad, entonces nos gusta vivir en comunidad. V

Se hace uso de la implicación reciproca

8 De acuerdo con Freddy, Si nos gusta vivir en comunidad, nos gusta que existan médicos. V Se hace uso de la implicación reciproca

9 De acuerdo con Jorge, Si no nos gusta vivir en comunidad, entonces no respetamos la ley. V Porque se hace uso de una implicación contraria.

10 De acuerdo con Ana, si hacemos algo por la paz, queremos vivir en comunidad V Porque hace una de una condicional que se plantea al inicio.

Fase 2.

A continuación, analiza la validez de la conclusión planteada por Tania:

Podemos concluir que si respetamos las leyes de la comunidad, entonces hacemos algo por la paz

P: Vivimos en comunidad

Q: Respetamos las leyes

R: hacemos algo por la paz

Premisas: P->Q

Conclusión: Q

Fase 2.1 Demostración a partir de las tablas de verdad forma 1 :

Fase 2.2:

2.2.1. Demostración a partir de las tablas de verdad forma 2:

Fase 2.3: Demostración a partir de las leyes de inferencia:

Premisa 1: P -> Q

Premisa 2: P

__________________

Conclusión: Q

Este razonamiento se realizó usando el MPP

Fase 2.4: Por reducción al absurdo:

Premisa 1: P→ Q= V

Premisas 2: P =V

Conclusión: Q =F

El razonamiento no es válido puesto

...