Logica matematica

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA


LÓGICA MATEMÁTICA


ACT. No 10 APORTE INDIVIDUAL


PRESENTA


YEISON MORENO CAMACHO
CÓDIGO: 1.006.696.237
GRUPO: 90004_625



TUTORLUIS GERMAN HUERFANO LADINO






NOVIEMBRE 11 DE1 2012
CEAD: ACACIAS META

INTRODUCCIÓN

En el presente trabajo se realizó una revisión preliminar a la segunda unidad del Módulo de LógicaMatemáticas, revisión de ejemplos, práctica en el Simulador y posteriormente a ello se inicia con el desarrollo de los puntos establecidos según la guía de actividades No.10 del trabajo colaborativo,finalizando con la fusión de los aportes de todos los participantes..


































Fase 1) Debate con tus compañeros de equipo: ¿El razonamientopropuesto es deductivo o inductivo?

RTA: DEDUCTIVO


Fase 2) A continuación, analiza la validez de la conclusión: “Respetamos la ley”


Premisa 1: O no nos gusta tener calidad de vida o nonos gusta vivir solos

Premisa 2: Nos gusta tener calidad de vida

Premisa 3: Si no nos gusta vivir solos, nos gusta vivir en comunidad

Premisa 4: Si nos gusta vivir en comunidad, entoncesrespetamos la ley


Declaración de proposiciones simples:

C: nos gusta tener calidad de vida.

S: nos gusta vivir solos.

G: nos gusta vivir en comunidad.

R: respetamos la ley.Premisas en lenguaje simbólico:





Conclusión en lenguaje simbólico: r


Demostraciones.


Demostración a partir de las tablas de verdad forma 1:

(Evaluando la existencia del caso enque las premisas sean verdaderas y la
Conclusión sea falsa)













Demostración a partir de las leyes de inferencia:





En conclusión, las leyes de inferencia permitendeducir la conclusión, por lo tanto el razonamiento es válido.

Fase 3) Debate con tus compañeros de equipo el razonamiento propuesto y registren en este espacio el producto del debate. ¿Qué ganamos y...