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 Demostraciones

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

Proposiciones simples Premisa 1 Premisa 2

Premisa 3 Premisa 4 Conclusión

p q s p v q ~q p-->s ~q-->p s

V V V V F V V V

V V F V F F V F

V F V V V V V V

V F F V V F V F

F V V V F V V V

F V F V F V V F

F F V F V V F V

F F F F V V F F

No existe el caso en que las premisas sean verdaderas y la conclusión sea falsa, por lo tanto el razonamiento es válido.

2.4.1Demostración a partir de las tablas de verdad forma 2

[(Premisa 1) ^ (premisa 2) ^ (premisa 3) ^ (premisa 4) ] ---> Conclusión

[(p v q) ^ (~q) ^ (p-->s) --> (~q -->p)]

...