GUA DE EJERCICIOS N 4 Validez de un razonamiento

( Prof. Ing. Hctor Gonzlez C.)

Existen varias tcnicas para demostrar la validez de un razonamiento. Entre ellas se tienen: a) Tcnica tabla de verdad: Para aplicar la tcnica de la tabla de verdad, se debe transformar el razonamiento en una proposicin condicional, en donde la conjuncin de las premisas forman el antecedente y la conclusin forma el consecuente. Si al realizar la tabla de verdad de un razonamiento da como resultado una tautologa, se considera un razonamiento vlido o argumento, en cualquier otro caso ser un razonamiento invlido. Todo razonamiento es vlido si al ser transformado en una proposicin condicional esta da como resultado una tautologa. Por ejemplo: Dados los siguientes razonamientos determinar su validez a travs de la tcnica de la tabla de verdad: 1) Si la tierra es un planeta, entonces no posee luz propia. La tierra es un planeta. Por lo tanto no posee luz propia 1.1 Se procede a simbolizar el siguiente razonamiento La tierra es un planeta La tierra posee luz propia p q

1.2 Se simbolizan las proposiciones compuestas identificando premisas y conclusin. La conclusin se identifica a travs de los trminos por lo tanto , Por consiguiente. La conclusin se separa de las premisas a travs del smbolo que significa Luego o por lo tanto, En conclusin 1. Si la tierra es un planeta, entonces no posee luz propia p q 2. La tierra es un planeta 3 La tierra no posee luz propia p q

1.3 Se estructura la proposicin condicional, cuyo antecedente es la conjuncin de las premisas y el consecuente es la conclusin: (p q) p ANTECEDENTE q

CONSECUENTE

1.4 Se elabora la tabla de verdad del razonamiento

p V V F F q V F V F

q p q
F V F V F V V V

( p q) p
F V F F

[ ( p q)
V V V V

p ] q

Conclusin: Es un razonamiento vlido porque la tabla de verdad result ser una proposicin tautolgica, por lo tanto es un argumento b) Inferencias lgicas. Prueba de validez: Otra tcnica para demostrar la validez de un razonamiento es a travs de una prueba formal de validez, utilizando las inferencias lgicas o leyes de la lgica Ejemplo 1 La prueba de validez de un argumento por medio de tablas de verdad se lleva a cabo realizando la tabla de verdad de su proposicin condicional correspondiente; por 1. Si la Tierra es un planeta, entonces carece de luz propia 2. 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 vlido cuando su proposicin condicional correspondiente es tautolgica, ya que no se da el caso de que las premisas sean verdaderas y la conclusin falsa. En el ejemplo considerado, ste es vlido porque su resultado final es tautolgico, como lo muestra su respectiva tabla de verdad. Ejemplo 2:

Demostrmoslo ahora a travs de la tabla de verdad desarrollada en su proposicin condicional correspondiente.

Nota: Como se puede observar, el resultado final es una contingencia por lo que se demuestra su no validez. SILOGISMO HIPOTTICO (S.H) Esta regla que a continuacin estudiars se basa en el condicional. Se sabe que los enunciados condicionales se componen de un antecedente y de un consecuente. Por lo tanto, puede ser que un enunciado determinado, por ejemplo q, sea el consecuente de un condicional (p q) y al mismo tiempo sea el antecedente de otro (q r), entonces p tambin viene siendo el antecedente de r. Veamos los enunciados de la siguiente manera: Algoritmo Horizontal:

Algoritmo Vertical:

p q q r

Ejemplo:

p r

Premisa 1: Si hace calor, entonces Juana va a nadar Premisa 2: Si Juana va a nadar, entonces arregla la casa despus de comer Se puede concluir: Si hace calor, entonces arregla la casa despus de comer Para simbolizar el razonamiento ser: D Hace calor S Juana va a nadar H Arregla la casa despus de comer Entonces: D S S H D H ( Conclusin)

LEY DEL SILOGISMO DISYUNTIVO La ley del silogismo disyuntivo, abreviado DS, empieza con una disyuncin y dos condicionales, como se muestra en el siguiente ejemplo: O llueve o el campo est seco Si llueve, entonces jugaremos dentro Si el campo est seco, entonces jugaremos baloncesto Qu conclusin se puede sacar de estas proposiciones? La conclusin es que o jugaremos dentro o jugaremos baloncesto. La conclusin es otra disyuncin.

A continuacin se simboliza el razonamiento anterior para obtener un esquema claro de la forma de un silogismo disyuntivo. Sea: R Llueve D El campo est seco P Jugaremos dentro B Jugaremos baloncesto Este razonamiento se simboliza: (1) (2) (3) (4) R D R P D B P B (Conclusin)

TABLA RESUMEN DE LAS REGLAS

EJERCICIOS PROPUESTOS 1

EJERCICIOS PROPUESTOS 2 ( Slo debe poner las vistas en clase)

MODUS PONIENDO PONENS

MODUS TOLLENDO TOLLENS

MODUS TOLLENDO PONENS

SILOGISMO HIPOTTICO

EJERCICIOS: DETERMINAR LA CONCLUSIN DE LAS PREMISAS IDENTIFICANDO CADA UNA DE LAS LEYES.