Taller de logica matematica

Nombre de curso: 90004 – Lógica Matemática

Unidad 2, Razonamiento deductivo e inductivo


Políticas para el desarrollo de la actividad:

Profundización de la Unidad 2: Queridos estudiantes,a través de esta actividad
realizaremos el proceso de transferencia de los temas de la segunda unidad.

Problema de aplicación

Los razonamientos lógicos que hemos estudiado se encuentranpresentes no son
exclusivos de los espacios académicos. Por el contrario, hacemos uso de éstos en el debate cotidiano de ideas. A continuación se propone un diálogo 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 nosgusta que existan personas que hagan ropa, entonces nos gusta
vivir en comunidad.

Freddy: Si nos gusta que existan médicos, entonces queremos vivir en
comunidad.

María: ¿A quién no le gusta viviren 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,
entonceshacemos algo por la paz


Fase 2.

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

Premisas:
Conclusión:
Demostraciones:

Fase2.1 Demostración a partir de las tablas de verdad forma 1 :
(Evaluando la existe del caso en que las premisas sean verdaderas y la conclusión sea falsa)

Fase 2.2: 2.2.1. Demostración a partir delas tablas de verdad forma 2:
(Evaluando si la conjunción de las premisas implican la conclusión.)
2.2.2. Verificación con simulador

Fase 2.3: Demostración a partir de las leyes de inferencia:Fase 2.4: Por reducción al absurdo:

Ejemplo para la fase 2.2:
Diálogo:
El benefactor hubo de ser: o Pedro, o Andrés
- Si hubiera sido Pedro, tuvo que estar presente, pero estaba de viaje.
En...