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

V F V V V V V V V

V F F V V F V F V

F V V V F V V F V

F V F V F V V F V

F F V F V V F F V

F F F F V V F F V

Se obtiene una tautología, demostrando que la conjunción de las premisas implican la conclusión y por lo tanto el razonamiento es válido

2.2.2 Simulador:

Haciendo uso del siguiente simulador, podrás verificar el desarrollo de las tablas de verdad:

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

Video cómo usar el simulador: http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

Simulador:

Haciendo uso del siguiente simulador, verificar el desarrollo de las tablas de verdad:

http://recursos.educarex.es/escuela2.0/Humanidades/Etica_Filosofia_Ciudadania/Aprende_logica/logica/03tablasvdad/generadorfrset.html

2.3 Demostración

a partir de las leyes

...