Tc2logica Jorge Ojeda

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD
LOGICA MATEMATICA
TRABAJO COLABORATIVO 2
TUTOR: LUIS GERMAN HUERFANO
PRESENTADO POR: Jorge Orlando Ojeda Mrquez Cd. 79.939.184 CEAD JAG
Bogot
MAYO DE 2013
A continuacin se plantea un argumento lgico: Para nuestra deduccin, partamos de aceptar las siguientes premisas: Nos gusta que al abrir un grifo, por ste salga agua. Nos gusta que existan personas que se dediquen a fabricar zapatos, tambin nos gusta que existan mdicos. Tambin nos gusta que existan personas que se dedican a compartir su conocimiento. Luego, tener agua, tener donde comprar zapatos, y tanto mdicos como maestros, implica dos cosas: necesitar de otras personas y tener calidad de vida. Y a su vez, necesitar de otras personas es vivir en comunidad. Podemos concluir entonces que como a todos nos gusta tener calidad de vida, a todos nos gusta vivir en comunidad. Qu debo hacer para vivir en comunidad?
El razonamiento es inductivo debido que se tiene premisas particulares como: Nos gusta que existan mdicos o que al abrir el grifo por esta salga agua en base a estos argumentos se puede concluir que nos gusta vivir en comunidad. Fase 2) A continuacin, analiza la validez de la conclusin: 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 Declaracin 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 simblico: Premisa 1: p V q Premisa 2: P Premisa 3: q r Premisa 4: r S 2.3 Conclusin en lenguaje simblico: Conclusin: S (Respetamos la ley) 2.4 Demostraciones: 2.4.1: Demostracin a partir de las tablas de verdad forma 1 : (Evaluando la existencia del caso en que las premisas sean verdaderas y la conclusin sea falsa) Proposiciones simples | | Premisa 1 | Premisa 2 | Premisa 3 | Premisa 4 |
Conclusin |
P V V V V V V V V F F F F F F F F
Q V V V V F F F F V V V V F F F F
S V V F F V V F F V V F F V V F F
R V F V F V F V F V F V F V F V F
-S F F V V F F V V F F V V F F V V
Pq F F F F V V V V F F F F V V V V
qr V V V V V V F F V V V V V V F F
rp V V F F V V F F F F F F F F F F
rsS V F F V V F F V V F F V V F F V
~S F V V V F V F V V V F V V V F V
Esta proposicin es contingente.
Proposiciones simples | | Premisa 1 | Premisa 2 | Premisa 3 | Premisa 4 | Conclusin |
P V V V V V V V V F F F F F F F F
Q V V V V F F F F V V V V F F F F
S V V F F V V F F V V F F V V F F
R V F V F V F V F V F V F V F V F
S F F V V F F V V F F V V F F V V
P F F F F F F F F V V V V V V V V
q F F F F V V V V F F F F V V V V
R V V F F V V F F V V F F V V F F
SS V F V F V F V F V F V F V F V F
S V V V V V V V V V V V V V V V V
El resultado es una tautologa.
Verifcacion con el simulador
Demostracin a partir de las leyes de inferencia: Premisa 1: ~p ~q Premisa 2: p Premisa 3: ~q r Premisa 4: r s Teniendo en cuenta la regla de que las premisas deben ser verdaderas, para la inferencia y aplicando el silogismo disyuntivo S.D o M.T.P en las premisas (1 y 2)
Si una disyuncin es verdadera y una de sus proposiciones simples es falsa, entonces necesariamente la otra proposicin ser verdadera. Premisa 1: ~ p v ~ q Silogismo disyuntivo Premisa 2: p lo mencionado anteriormente (~ p v ~ q) es verdadero, pero (p) es verdadero, por tanto para que se cumpla que la primera premisa sea verdadera, (~q) debe ser verdadero Conclusin: ~q El razonamiento es correcto
Demostracin por reduccin al absurdo: Premisa 1: (~p ~q) verdadera Premisa 2: (p) verdadera Premisa 3: (~q r) verdadera Premisa 4: (r s )verdadera Conclusin: (~q) falsa Si ~q es falsa, es necesario que para que la premisa 1 sea verdadera, ~p debe ser verdadera, lo que crea una contradiccin con la premisa 2 ya que se estableci que p es verdadera, dado que es imposible que p y ~p sean verdaderas al tiempo, llegamos a una contradiccin, en conclusin no es posible que cuando las premisas sean verdaderas, la conclusin sea falsa, por tanto el razonamiento es Debate con tus compaeros de equipo el razonamiento propuesto y registren en este espacio el producto del debate. Qu ganamos y a qu renunciamos al vivir en sociedad? (Contextualiza tu respuesta en la realidad mundial). Al vivir en comunidad creo que la ganancia es mucho mas que las perdidas que se tienen debido a que en la constante interrelacin con las dems personas de nuestra sociedad nos impulsa a un constante aprendizaje y a una mejora continua a partir de las vivencias , respecto a las perdidas estas son relacionadas a nuestra privacidad debido que es necesario sacrificar un poco de esta para intercambiar informacin y crear grupos de intercambio con las personas que se encuentran en nuestro entorno social.

Tc2logica Jorge Ojeda

Cargado por

Copyright:

Formatos disponibles

Tc2logica Jorge Ojeda

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Tc2logica Jorge Ojeda

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

TUTOR: LUIS GERMAN HUERFANO

Esta proposicin es contingente.

Proposiciones simples | | Premisa 1 | Premisa 2 | Premisa 3 | Premisa 4 | Conclusin |

El resultado es una tautologa.

Verifcacion con el simulador

También podría gustarte