Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
791Activity
0 of .
Results for:
No results containing your search query
P. 1
EJERCICIOS LOGICA 4

EJERCICIOS LOGICA 4

Ratings:

4.77

(22)
|Views: 108,909 |Likes:
Published by Hector Gonzalez

More info:

Published by: Hector Gonzalez on Jun 02, 2008
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

07/02/2014

pdf

text

original

 
GUÍA DE EJERCICIOS N° 4 ( Prof. Ing. Héctor González C.)
Validez de un razonamiento
Existen varias técnicas para demostrar la validez de un razonamiento. Entre ellas se tienen:a) Técnica tabla de verdad: Para aplicar la técnica de la tabla de verdad, se debe transformar el razonamiento en una proposición condicional, en donde la conjunción de las premisasforman el antecedente y la conclusión forma el consecuente. Si al realizar la tabla de verdadde un razonamiento da como resultado una tautología, se considera un razonamiento válidoo argumento, en cualquier otro caso será un razonamiento inválido. Todo razonamiento esválido si al ser transformado en una proposición condicional esta da como resultado unatautología. Por ejemplo: Dados los siguientes razonamientos determinar su validez a través de latécnica de la tabla de verdad:1)
Si la tierra es un planeta, entonces no posee luz propia. La tierra es un planeta. Por lotanto no posee luz propia
1.1 Se procede a simbolizar el siguiente razonamientoLa tierra es un planeta pLa tierra posee luz propia q1.2 Se simbolizan las proposiciones compuestas identificando premisas y conclusión. Laconclusión se identifica a través de los términos “por lo tanto” , “Por consiguiente”. Laconclusión se separa de las premisas a través del símbolo “
” que significa “Luego o por lo tanto”, “En conclusión”1. Si la tierra es un planeta, entonces no posee luz propia
p
 
¬
q
2. La tierra es un planeta
p
3 La tierra no posee luz propia
¬
q
1.3 Se estructura la proposición condicional, cuyo antecedente es la conjunción de las premisas y el consecuente es la conclusión:
(p
 
¬
q)
p
 
¬
q ANTECEDENTE CONSECUENTE
 
1.4 Se elabora la tabla de verdad del razonamiento
p q
¬
qp
 
¬
q( p
 
¬
q )
p
[
( p
 
¬
q )
p
]
 
 
¬
q
V V F F F
V
V F V V V
V
F V F V F
V
F F V V F
V
Conclusn: Es un razonamiento lido porque la tabla de verdad resultó ser una proposición tautológica, por lo tanto es un argumento b) Inferencias lógicas. Prueba de validez: Otra técnica para demostrar la validez de unrazonamiento es a través de una prueba formal de validez, utilizando las inferencias lógicaso leyes de la lógicaEjemplo 1La prueba de validez de un argumento por medio de tablas de verdad se lleva a caborealizando la tabla de verdad de su proposición condicional correspondiente; por 1. Si la Tierra es un planeta, entonces carece de luz propia2. La Tierra es un planeta.3. La Tierra carece de luz propia.Este argumento lo podemos simbolizar así: Luego aplicando la tabla de verdad se tiene:
 
 Un argumento es válido cuando su proposición condicional correspondiente es tautológica,ya que no se da el caso de que las premisas sean verdaderas y la conclusión falsa. En elejemplo considerado, éste es válido porque su resultado final es tautológico, como lomuestra su respectiva tabla de verdad.Ejemplo 2:Demostrémoslo ahora a través de la tabla de verdad desarrollada en su proposicióncondicional correspondiente.  Nota: Como se puede observar, el resultado final es una contingencia por lo que sedemuestra su no validez.
SILOGISMO HIPOTÉTICO (S.H)
Esta regla que a continuación estudiarás se basa en el condicional. Se sabe que losenunciados condicionales se componen de un antecedente y de un consecuente. Por lotanto, puede ser que un enunciado determinado, por ejemplo
q,
sea el consecuente de uncondicional (
 p
q
) y al mismo tiempo sea el antecedente de otro (
q
 
), entonces
 p
también viene siendo el antecedente de
r.
Veamos los enunciados de la siguiente manera:Algoritmo Horizontal:

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->