Pontifica Universidad Javeriana Facultad de Filosofa Lgica I Profesor: Luis Eduardo Surez Monitor: Eduardo Rincn Mariana Acevedo

o Vega Taller de Lgica No. 1 Desarrollo 1. Qu es la Lgica? La Lgica es la ciencia que estudia la validez de los razonamientos. Es decir, la Lgica se preocupa por estudiar que la relacin de la estructura lingstica entre las premisas y las conclusiones se realice correctamente, a esto le llamamos validez. Y decimos que se realiza correctamente cuando las conclusiones del razonamiento, se siguen de las premisas. Esto es pues, lo que estudia la lgica. Decimos que es una ciencia porque elabora un conjunto de enunciados sobre un objeto, en ste caso, el lenguaje. Esto lo hace a travs de un metalenguaje, el cual es necesario para estudiar el lenguaje, ya que permite mencionar lo que se estudia, como las palabras, sin hacer uso de ellas por su contenido. 2. Explique por qu la Lgica puede entenderse como una teora de la deduccin La Lgica puede entenderse como una teora de la deduccin pues sta hace relaciones de implicacin de las conclusiones a partir de unas premisas. Es decir, la lgica estudia que los razonamientos sean bien formulados y estructurados. Esto lo hace a travs del estudio de la relacin entre las premisas que se dan y las conclusiones que se afirman, haciendo necesario que de unas premisas, se siga, necesariamente, una conclusin. Y adems, al estudiar su validez, diremos que si las premisas son verdaderas, la conclusin necesariamente ser verdadera, pues se sigue de ellas. 3. Explique por qu la Lgica puede considerarse como una teora de la deduccin con base en lo visto en el curso de Lgica Proposicional La Lgica estudia la validez formal entre proposiciones en una estructura lingstica. Es decir, busca que se siga el mtodo deductivo en los razonamientos. Por esto mismo, busca que la estructura en la que la conclusin se siga necesariamente de las premisas se d de manera correcta. La Lgica, por tanto, al igual que la teora de la deduccin, busca que existan relaciones formales de inferencia entre las premisas y la conclusin, en su sentido meramente formal y no en el contenido.

4. Explique en qu sentido podemos hablar de los conectores lgicos como funciones de verdad Podemos hablar de conectores lgicos como funciones de verdad si entendemos que una funcin es una expresin que se puede saturar de contenidos o premisas. Al saturarse, stas expresiones adquieren valores de verdad. En nuestro caso, estudiamos expresiones bivalentes, es decir, que slo tienen dos posibilidades de valor de verdad: verdadero o falso. Ahora bien, los conectores tienen la capacidad de conmutar, afectar o modificar los valores de verdad de las proposiciones con las que se saturan las funciones. Hay dos tipos de conectores: mondicos y didicos. En el grupo de los mnadicos slo est la negacin, pues no tiene un antecedente ni un consecuente, sino que es slo en s. Y en los didicos estn: la conjuncin, la disyuncin, el condicional y el bicondicional. stos tienen ms de una proposicin o variable; y en el caso del condicional y el bicondicional tiene un antecedente y un consecuente. 5. Explique el funcionamiento de los conectores lgicos empleados en la lgica proposicional con base en sus tablas de verdad. Son cinco los conectores que se utilizan en la lgica proposicional: negacin, conjuncin, disyuncin, condicional y bicondicional. Su funcionamiento se da de la siguiente manera: a. Negacin: Funciona como contradictoria. La negacin tiene la propiedad de conmutar los valores de verdad de las proposiciones a las que se les aplica. b. Conjuncin: Funciona si ambos coyuntos son verdaderos, en ese caso la conjuncin es verdadera; en cualquier otro caso, es falsa. c. Disyuncin: Ms especficamente hablamos de la disyuncin inclusiva, en la que funciona cuando al menos una es verdadera o las dos son verdaderas. d. Condicional: El condicional tiene una propiedad que no tenan los anteriores, y es que tiene un antecedente y un consecuente como estructura. Por esto: i. Funciona cuando el antecedente es verdadero y el consecuente tambin es verdadero. Tambin funciona, cuando el antecedente es falso y el consecuente es falso. Es decir, funciona en los pares V-V y F-F

ii. Ahora bien, en el condicional sucede algo interesante, que es que se da un caso de indeterminacin: cuando el antecedente es falso y el consecuente es verdadero, se dice que funciona. Es decir, que la relacin resulta verdadera. Pues el consecuente puede tener una condicin distinta a la del antecedente en su afirmacin. (FV). iii. El ltimo caso en el condicional es el par (V-F) el cual no se puede dar, ya que si se habla de la teora de la deduccin, no podramos decir que de algo que es verdadero, y del cual se sigue una relacin formal correcta, se concluye algo falso. Si la premisa es verdadera, entonces la conclusin tiene que ser, necesariamente, verdadera. e. Bicondicional: El bicondicional funciona cuando dos proposiciones son necesarias y suficientes entre ellas. Es decir, para que suceda una, necesariamente tiene que suceder la otra. Es por esto que es verdadera slo cuando las proposiciones tienen el mismo valor de verdad: (V-V) y (F-F). 6. Enuncie y explique el concepto de expresin bien formada dentro de la lgica proposicional El concepto de expresin bien formada se refiere a que las expresiones estn bien formadas sintcticamente. Es decir, que la expresin, en su forma, est bien expresada. Esto es necesario, pues evita confusiones para la comprensin de lo que se dice. Para esto, hay que seguir las reglas de la sintaxis, que es la que se encarga de las relaciones signo-signo. 7. Enuncie y explique los tipos de frmulas que se pueden encontrar en la Lgica Proposicional Hay tres tipos de frmulas en la Lgica Proposicional: Tautologas, Contingencias y Contradicciones. a. Tautologas: Las Tautologas son las frmulas que son siempre verdaderas. Es decir, son leyes lgicas que se cumplen para todos los casos, sin excepcin alguna. b. Contingencias: Las contingencias son frmulas que se cumplen en unos casos y en otros no. Por tanto, hay que compararlos frente a la realidad para ver si son o no verdaderos para ese caso especfico, es por esto que se les llama tambin frmulas empricas.

c. Contradicciones: Las contradicciones son frmulas que nunca se cumplen. Es decir, que siempre son falsas. Son falsas para todos los casos. 8. Enuncie y explique los tipos de relaciones lgicas entre frmulas Hay tres tipos de relaciones lgicas entre frmulas: implicacin, deduccin y equivalencia. a. Implicacin: La implicacin explica, en el metalenguaje, lo que ocurre con los valores de verdad cuando se usa el condicional y ste condicional es siempre verdadero. b. Deduccin: La deduccin nos permite entender la operacin contrario de la implicacin. Si de A podemos implicar B, entonces de B podemos deducir A. Es decir, podemos hacer una relacin cuando decimos que B se sigue de A. Un acercamiento completo a la teora de la deduccin. c. Equivalencia: La equivalencia explica, en el metalenguaje, los que ocurre con los valores de verdad cuando se usa el bicondicional y ste bicondicional es siempre verdadero. Es decir, cuando las formulas tienen el mismo valor de verdad para todos sus casos, y cuando esto sucede, podemos decir que las frmulas son sustituibles. 9. Enuncie los tipos de relaciones lgicas entre frmulas. Posteriormente, enuncie con qu conector lgico se realiza el test de cada relacin y explique por qu se emplea tal conectivo. a. Implicacin: Para establecer si hay una relacin de implicacin entre frmulas, se realiza un test con el conector condicional. Esto porque cuando utilizamos el condicional, estamos estableciendo una relacin entre el antecedente y el consecuente, es decir, una relacin deductiva entre premisas y conclusin. S esta es verdadera, entonces podemos decir que de A se sigue necesariamente B. b. Equivalencia: Para establecer su hay una relacin de equivalencia entre frmulas, se realiza un test con el conector bicondicional. Esto porque el conector del bicondicional las frmulas deben ser necesarias y suficientes entre ellas, es decir, para que suceda una, necesariamente tiene que suceder la otra. Y si no sucede una, pues necesariamente no sucede la otra. Por tanto, en la relacin de equivalencia, las frmulas deben tener siempre el mismo 4

valor de verdad para que sean sustituibles y se impliquen la una a la otra en todos los casos. c. Contradiccin: Para realizar una prueba de relacin de contradiccin entre frmulas, se utiliza un conector bicondicional. As se puede establecer si en algn momento pueden ser verdaderas o no. 10. Enuncie y explique el concepto de ley lgica o principio lgico Una ley lgica es una Tautologa. Es decir, es una verdad que ocurre para todos los casos, es decir, para ningn caso es falsa. Siempre es verdadera y siempre es vlido, pues siempre se sigue de proposiciones verdaderas, y consecuentemente llega a una conclusin verdadera. Tambin se les puede llamar principios lgicos o axiomas, ya que pueden reducir dentro de s lo que siempre sucede y no puede no suceder, es decir, un axioma es una tautologa en base a la cual se pueden explicar un conjunto ms amplio de tautologas.