LOGICA

p = No nos gusta tener calidad de vida

q = No nos gusta vivir solos

r = Nos gusta vivir en comunidad

t = Respetamos la ley

Premisa 1: p v q

Premisa 2: ~p

Premisa 3: ~q r

Premisa 4: r--> t

p q r t ~p ~q pvq ~p ~q r r-->t t

v v v v f f v f v v v

v v v f f f v f v f f

v v f v f f v f v v v

v v f f f f v f v v f

v f v v f v v f v v 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 v v v v

f v v f v f v v v f f

f v f v v f v v v v v

f v f f v f v v v v f

f f v v v v f v v v v

f f v f v v f v v f f

f f f v v v f v f v v

f f f f v v f v f v f

2.4.3. Verificación con simulador

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

1). Para el simulador: ((pvq) & (¬p) & (¬q>r) & (r>s))>s

Se obtiene un caso para el cual las premisas son verdaderas y la conclusión es falsa, y por lo tanto El razonamiento es inválido.

p | q | r | s |

| [ (pVq)Λ (¬p)Λ(¬q→r)Λ (r→s)]→s |

|

T |

2.4.4. Demostración a partir de las leyes de inferencia:

Premisa 1: p v q

Premisa 2: ~p

Premisa 3: ~q r

Premisa 4: r--> t

__________________

5. p 1, 2, S.D o MTP

6. s 5, 3 MP O MPP

2.4.5.: Demostración por reducción al absurdo:

Premisa 1: p v q = V

Premisa 2: ~q = V

Premisa 3: p-->s = V

Premisa 4: ~q-->p = V

_________________

Conclusión: s = F

Fase4:

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.

¿Quién elige agredir en lugar de dialogar tiene un problema con su lógica? ¿Dado

que la lógica es una y sus conclusiones son infalibles, quién es malo, tiene

problemas de razonamiento lógico?

Esta es mi respuesta referente al tema:

Cuando se cometen malos actos se tiene problemas de lógica. Todos sabemos lo que es malo y lo que es bueno, sin embargo hacemos cosas malas. Somos contradictorios porque la persona que agrede es mala y tiene problemas de razonamiento lógico, pero la persona que dialoga es buena, y si yo agredo quiere decir que soy malo y tengo problemas de razonamiento lógico. Dado que las conclusiones de la lógica son infalibles la ley puede basar su accionar en razonamientos lógicos para determinar si soy bueno o malo según mis acciones.

CONCLUCIÓN

Cuando utilizamos la lógica en cada proposición que hacemos podemos ver que tan sensato es lo que realizamos, en nuestra cotidianidad hay proposiciones lógicas solo debemos identificar correctamente cuales lo son y podemos aplicar la lógica matemática en nuestra vida cotidiana.

REFERENCIAS BIBLIOGRÁFICAS

Acevedo G, G. (2012). Módulo de Lógica Matemática Universidad Nacional

Abierta y a Distancia. Medellín. (págs 155 a 212).

• Enlace: http://datateca.unad.edu.co/contenidos/90004/2013-2/90004.zip

...