Qu es lgica?

La palabra lgica proviene del griego antiguo (logike), que significa intelectual, dialctico, argumentativo, que a su vez deriva de (logos), palabra, pensamiento o razn. Aristteles padre de la lgica. La lgica es la ciencia que se encarga de exponer las leyes, modos y formas del razonamiento. Se trata de una ciencia formal que no tiene contenido, pero que se dedica al estudio de las formas vlidas de inferencia. Es decir, trata del estudio de los mtodos y principios utilizados para distinguir el razonamiento correcto del incorrecto. En otras palabras, la lgica es: "el conjunto de conocimientos que tienen por objeto la enunciacin de las leyes que rigen los procesos del pensamiento humano; as como de los mtodos que han de aplicarse al razonamiento y la reflexin para lograr un sistema de raciocinio que conduzca a resultados que puedan considerarse como certeros o verdaderos. "El objeto de estudio de esta ciencia son las formas, estructuras o esquemas de pensamiento; por eso mientras las otras ciencias se centran en las relaciones de su objeto de estudio con diversos fenmenos, la lgica se ocupa de las relaciones mismas. Podemos distinguir entre dos tipos generales de lgica: A) la lgica formal, tambin llamada lgica pura, que es precisamente la ciencia que determina cules son las formas correctas y vlidas de los raciocinios. B) la lgica material, tambin llamada lgica aplicada, que es en la cual un proceso de raciocinio o de pensamiento se analiza en consideracin al contenido real de sus premisas y que por lo tanto debe llevar a una conclusin que sea concordante con la realidad. Qu es lgica matemtica? La lgica estudia la forma del razonamiento, es una disciplina que por medio de reglas y tcnicas determina si un argumento es vlido. La lgica es ampliamente aplicada en la filosofa, matemticas, computacin, fsica. En la filosofa para determinar si un razonamiento es vlido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lgica permite saber el significado correcto. En las matemticos para demostrar teoremas e inferir resultados matemticas que puedan ser aplicados en investigaciones. En la computacin para revisar programas. En general la lgica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lgico, por el ejemplo; para ir de compras al supermercado un ama de casa tiene que realizar cierto procedimiento lgico que permita realizar dicha tarea. Si una persona desea pintar una pared, este trabajo tiene un procedimiento lgico, ya que no puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pint la parte alta porque se manchara lo que ya tiene pintado, tambin dependiendo si es zurdo o derecho, l puede pintar de izquierda a derecha o de derecha a izquierda segn el caso, todo esto es la aplicacin de la lgica. LOGICA PROPOSICIONAL Clases de proposiciones Hay dos clases de proposiciones: Proposiciones simples y compuestas, tambin llamadas atmicas y moleculares respectivamente.

a. Proposiciones Simples.- Tambin denominadas atmicas. Son aquellas proposiciones que no se pueden dividir. Ejemplo: El cielo es azul. (Verdadero) Nomenclatura: p b. Proposiciones Compuestas.- Tambin denominadas moleculares. Son aquellas que estn formadas por dos o ms proposiciones simples unidas por los operadores lgicos. Ejemplo: Fui al banco, pero el banco estaba cerrado. Los lectores de este libro son jvenes o universitarios. Si el mircoles prximo me saco la lotera entonces te regalar un auto. Conectivas lgicas Son elementos que sirven de enlace entre las proposiciones, para formar otra, denominada proposicin molecular. Conectivos lgicos ms empleados son:

Negacin Es un elemento lgico que acta independientemente de la proposicin. Se lee no p. REGLA.- La negacin de una proposicin verdadera es falsa. La negacin de una proposicin falsa es verdadera.

Ejemplo: p.- Juan conversa -p.- Juan no conversa Conjuncin Es la unin de dos o ms proposiciones mediante el conectivo lgico y, pero, tambin, sin embargo, adems, etc. Se lee p y q. REGLA.- Es verdadera la proposicin conjuntiva nicamente cuando las dos proposiciones son verdaderas (p y q), en cualquier otro caso es falsa.

Ejemplo: P: La casa est sucia. Q: La empleada la limpia maana P Q: La casa esta sucia y la empleada la limpia maana Disyuncin Une proposiciones mediante el conectivo lgico o. Se lee p o q. REGLA.- Una proposicin disyuntiva es verdadera cuando por lo menos uno de sus componentes es verdadero. Es falsa slo cuando todos sus componentes son falsos (p o q).

P: Pedro juega bsquet Q: Mara juega ftbol PvQ: Pedro juega bsquet o Mara juega ftbol. Conjuncin Negativa Es la unin de dos o ms proposiciones por ni. Se lee ni p ni q. REGLA.- El resultado es verdadero nicamente cuando las dos proposiciones son falsas (ni p ni q), en cualquier otro caso es falsa

Disyuncin Exclusiva Es la unin de dos o ms proposiciones mediante el conectivo lgico o. Se lee o p o q, pero no ambos. REGLA.- Es verdadera la proposicin cuando la primera proposicin es verdadera y la segunda es falsa o cuando la primera proposicin es falsa y la segunda verdadera.

Condicional Viene a ser la combinacin de dos proposiciones con si entonces. Se lee si p entonces q. REGLA.- Una proposicin condicional es falsa cuando la primera proposicin es verdadera y la segunda es falsa. Es verdadera en cualquiera de las otras formas

Ejemplo: P:Si me saco la loteria Q: Te regalar un carro P Q: Si me saco la lotera entonces te regalar el carro. Bicondicional Es la unin de dos proposiciones por si y slo si. Se lee p si y slo si q. REGLA.- Una proposicin bicondicional es verdadera cuando, o sus dos componentes son verdaderos o sus dos componentes son falsos.

Ejemplo P: Simn Bolivar vive Q: Montalvo est muerto P Q: Simn Bolivar vive si y solo si Montalvo est muerto. Proposiciones Qu es un argumento lgico? Un argumento lgico se construye con proposiciones, o sea, frases que afirman una determinada cosa. Un argumento deductivo contiene una o ms proposiciones llamadas premisas que son los pre-supuestos del argumento, o sea, lo que se asume como verdadero para poder deducir el resto. La proposicin que se deduce de las premisas se denomina conclusin. Todos los hombres son mortales. (premisa n 1) Scrates es un hombre. (premisa n 2) Por lo tanto, Scrates es mortal. (conclusin) La deduccin se realiza utilizando las premisas para inferir nuevas proposiciones, siguiendo una serie de reglas, hasta que se puede llegar a la conclusin. Estas reglas son procedimientos que cambian un tipo de expresin lgica por otra, o combinan dos o ms proposiciones en una sola. La mayora de estas reglas pueden ser aprehendidas sin necesidad de estudiar lgica formalmente, pero hablaremos de ellas ms adelante. Al examinar argumentos lgicos, hay que tener en cuenta que un argumento puede ser vlido sin que por ello su conclusin sea cierta. El razonamiento puede ser formalmente correcto, pero si una de las premisas es invlida, entonces la conclusin es irrelevante. Por ejemplo, el famoso Argumento Cosmolgico: Todo lo que comenz en un momento determinado tuvo una causa. El Universo comenz en un momento determinado. Por lo tanto, el Universo tuvo una causa. Si bien el argumento es vlido, la conclusin no lo es, puesto que la premisa (2) es falsa: el Universo no comenz en un momento determinado porque no haba tiempo (dimensin temporal) en la cual pudiera haber momentos de comienzo. Al haber aparecido el tiempo y el espacio como parte del Universo, el Universo no tuvo comienzo en el tiempo. Esto no hace que la conclusin

sea falsa, pero s invalida el argumento que llev a deducirla. Evidentemente, no todas las personas con las que uno conversa explicitan sus argumentos con premisas y conclusiones prolijamente delineados y ordenados. Se requiere un cierto entrenamiento didctico para "enfocar" los argumentos y detectar sus partes. Qu tipos de conectores lgicos existen?