Atc 10 logica matematica

Trabajo:
Trabajo colaborativo # 2

Entregado por:

N-N

Entregado a:

YENITH EDILSA SALAZAR “Tutora”


UNAD. Universidad Nacional Abierta y a Distancia
CEAD. José AcevedoGómez
Zona Centro Bogotá Cundinamarca

Fecha: 28 de Mayo de 2012



Introducción |
1. Dialogo 2. Proposiciones lógicas 3. Declaración de proposiciones simples. 4. Demostración apartir de la tabla de verdad. 5. Demostración a partir de las leyes de inferencia. 6. Reducción al absurdo. |

1: Diálogo:
A continuación se propone un diálogo entre varios estudiantes dela UNAD, debes analizar este dialogo para dar respuesta a las fases 1 y 2:


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 queexistan médicos, entonces queremos vivir en comunidad.
María: ¿A quién no le gusta vivir en comunidad?
Jorge: Si nos gusta vivir en comunidad, es necesario que respetemos las leyes de lacomunidad.
Tania: podemos concluir que si respetamos las leyes de la comunidad, entonces hacemos algo por la paz


2: A continuación se presentan 10 proposiciones lógicas, debes analizar elvalor de verdad de cada proposición y registrar su valor. También debes registrar la justificación de por qué se asignó dicho valor.

No. | Proposición | La proposición es V o F | Justificación
|1 | El enunciado de Juan es un enunciado científico | V | p q |
2 | El enunciado de Patricia es un enunciado científico | V | [(p →q) ∧ p]→q |
3 | El enunciado de María es unaproposición lógica | V | ̚ t |
4 | El enunciado de Diego expresa una conjunción | V | p ˄ q |
5 | De acuerdo con Freddy, si no nos gusta vivir en comunidad, entonces no nos gusta...