LOGICA MATEMATICA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LÓGICA MATEMÁTICA

Aporte al trabajo colaborativo 2

Presentado por:

Alba Edith Galindo Vasco

Tutor:

Lógica Matemática

Director de curso

Geoffrey Acevedo González

Bogotá

FECHA 06/11/2012

INTRODUCCION

En este trabajo se pretende demostrar los conocimientos adquiridos durante el desarrollo de las actividades del Unidad 2 del curso de lógica matemática, este implica demostrar conocimientos razonamientos lógicos, Inferencias lógicas, leyes de inferencia, razonamientos deductivos e inductivos.

Fase 1. Debate con tus compañeros de equipo: ¿El razonamiento propuesto es deductivo o inductivo?

1.1 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.”

Fase 2. Validez de la conclusión: “Respetamos la ley”

Premisa 1: O nos gusta vivir en comunidad o nos vamos al monte

Premisa 2: No nos vamos al monte

Premisa 3: Si nos gusta vivir en comunidad, entonces respetamos la ley

2.1 Declaración de proposiciones simples:

p: Nos gusta vivir en comunidad

q: Nos vamos al monte

s: Respetamos la ley

2.2 Premisas en lenguaje simbólico:

Premisa 1: p v q

Premisa 2: ~q

Premisa 3: p-->s

Premisa 4: ~q-->p

2.3 Conclusión: s

2.4

...