Trabajo Colaborativo1 De Logica Matematica

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LÓGICA MATEMÁTICA

Act 6 Trabajo Colaborativo 1

Presenta

Esnodio Mena Padilla cod 11798807
Thomas Alberto Castrillo Castro cod 12550207

Tutor

Edwin Andrés Murillo Fernández

Director de curso

Georffrey Acevedo González

Octubre 11 de 2011

Introducción

Para desarrollar el presente trabajo es necesario estudiar yentender el contenido de la unidad uno del modulo, practicar ejercicios, familiarizarse con los temas allí contenidos, realizar un estudio por temas, en la fase uno, se estudiara todo lo referente a la intersección, la unión, la diferencia y el complemento.

En la fase dos es necesario revisar el material del modulo y consultar en páginas web el tema de proposiciones con el fin de calcular el áreasombreada dada en la figura y comparándolas con otras expresiones similares con el fin de estructurar la mejor y saber cuando realmente corresponde a una proposición y cuando no es una proposición, en la fase 2.2. se le debe dar solución a cinco proposiciones las cuales se deben convertir en premisas y luego expresarlas en lenguaje simbólico utilizando los conectivos lógicos, en la fase 2.3, se debedesarrollar las tablas de verdad de dos expresiones y conocer el valor de verdad de las proposiciones compuestas y se deben clasificar como tautología, contradicción o contingente, en la fase 2.4, debemos utilizar el simulador de tablas de verdad para saber si las expresiones que utilizamos en el punto anterior, están bien estructuradas y que no presente errores, aquí se debe usar el material deapoyo para resolverla; en la fase 2.5 usando las tablas de verdad se debe comprobar la equivalencia de dos expresiones lógicas, en la fase 2.6 se trata de encontrar las proposiciones contrarias, recíproca y contra reciproca de esta expresión (Si el ganado es Jersey tendré buena leche); en la fase 2.7 se deben plantear expresiones contrarias, contradictorias y sub contrarias utilizando la figurapropuesta .En la fase tres se concluye sobre la reflexión sobre la lógica.

La dificultad se encontró en el simulador, porque no estamos familiarizados con su manejo, fue necesario documentarnos e investigar más con lecturas, videos, etc. para poder obtener el pantallazo

Fase 1. Saberes previos para la unidad: Teoría de conjuntos
En este punto el equipo debe elegir dos expresiones entre laspropuestas individualmente por cada participante, tal que mediante operaciones entre los conjuntos representen el área sombreada:

Expresión 1: (B ∩C) - A
Expresión 2: (B-A) ∩ C

Fase 2. Principios de lógica
2.1. En su aporte individual, cada estudiante debe plantear diez expresiones relacionadas con su programa de estudio, tal que cinco de las expresiones correspondan aproposiciones lógicas y cinco expresiones que no puedan ser clasificadas como proposiciones. De éstas expresiones, el equipo debe elegir una de las propuestas por cada participante:
Nombre del estudiante | Son proposiciones lógicas: | No son proposiciones lógicas |
| El PC, funciona electrónicamente | ¿Qué es una red? |
ESNDIO MENA PADILLA | La Unad es una institución de educación superior | ¿Elsoftware es útil? |
THOMAS ALBERTO CASTRILLO | Los virus informáticos ocasionan mal funcionamiento en el pc | Pienso que aprenderemos sistemas |
| Si estudio ingeniería de sistemas entonces trabajo como ingeniero | El computador es inteligente |
| Soy ingeniero de sistema si y solo sí me gradúo | Pienso que estudiaremos mañana |
2.2. A continuación se propone identificar los conectivoslógicos y proposiciones simples presentes en cada expresión, posteriormente plantearán una expresión equivalente en lenguaje simbólico:

Expresión | premisas | Lenguaje simbólico |
La tolerancia es necesaria para la paz | p = La toleranciaq= Es necesaria para la paz | p→q |
Ser tolerante es el camino hacia la paz. | P=Ser tolerante es el camino hacia la paz | P |
Para aprender...