1.
LÓGICA PROPOSICIONAL
La lógica forma parte de la filosofía, en la que se distinguen dos dimensiones, la
dimensión teórica y la práctica, la lógica pertenece a la dimensión práctica, que se ocupa
del conocimiento de la realidad.
La lógica es la ciencia que estudia los principios y métodos para distinguir un
razonamiento correcto de oro incorrecto.
La lógica investiga la relación de consecuencia que se da entre una serie de premisas y la
conclusión de un argumento correcto. Se dice que un argumento es correcto (valido) si su
conclusión se sigue o es consecuencia de sus premisas, de otra forma es incorrecto.
La lógica proposicional es una rama de la lógica clásica que estudia las proposiciones o
sentencias lógicas, sus posibles evaluaciones de verdad y en el caso ideal, su nivel absoluto
de verdad.
Para resolver multitud de problemas en la vida diaria y para sacar conclusiones o realizar
demostraciones científicas, aplicamos continuamente el razonamiento lógico.
El primer estudio sistemático del razonamiento lógico lo hizo Aristóteles. En el
“Órganon” Aristóteles trata las reglas del razonamiento silogístico. La lógica aristotélica
enuncia las formulas lógicas con palabras del lenguaje ordinario, caracterizándose por unas
reglas sintácticas diferenciada y unas funciones semánticas especiales.
Posteriormente, se impuso el uso de un lenguaje artificial en el que los signos y las
palabras estaban regidos por una sintaxis exacta y tenían semántica estrechamente
delimitada y definida también exactamente.
Durante la Edad Media, los escolásticos trabajaron con este tipo de lógica, que sería
posteriormente simplificada por matemáticos como Anauld, Leibnitz o Euler. Ya en el siglo
XIX, Boole y De Morgan hicieron aportaciones decisivas relacionadas con esta disciplina.
George Boole creó un sistema de lógica matemática en su obra “The Mathematical Analisis
of Lógica” Boole aproximó la lógica en una nueva dirección reduciéndola a un algebra
simple, incorporando la lógica en las matemáticas. Agudizó la analogía entre los símbolos
algebraicos y aquellos que representan formas lógicas. Su álgebra consiste en un método
para resolver problemas de lógica que recurre solamente a valores binarios 1 y 0 y a tres
operadores: AND (Y), OR (O) y NOT (NO).
Tras la importante obra de Boole, Peano, Cantor y Hilbert hicieron diversas aportaciones
que motivaron el interés por la lógica matemática de Russel y Whitehead, que entre 1910 y
1913 publicaron los “Principia Mathematica”, formalizando de éste modo refinadas técnica
de la lógica matemática contemporánea. En su obra, intentaron trasladar las matemáticas al
área de la filosofía lógica y dotarlas de un marco científico preciso. Russel y Whitehead
muestran que la lógica tradicional, que se apoya en el Organon de Aristóteles, no es más
que un simple fragmento de todo un conjunto y que, definiéndolos números en términos de
clases (noción eminentemente lógica), resulta posible deducir las matemáticas de la lógica
formal de tal manera que entre las dos no hay solución de continuidad, sino todo un
sistema.
Por último hay que destacar las aportaciones de Kart Gödel a esta disciplina,
demostrando la consistencia de la hipótesis del continuo de Cantor y enunciando el teorema
que establece la existencia de enunciados y teoremas indecidibles en cualquier sistema
lógico. El tradicional desarrollo de la lógica enfatizaba su centro de interés en la forma de
argumentar, mientras que la actual lógica matemática lo centra en su estudio combinatorio
de los contenidos. Esto se aplica tanto a nivel sintáctico (por ejemplo, el envío de una
cadena de símbolos pertenecientes a un lenguaje formal a un programa compilador que lo
convierte en una secuencia de instrucciones ejecutables por una máquina), como a un nivel
semántico, construyendo modelos apropiados (teoría de modelos).
2. ÁLGEBRA DE BOOLE DE LAS PROPOSICIONES
2.1 Definiciones y operaciones
Término: es cada parte constitutiva de una expresión, enunciado o discurso. Se
clasifican en categoremáticos, que son aquellos que tienen significado propio e
independiente, y en sincategoremáticos, que son aquellos que no tienen significado
propio y se utilizan para enlazar términos categoremáticos.
Proposición lógica: es toda agrupación de términos de la que se pueda afirmar si su
contenido es cierto o falso. Se clasifican en atómicas, que son aquellas que no se
pueden descomponer en partes que sean a su vez proposiciones, y carecen del término
“no”, y moleculares, si están formadas por proposiciones atómicas enlazadas o
modificadas por determinados términos sincategoremáticos. Las proposiciones
atómicas se pueden sustituir por simbol que suelen ser letras minúscula comenzando
por la p; p, q, r, s… dichos símbolos reciben el nombre de variables proposicionales.
Conectores sincategoremáticos: son términos sincategoremáticos que se utilizan para
modificar o enlazar proposiciones. Los más usados son:
Negación: representa la partícula lingüística no o cualquier otra partícula que
incluya la idea de negación. Este conector cambia el valor de la verdad de la
proposición que conecta.
Conjunción: representa la partícula lingüística y cualquier otra que indique la
idea de unión, como también, igualmente, pero. Este conector da lugar a una
proposición verdadera si las proposiciones que enlaza son verdaderas y falsa en
los restantes casos.
Disyunción no exclusiva: equivale a y/o, o sea, que incluye la verdad de los dos
enunciados o bien sólo la de uno de los dos. Al componer dos proposiciones da
lugar a una proposición falsa si ambas son falsas, y verdadera en os restantes
casos.
Disyunción exclusiva: expresa la idea que la verdad de un miembro es
incompatible con la verdad del otro: o uno o el otro, pero no los dos. Al
componer dos proposiciones da lugar a una proposición falsa si ambas tienen
igual valoración y a una proposición verdadera en caso contrario. Se le llama
también adición booleana.
Condicional: representa las partículas lingüísticas si… entonces… o cualquiera
otros que indiquen la idea de condición, como cuando… entonces… o una
simple “coma”. La partícula entonces o equivalente separa el antecedente del
consecuente. Al componer dos proposiciones, llamadas antecedente y
consecuente, da lugar a una proposición falsa si el antecedente es verdadero y
consecuente es falso, y a una proposición verdadera en los restantes casos.
Bicondicional: representa las partículas lingüística si y solo si… o cualquier otra
que indique doble condición, como equivale, cuando y sólo cuando,
únicamente. Se trata de una condición necesaria y suficiente. Al componer dos
proposiciones da lugar a una proposición verdadera si ambas tienen la misma
valoración y falsa en los restantes casos.
El conector negación se llama gonádico y los demás diádicos.
Los conectores proposicionales también se pueden sustituir por símbolos, que
reciben el nombre signos conectivos o constantes lógicas. Así,
OPERACIÓN SÍMBOLO SIGNIFICADO
Negación
~ “no …..” o “no es cierto que …
Conjunción o producto lógico
“… y …”
Disyunción o suma lógica “… o …” (en sentido incluyente)
Implicación
“… implica …”, o “si… entonces …”
Doble implicación
“… si y solo si …”
Diferencia simétrica o
disyunción excluyente
“… o …” (en sentido excluyente)
La simbolización de las proposiciones moleculares se obtiene simbolizando las
proposiciones atómicas que la forman y los conectores que la enlazan o modifican. Así, la
formalización de “Si llueve, entonces la tierra se moja” con p simbolizando “llueve”, y q,
“La tierra se moja”, será p q.
Se llama fórmula lógica a la expresión simbólica que sustituye a una proposición
molecular. Se suelen utilizar para ellas P, Q, R...
Operaciones lógicas son transformaciones o enlaces de proposiciones con conectores.
Los casos que se pueden presentar son:
Composición de una proposición atómica con el conector gonádico no: ~p
Composición de dos proposiciones atómicas con los conectores diádicos: p q,
p q, p q, p q, p q.
Composición de proposiciones con más de un conector, como por ejemplo
(p q) p.
Proposiciones contradictorias o contradicción a una proposición compuesta que es falsa
en todos los casos, cualquiera que sea el valor de verdad de sus proposiciones simples
componentes. La proposición contradictoria es siempre verdadera por su forma lógica.
Proposición tautológica o tautología a una proposición compuesta que es verdadera en
todos los casos, cualquiera que sea el valor de verdad de sus proposiciones simples
componentes. La proposición tautológica es siempre verdadera por su forma lógica. La
representamos con el símbolo: .
Implicación lógica es una proposición condicional tautológica. Se expresa con el
símbolo, y se lee implica.