Los conocimientos adquiridos durante el desarrollo de las actividades

INTRODUCCIÓN

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

Declaración de proposiciones simples:

p: Nos gusta vivir en comunidad

q: Nos vamos al monte

s: Respetamos la ley

Premisas en lenguaje simbólico:

Premisa 1: p v q

Premisa 2: ~q

Premisa 3: p-->s

Premisa 4: ~q-->p

Conclusión: S

2.1 Demostració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.2.1 Demostració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)] -->s

Preposiciones simples Premisa 1 Premisa 2

Premisa 3 Premisa 4 Conjunción de las premisas Implicación.

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

V V V V F V V F V

V V F V F F V F V

...