Logica Tc2

TRABAJO COLABORTIVO 2

ALEXANDER ORTIZ JIMENEZ

Grupo:736

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BASICAS , TECNOLOGIAS E INGENIERIAS.

INGENIERIA ELECTRONICA

TUNJA-BOYACA

2013

INTRODUCCION

El siguiente trabajo hace referencia a la diferenciación de razonamientos lógicos deductivos de los inductivos, asimismo las leyes de inferencia que validan estos razonamientos, también de la utilización de tablas de verdad en donde se observaran tautologías en las cuales la conclusión siempre será verdadera sin importar el valor de las premisas, que conforman dicho argumento, en consecuencia validarlo o invalidarlo para posteriormente tener mayor habilidad a la hora de razonar en un contexto determinado.

Hare énfasis principalmente en demostraciones a través de las leyes de inferencia, tablas de verdad y el simulador que permitirán validar lo concluido.

Juan quiere tener calidad de vida. Sólo se puede tener calidad de vida viviendo con otros seres humanos. ¿Qué debo hacer para vivir en comunidad? Si Juan elige vivir en comunidad, deberá respetar la ley. Quien respeta la ley, cuida a los otros. Si Juan tiene más fuerza física que los otros, o si Juan tiene más estudios o conocimientos que otros, o si Juan tiene más recursos económicos que otros, pero Juan quiere vivir en comunidad, Juan tiene que respetar la ley. La experiencia verifica que las personas malas son ignorantes de este principio.

Podemos concluir entonces que si Juan no cuida de los otros, no respeta la ley, y por lo tanto no acepta vivir en comunidad, luego, está renunciando a ésta y a sus beneficios.”

El razonamiento es deductivo porque a través de sus premisas llegamos a su conclusión con la utilización de las leyes de inferencia

PREMISAS

1. O Juan no quiere vivir en comunidad o Juan no respeta la ley.

2. Juan quiere vivir en comunidad.

3. Si juan no respeta la ley, entonces no cuida los otros.

4. Si Juan no cuida a los otros, entonces no acepta vivir en comunidad.

Proposiciones atómicas

p: Juan quiere vivir en comunidad

q: Juan respeta la ley

r: Juan cuida a los otros

s: Juan acepta vivir en comunidad

PREMISAS EN LENGUAJE SIMBÓLICO

p q

p

q r

rs

Conclusión en lenguaje simbólico

s

Demostración 1

p q r s p q p q r rs s

F F F F V F V V V

F F F V V F V F F

F F V F V F F V V

F F V V V F F V F

F V F F V F V V V

F V F V V F V F F

F V V F V F F V V

F V V V V F F V F

V F F F V V V V V

V F F V V V V F F

V F V F V V F V V

V F V V V V F V F

V V F F F V V V V

V V F V F V V F F

V V V F F V V V V

V V V V F V V V F

Siempre que las premisas son verdaderas la conclusión también lo será por consiguiente el razonamiento es valido

Demostración 2

{[(¬pV¬q)Λp]Λ[( ¬ q→¬r) Λ (¬ r→¬s)]} →¬r

p q r s p q p q (p q) p r q r s rs (q r)  (rs) [(p q) p] [(q r)  (rs)] [(p q) p] [(q

...