CENTRO EDUCATIVO DE NIVEL TERCIARIO N 2 INTRODUCCIN A LA LOGICA SIMBOLICA PRIMER AO GUIA DE TRABAJOS TEORICO PRACTICOS N 2: LOGICA PROPOSICIONAL RAZONAMIENTOS

PARA LA

La lgica deductiva es la ciencia que estudia los mtodos y principios usados para distinguir el razonamiento correcto del incorrecto. EL RAZONAMIENTO SE DEFINE COMO EL CONJUNTO DE PROPOSICIONES, EN EL CUAL, UNA DE ELLAS SE PRETENDE QUE ESTE FUNDADA SOBRE LA BASE O A PARTIR DE LAS DEMS. Ejemplo: Si el condicional es falso,el antecedente es verdadero y el consecuente es falso. El condicional es falso Por lo tanto, el antecedente es verdadero y el consecuente es falso. Todo razonamiento tiene una estructura cuyas componentes son: - Las proposiciones, una o mas, de las que se parte se denominan PREMISAS. Las premisas estn encabezadas por expresiones como: "puesto que", "porque", "pues", "ya que", "como", "pero", etc. La proposicin a la que se arriba se denomina CONCLUSIN. La conclusin esta encabezada por expresiones como: "luego", "por lo tanto", "en consecuencia", "por ende", "as", "podemos inferir", etc. Las expresiones que encabezan premisa y conclusin son llamadas EXPRESIONES DERIVATIVAS. - La conclusin puede estar al final, o al comienzo o en el medio del razonamiento. Ejemplo: Esta proposicin es molecular puesto que, esta proposicin es atmica o es molecular y esta proposicin no es atmica.En este ejemplo, la conclusin encabeza el razonamiento.-

1 Razonamientos para la Lgica Prposicional Luca Hilal

PREMISA y CONCLUSIN son trminos relativos, en el sentido

que la misma

proposicin puede ser premisa en un argumento y conclusin en otro, dependiendo del contexto. Ej: a) Esta proposicin es atmica o es molecular. Esta proposicin no es atmica. POR TANTO, esta proposicin es molecular. b) Si analizo esta proposicin, entonces es atmica o es molecular. Analizo esta proposicin. EN CONSECUENCIA, esta proposicin es atmica o molecular. Para obtener una estructura lgica necesitamos un conjunto de proposiciones y una relacin o nexo que las vincule. Un tipo de nexo lgico son las inferencias.La inferencia es un proceso por el cual a partir de uno o varios conocimientos dados, obtenemos un nuevo conocimiento. En este proceso se llega a una proposicin y se la afirma sobre la base de otra u otras proposiciones aceptadas como punto de partida.A cada inferencia posible corresponde un razonamiento y de estos razonamientos trata la lgica primordialmente. Los trminos inferencia y razonamiento tienen notables diferencias: los razonamientos son estructuras lgicas integradas por proposiciones, mientras que las inferencias no son estructuras sino nexos lgicos que permiten obtener razonamientos.Entre los razonamientos distinguimos los deductivos y los no deductivos. Los DEDUCTIVOS pueden caracterizarse como aquellos razonamientos en los que se pretende que la conclusin se infiera en forma NECESARIA de las premisas. En los NO DEDUCTIVOS, en cambio la conclusin se infiere con cierto grado de PROBABILIDAD, no con necesidad. NOTA: En este curso estudiaremos los razonamientos deductivos. ACTIVIDAD 1: Indicar cules de los siguientes razonamientos son deductivos: 1.- Ya he encontrado tres muebles de la sala apolillados. Luego es probable que tambin lo estn los restantes muebles de la sala.

2 Razonamientos para la Lgica Prposicional Luca Hilal

2.- Todos los nios menores de tres aos tienen muy poco desarrollada la capacidad de abstraccin. Por lo tanto, mi sobrina, de dos aos de edad, debe de tener tambin su capacidad de abstraccin muy poco desarrollada. 3.- Siempre que llueve hace fro. Luego, siempre que hace fro llueve. 4.- He odo decir a varias personas, que poseen auto de la misma marca del mo, que han tenido problemas con el motor. Pienso, por eso, que el mo tambin podr tenerlos. ACTIVIDAD 2: Proponga ejemplos de razonamientos deductivos. Determine en cada caso sus componentes RAZONAMIENTOS Y FORMAS DE RAZONAMIENTOS Para obtener la estructura de un razonamiento deductivo, necesitamos abstraer su forma lgica sin considerar el contenido informativo de sus proposiciones y de sus trminos (conectivos).La forma lgica de un razonamiento debe abstraerse de acuerdo con las reglas de la lgica proposicional: usamos letras minsculas de la parte media del alfabeto, como variables proposicionales y cada termino de conectivo por el correspondiente signo lgico que lo abstrae.Ejemplo: Razonamiento Si estudio, entonces aprendo Si aprendo, entonces apruebo Luego: si estudio, entonces apruebo. Forma lgica pq qr pr

La estructura de un razonamiento est centrada, fundamentalmente, en los conectivos de mayor alcance dentro de la frmula. Ej: 1- A B BC ________ AC 2- p q q r ________ pr 3- p q q qst __________ p p s t 4- t s t r t rpq ____________ tspq
3 Razonamientos para la Lgica Prposicional Luca Hilal

Estos ejemplos son

distintos entre s, pero tienen en comn que en todos ellos la

conectiva principal es el condicional. En (1) la forma lgica es la ms general de las cuatro y cada variable de este esquema puede ser sustituda por variables proposicionales atmicas como en (2); atmicas y moleculares como en (3), o frmulas proposicionales moleculares como en el esquema (4). A pesar de presentar formas lgicas distintas entre si, todas tienen la estructura de una misma regla lgica, llamada "regla del silogismo hipottico". ACTIVIDAD 3: Dadas las siguientes formas de razonamientos proposicionales, proponer un ejemplo de sustitucin para cada una de ellas. En cada caso indique el nombre de la regla de inferencia. 3.1. pq p _______ q p~q q _______ ~ p p ~ q ~p __________ ~ q Ej: Si estudio desde el primer dal, aprobar el parcial. Estudio desde el primer da. Luego, aprobar el parcial.

3.2.

3.3.

3.4.

pq _______ q

3.5.

p q ________ p q

3.6. p ~ r ____________
4 Razonamientos para la Lgica Prposicional Luca Hilal

(p ~ r) q

3.7. p q ____________ ~ q ~ p 3.8. p ~q~r p ~q _______________ ~ r

3.9.

pq~pq p~q ______________ ~p~q

ACTIVIDAD 4: Para cada uno de los siguientes conjuntos de premisas, inferir su conclusin. Escriba la regla de inferencia aplicada. 4.1. Una misma proposicin puede ser premisa o conclusin. La proposicin no es premisa. Respuesta: La proposicin es conclusin. 4.2. Es suficiente que una proposicin sea molecular para que contenga conectivos. La proposicin no contiene conectivos. Luego,.................................................................................. 4.3. Si resuelvo correctamente los ejercicios y estudio la teora, apruebo el examen. No apruebo el examen. Por consiguiente,...................................... 4.4. Es necesario que el razonamiento sea vlido para que el condicional asociado a su forma lgica sea tautolgico. El razonamiento no es vlido. Por lo tanto,............................................................................
5 Razonamientos para la Lgica Prposicional Luca Hilal

4.5. Si apruebo el parcial no rindo el recuperatorio y adems, regularizo la asignatura. Por tanto ................................................................................. 4.6. Para participar, es suficiente ver una injusticia y callar. No participar. Luego........................................................................................ VALIDEZ e INVALIDEZ Un razonamiento es vlido cuando constituye un ejemplo de sustitucin de una forma vlida de razonamiento. Una forma de razonamiento es vlida cuando sus premisas y conclusin estn relacionadas de modo tal que es absolutamente imposible que las premisas sean verdaderas, a menos que la conclusin lo sea tambin. Luego, la validez de un razonamiento deductivo no depende del contenido informativo de las proposiciones que lo integran, sino de su forma lgica. MTODOS PARA DEMOSTRAR LA VALIDEZ Analizaremos los siguientes Mtodos: 1- CONDICIONAL ASOCIADO 2- MTODO DEMOSTRATIVO 1- CONDICIONAL ASOCIADO Dado un razonamiento, si construimos un condicional cuyo antecedente sea la conjuncin de las premisas y su consecuente, la conclusin del razonamiento, ocurrir que si el razonamiento es vlido, el condicional construido ser una TAUTOLOGA y recprocamente, si el condicional es tautolgico, entonces el razonamiento que le dio origen ser vlido. En sntesis: UN RAZONAMIENTO ES VLIDO SI Y SOLO SI EL CONDICIONAL ASOCIADO A SU FORMA LGICA ES TAUTOLGICO. Este mtodo tiene la ventaja de ser un procedimiento mecnico que permite determinar la validez de un razonamiento en forma simple. La desventaja se presenta cuando hay que trabajar con muchas variables. Ej:
6 Razonamientos para la Lgica Prposicional Luca Hilal

Razonamiento Si la conclusin de un razonamiento es falsa, entonces el razonamiento no es vlido o por lo menos una de las premisas es falsa. La conclusin de un razonamiento es falsa. Por consiguiente el razonamiento no es vlido o por lo menos una de las premisas es falsa. Forma lgica p~ q r p _____________ ~q r Condicional asociado a la forma lgica ( p ~ q r ) p ~ q r

3- MTODO DE DEDUCCIN Prueba formal de validez Cuando los razonamientos contienen varias proposiciones atmicas diferentes como componentes, se hace difcil y tedioso utilizar tablas de verdad para probar su validez. Un mtodo mas conveniente es DEDUCIR las conclusiones de sus premisas por una secuencia de razonamientos mas cortos y mas elementales que ya se conocen que son validos y aceptados como reglas de inferencia, que es todo esquema valido de razonamiento independientemente de la interpretacin de las proposiciones compuestas.Iniciamos el desarrollo del mtodo de deduccin presentando una lista de solo nueve formas de razonamiento validas elementales y de equivalencias lgicas que constituyen nuevas reglas de inferencia al aplicar la regla de reemplazo: cualquiera de las siguientes expresiones lgicamente equivalentes puede reemplazar a la otra en donde ocurran.Consideremos el siguiente razonamiento: Si este es un ejercicio lgico, la unidad de control es el corazn del sistema. Las computadoras ms grandes son las ms capaces o este es un ejercicio
7 Razonamientos para la Lgica Prposicional Luca Hilal

lgico. Las computadoras ms grandes no son las ms capaces. Luego. la unidad de control es el corazn del sistema. Forma lgica pq (1) r p (2) ~r (3) ______________ q Podemos probar su validez de la siguiente manera a) De las premisas 2 y 3 rp ~r __________ p (4)

vlidamente inferimos b) De las premisas 1 y 4

por S D

vlidamente inferimos

p q p _________ q por MP, llegando as a la conclusin

Una manera ms formal y ms concisa de escribir esta prueba es hacer una lista de las premisas y de las proposiciones deducidas de ellas en una columna con las justificaciones escritas a un lado. La conclusin se escribe a la derecha de la ltima premisa. La prueba formal de validez del ejemplo dado es: 1- p q premisa 2- r p premisa 3- ~r premisa 4- p 2, 3, S D 5- q 1, 4, M P DEFINICIN: Una PRUEBA FORMAL DE VALIDEZ para un razonamiento, es una sucesin de enunciados, cada uno de los cuales es una premisa de ese argumento o se sigue de los precedentes por una R. de I. y tal que el ltimo enunciado de la secuencia es la conclusin del razonamiento cuya validez se esta demostrando. PRUEBA DE INVALIDEZ Para probar la invalidez de una F de R que tiene pocas variables proposicionales, nos basta emplear el mtodo del condicional asociado: Si el condicional formado por la
8 Razonamientos para la Lgica Prposicional Luca Hilal

conjuncin de las premisas y la conclusin no es tautolgico, decimos que se trata de una forma no vlida ya que por lo menos hay una hilera en el que el antecedente tiene en su tabla el valor "V" y el consecuente el valor "F". Si el razonamiento es complejo, podemos usar un mtodo muy sencillo llamado "MTODO DE ASIGNACIN DE VALORES", que consiste en lo siguiente: 1- Hallamos la forma lgica. 2- Si la forma es invlida, tendr que suceder que podamos encontrar por lo menos un caso que tenga premisas verdaderas y conclusin falsa. SUPONEMOS que se trata de un razonamiento invlido; esto se lo logra colocando al lado de cada premisa el valor "V" y al lado de la conclusin el valor "F". Si esta suposicin se confirma , el razonamiento es invlido, como as tambin todos los ejemplos de sustitucin de su forma lgica. Ejemplo: Si consideramos la forma lgica: p q r p r _________ q p q F F V rp V F V r V q F

Asignando p : F, q : F y r : V, las premisas toman el valor V y la conclusin, F, con lo que se prueba la invalidez de la forma dada. ACTIVIDAD 5: Determinar la validez o invalidez de cada uno de los siguientes razonamientos aplicando distintos mtodos: 5.1- Si los razonamientos tienen una estructura, entonces una misma proposicin puede ser premisa o conclusin. Una proposicin es premisa. Por lo tanto, si los razonamientos tienen una estructura, una proposicin no es conclusin. 5. 2- Si Argentina manda tropas a Hait, ser el nico pas latinoamericano que lo haga. Si Argentina manda tropas a Hait, los argentinos residentes en ese pas estn en peligro. Argentina manda tropas a Hait. Luego, Argentina es el nico pas latinoamericano que manda tropas a Hait y los argentino residentes estn en peligro.
9 Razonamientos para la Lgica Prposicional Luca Hilal

5.3-

3 x 5 = 12 4 x 4 12 5 + 5 +5 = 12 sii

sii

5 + 5 + 5 = 12 4 x 4 = 12

Por tanto 3 x 5 12 5.4-El lago del Embalse de Ro Hondo se contamina si y solo si los ingenios tucumanos arrojan sus residuos a los ros. Direccin de Saneamiento ambiental no realiza inspecciones. Si los ingenios tucumanos inspecciones. Por consiguiente, el lago del embalse no se contamina. 5.5- Si el cerrojo fue levantado desde el interior, entonces el ladrn pudo atravesar la puerta. Si el cerrojo fue levantado desde el interior, uno de los sirvientes se halla implicado en el delito. El cerrojo fue levantado desde adentro. Luego, el ladrn atraves la puerta y uno de los sirvientes se halla implicado en el delito. 5.6- Si hay una obstruccin en la lnea o la seal luminosa es roja, el tren se detendr antes de llegar al puente. El tren no se detiene antes de llegar al puente. Luego, no hay obstruccin en la lnea. 5.7- La propiedad es valiosa la compaa no hubiera ofrecido comprarla. O bien las apariencias no son dignas de confianza o la propiedad no es valiosa. La compaa ofreci comprar la propiedad. Luego, las apariencias no son dignas de confianza. 5.8- Si las leyes son buenas y su cumplimiento es estricto, disminuira el delito. Si el cumplimiento estricto de la Ley hace disminuir el delito, entonces nuestro problema es de carcter prctico. Las leyes son buenas. Luego, nuestro problema es de carcter prctico. 5.9 Si A se retira del torneo, entonces B ganar o C se retirar del torneo. B no ganar el torneo. Por consiguiente si A se retira del torneo entonces C se retirar tambin. ACTIVIDAD 6- Determinar si las siguientes formas de razonamiento son vlidas o no arrojan sus residuos, Direccin de Saneamiento realiza

10 Razonamientos para la Lgica Prposicional Luca Hilal

a) ( p r ) qr q p

b)

p q q p r s r s

c)

p q r r q p q . q

d) p q r r s s pq g) s (p q) s p q

e) p r p s rt s t h) p t t pqs s q

f)

p q r p r _________ q p q t p (q r) __________ t

i)

Reglas de Inferencia I) FORMAS DE RAZONAMIENTOS VLIDOS ELEMENTALES.

Modus Ponens (MP) AB A _________ B

Modus Tollens (MT) AB ~ B ____________ ~A

Adicin ( AD.) A _______ AB

Simplificacin ( SIMP.) A B ______ A

Conjuncin ( CONJ.) A
Razonamientos para la Lgica Prposicional

Silogismo Disyuntivo (S.D.) AB

11 Luca Hilal

B _________ A B

~A _________ B

Silogismo Hipotetico (S.H.) AB BC

Dilema Destructivo (D.D.) (AB)(CD) ~B ~D _____________

Dilema Constructivo (A B ) ( C D) AC _______________________

_______________ AC ~A ~C BD

II) EQUIVALENCIAS LGICAS 2.Idem Potencia p p p ; p p p 3.Trasposicin ( p q ) ( ~ q ~ p ) 4.Conmutatividad ( p q ) ( q p ) (pq)(qp) 5. Asociatividad [ p ( q r ) ] [ ( p q ) r ] [p(qr)][(pq)r] 6. Distributividad de la conjuncin con respecto a la disyuncin [ p ( q r )] [ ( p q ) ( p r )] 7. Distributividad de la disyuncin respecto de la conjuncin [ p ( q r )] [ ( p q ) ( p r )] 8. Distributividad del condicional con respecto de la conjuncin [ p ( q r )] ( p q ) ( p r )
12 Razonamientos para la Lgica Prposicional Luca Hilal

9. Distributividad del condicional con respecto de la disyuncin [ p ( q v r )] ( p q ) ( p r ) 10. De Morgan : ~(pq)(~p~q) ~(pq)(~p~q) 11. Exportacin: [ ( p q ) r ] [ p ( q r )] 12. Absorcin : p [ p ( p q )] p [ p ( p q )]

13 Razonamientos para la Lgica Prposicional Luca Hilal

14 Razonamientos para la Lgica Prposicional Luca Hilal