ACT 10 TABAJO COLABORATIVO

PRESENTADO POR: Anit Muoz

PRESENTADO A: FREDDY VALDERRAMA Tutor virtual

UNIVERSIDAD NACIONAL ABIERTA Y DISTANCIA UNAD LGICA MATEMTICA

POPAYN, NOVIEMBRE, DE 2012

INTRODUCCIN En este trabajo se pretende demostrar los conocimientos adquiridos durante el desarrollo de las actividades del Unidad 2 del curso de lgica matemtica, este implica demostrar conocimientos razonamientos lgicos, Inferencias lgicas, leyes de inferencia, razonamientos deductivos e inductivos

Para m el razonamiento es inductivo ya que parte de premisas particulares como quienes conforman la comunidad, la ventajas de vivir en comunidad, lo que implica vivir en comunidad y las normas de una comunidad, estas premisas nos permiten plantear un principio general probable como es Quien no respeta la ley, entonces no acepta vivir en comunidad y por lo tanto est renunciando a sta y a sus beneficios

Premisa 1: O no nos gusta tener calidad de vida o no nos 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, entonces respetamos la ley

2.1 Declaracin de proposiciones simples: p = Nos gusta tener calidad de vida q = Nos gusta vivir solos. s = Nos gusta vivir en comunidad t = Respetamos la ley

2.2 Premisas en lenguaje simblico Premisa 1: ~ p v ~ q Premisa 2: p Premisa 3: ~ q --> s Premisa 4: s--> t 2.3 Conclusin en lenguaje simblico:

CONCLUSIN SIMBLICA: T 2.4 Demostraciones: 2.4.1 Demostracin a partir de las tablas de verdad forma 1: (Evaluando la existencia del caso en que las premisas sean verdaderas y la conclusin sea falsa)