Actividad 2 de logicamatematica


TRABAJO COLABORATIVO # 2


LÓGICA MATEMÁTICA






Presentado por:

LUZ ADILA PALACIOS CORDOBA
CÓDIGO: 32141180

CESAR ALEXIS CARREÑO
CÓDIGO: 74814763





GRUPO
90004_274







TUTORA
BIBIANA ROSERO CARVAJAL







UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA
CEAD QUIBDÓ – CHOCÓ
JUNIO 2016



INTRODUCCIÓN


Se realiza proceso según laguía de actividad, la actividad está dividida en tareas que se realizaran con el grupo colaborativo, el compromiso es realizar dela mejor forma las actividades propuesta, mediante ejemplos y recomendaciones del tutor, la idea es demostrar conceptos y temas de lógica matemática.
La participación de cada uno de los integrantes es importante para demostrar el conocimiento adquirido sobre laactividad propuesta, se profundiza en conceptos, tabla de verdad, leyes de inferencia, demostrando la valides.
En cualquier situación de nuestra vida diaria podemos interpretar las cosas que hacemos, hablamos y realizamos por medio de la lógica y esta a su vez nos lleva a mirar nuestra vida cotidiana por medio de proposiciones.
El aprendizaje en esta nueva unidad sobre las leyes de inferencia nos da másclaridad sobre como la logia analiza e interpreta todo lo que decimos.
En este trabajo queremos explicar las diferentes leyes de inferencia lógica y por medio de ejemplos explicar lo dicho anteriormente, dando una demostración por medio de las tablas de verdad y las diferentes leyes para llegar a la valides de los argumentos.
Queremos que al final del trabajo quede una idea más clara de cómopodemos utilizar las tablas de verdad y el uso de las leyes de inferencia, y como estas son involucradas en nuestro diario vivir para fortalecer cada una de las bases conceptuales.












OBJETIVOS

General.
Realizar la actividad de acuerdo a la guía de trabajo interpretando conceptos y teorías de lógica matemática.

Específicos

Comprender los diferentes principios y formas para demostrar unaley dando solución a un problema con interrogantes o la cual necesita demostrarse de forma gráfica.

Identificar los tipos de razonamiento, la validez de las conclusiones y la demostración por inferencias, tablas de verdad y reducción al absurdo.

Evidenciar el trabajo colaborativo y en equipo en pro de avanzar en nuestros conocimientos y formación como profesionales.

Identificar cada uno de losprincipios por los cuales rige las acciones académicas en fundamentación teórica para de esta forma poner en práctica lo estudiado.






















DESARROLLO DE LA ACTIVIDAD
1. Aplicación de las leyes de inferencia.



LEY DE INFERENCIA
CONCEPTUALIZACIÓN
EJEMPLO
MODUS TOLLENDO PONENS

POR
CESAR ALEXIS CARREÑO








La disyunción, que se simboliza con el operador V, representa unaelección entre dos enunciados. Ahora bien, en esa elección, forma parte de las posibilidades escoger ambos enunciados, es decir, la verdad de ambos enunciados no es incompatible, si bien, ambos no pueden ser falsos. A partir de lo anterior, se deduce la regla denominada tollendoponens (negando afirmo): si uno de los miembros de una disyunción es negado, el otro miembro queda automáticamente afirmado,ya que uno de los términos de la elección ha sido descartado.

1. p V q "Mi hijo está en la casa o está en la escuela"

2. ¬q "No está en la escuela"

3. p "Por tanto está en la casa"




DOBLE NEGACIÓN
La regla ‘doble negación’, simplemente establece que si un enunciado está doblemente negado, equivaldría al enunciado afirmado. “p doblemente negada equivale a p”¬¬p ↔ p
1. ¬¬p “No ocurre que yo no tenga dinero”

2. p “Yo tengo dinero”



ADJUNCIÓN
Si disponemos de dos enunciados afirmados como dos premisas separadas, mediante la adjunción, podemos unirlos en una sola premisa utilizando el operador Λ (conjunción)
1. p “Carlos Vives es cantante”

2. q “James Rodríguez es futbolista”

3. p Λ q “Carlos Vives es cantante y James Rodríguez...