Logica Matematica

Fase 1) debate con tus compañeros de equipo: ¿el razonamiento propuesto es deductivo o inductivo?

¿Qué debo hacer para vivir en comunidad?

Ahora bien, si elegiste vivir en una comunidad, deberás respetar la ley, sin

importar que tu fuerza física sea mayor que la de otros, sin importar que

tengas más estudios o conocimientos que otros, sin importar que tengas

más recursos económicos que otros, para vivir en comunidad, es

necesario que respetemos la ley, ya que por medio de la ley es que las

personas podemos ejercer el respeto de nuestros derechos, y podremos

exigirlos aun a los más ricos o fuertes. Igualmente, al exigirles a otros que

se limiten en sus acciones, también, al vivir en comunidad aceptamos

restringir voluntariamente nuestras acciones.

Para mi el razonamiento del texto es inductivo ya que partimos de premisas particulares para llegar a concluir una ley general.

Fase 2) A continuación, analiza la validez de la conclusión: “Respetamos la ley”

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 Declaración de proposiciones simples:

p = Nos gusta tener calidad de vida

q = Nos gusta vivir solos

r = Nos gusta vivir en comunidad

s = Respetamos la ley

2.2 Premisas en lenguaje simbólico:

Premisa 1: ~p v ~q

Premisa 2: p

Premisa 3: ~q → r

Premisa 4: r → s

2.3 Conclusión en lenguaje simbólico: s

2.4 Demostraciones:

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

Proposiciones simples ~p ~q Premisa 1 Premisa 2 Premisa 3 Premisa 4 Conclusión

p q r s ~p ~q ~p v ~q p ~p r

r s

s

V V V V F F F V V V V

V V V F F F F V V F F

V V F V F F F V V V V

V V F F F F F V V V F

V F V V F V F F F F V

V F V F F V V F V F F

V F F V F V V F F V V

V F F F F V V F F V F

F V V V V F V F V V V

F V V F V F V F V F F

F V F V V F V F V V V

F V F F V F V F V V F

F F V V V V V F V V V

F F V F V V V F V F F

F F F V V V V F F V V

F F F F V V V F F V F

2.4.2: Demostración a partir de las tablas de verdad forma 2:

[( premisa 1) ^ (premisa

...