Logica matematica

ACT. 10. TRABAJO COLABORATIVO 2. APORTE INDIVIDUAL
RAZONAMIENTO LOGICO







OSCAR ANDRES SANCHEZ PRIETO










UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
NOVIEMBRE
BOGOTA2013



Parte 2
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 quese limiten en sus acciones, también, al vivir en comunidad aceptamos restringir voluntariamente nuestras acciones.
El planteamiento es deductivo puesto que parte del no cumplimiento de las normas y laley en comunidad indicando que no se obtendrían también beneficios individuales.
Premisa 1: Si nos gusta vivir en comunidad.
Premisa 2: entonces respetamos la ley
Premisa 3: al vivir en comunidadaceptamos restringir voluntariamente nuestras acciones.




2.1 DECLARACIÓN DE PROPOSICIONES SIMPLES:
p = Si nos gusta vivir en comunidad..
q = entonces respetamos la ley
r = para vivir encomunidad
s = aceptamos restringir voluntariamente nuestras acciones.
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 ENLENGUAJE SIMBÓLICO: S



DEMOSTRACIONES A PARTIR DE LAS TABLAS DE LA VERDAD
p q r s ¬p ¬q Premisa 1 ¬p v ¬q Premisa2 p Premisa 3 ¬ q > r Premisa 4
r > s Conclusion.




[(Premisa 1) ^(premisa 2) ^ (premisa 3) ^ (premisa 4)]--- Conclusión
((¬ p v ¬ q) & (p) & (¬ q > r) & (r > s)) > s
Premisa1 Y Premisa2 Y Premisa3 Y Premisa4 Conclusión
p q r s ¬p ¬q (¬pv¬q) & (p) & (¬q>r) & (r>s) SSIMULADOR
Observa que efectivamente hemos obtenido una tautología.
LEYES DE INFERENCIA:
Modus Ponendo Ponens (MPP) ó Modo Afirmado.
Premisa 1: ¬ p v ¬ q
Premisa 2: p
Premisa 3: ¬ q > r
Premisa4: r > s
_______________
En conclusión, las leyes de inferencia permiten deducir la conclusión, por lo tanto el razonamiento es válido.
DEMOSTRACION POR REDUCCION
Premisa 1: ¬ p v ¬ q
Premisa...