LOGICA MATEMATICA - TAREA 1

LOGICA  MATEMATICA

 ACTIVIDAD  INDIVIDUAL 

TAREA (1): APLICACIÓN DE LAS LEYES DE INFERENCIA.

APORTE INDIVIDUAL.

Socializar en el Foro destinado para el trabajo colaborativo 2 la conceptualización yejemplosespecíficos (En caso de ser un ejemplo extraídopor alguna fuentebibliográfica, se debe citar correctamente empleando Normas APA)de alguna del grupo de las Leyesde Inferencia Lógica (sólo selecciona un grupo de los 5 mostrados e informa en el foro cual escogió, para que no sea escogido por otrointegrante),lascuales son:

• Modus Ponendo Ponens, Modus Tollendo Tollens y Silogismo Hipotético.

• Modus Tolendo Ponens, Doble Negación y adjunción.

• Simplificación, adición y silogismo disyuntivo.

• Simplificación disyuntiva,Absorción y De Morgan.

• Distributiva, exportación y contraposición

TAREA (2): PROBLEMAS DE APLICACIÓN I PARTE.

Solucionar los siguientes enunciados y demostrar la validez o no validez del argumentodado a través de:

• Uso de las tablas de verdad.

• Uso de las leyes de Inferencia.

TAREA (3): PROBLEMAS DE APLICACIÓN II PARTE.

Solucionar los enunciados de la tarea 2 y demostrar la validez o no

validez del argumento dado a través del:

• Uso del método de reducción al absurdo.

• Uso del simulador Truth Table.

TAREA (4): CREATIVIDAD EN LA PROPOSICIÓN DE SITUACIONES DE LA VIDA COTIDIANA.

En un letrero de la se presenta el siguiente argumento enlenguaje simbólico.

((p→q)Λ(¬r→p)Λ(qVs))→(¬q→s)

El grupo colaborativo debe convertir el anterior argumento en lenguaje natural de tal forma que la información o el mensaje que deseen expresar tenga sentido lógico (Es decir deben hacer lo contrario de la tarea 2 y 3, ya que las anteriores tareas, se presentaban en lenguaje natural y el propósito es convertirlo en lenguaje simbólico).

Finalmente, deben demostrar que el anterior argumento es válido a través de:

• Uso de las tablas de verdad.

• Uso de las leyes de inferencia.

• Uso del método de reducción al absurdo.

• Uso del simulador Truth Table.