Lógica Proposicional

Es la parte de la lógica que estudia la formación de proposiciones complejas a partir de

proposiciones simples, y la inferencia de proposiciones a partir de proposiciones, pero sin
tener en cuenta la estructura interna de las proposiciones más simples.

Una lógica proposicional es un sistema formal cuyos elementos más simples representan
proposiciones, y cuyas constantes lógicas, llamadas conectivas, representan operaciones
sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad

Conectivos Lógicos
A continuación hay una tabla que despliega todas las conectivas lógicas que ocupan a la
lógica proposicional, incluyendo ejemplos de su uso en el lenguaje natural y los símbolos
que se utilizan para representarlas.

EXPRESIÓN SÍMBOLO
EN EL EN
LENGUAJE ESTE SÍMBOLOS
CONECTIVA NATURAL EJEMPLO ARTÍCULO ALTERNATIVOS

Negación no No está lloviendo.

Está lloviendo y está

Conjunción y nublado.

Está lloviendo o está

Disyunción o soleado.

Si está
Condicional si… soleado, entonces es
material entonces de día.

Está nublado si y sólo

Bicondicional si y sólo si si hay nubes visibles.

Ni está
Negación soleado ni está
conjunta ni… ni nublado.

O bien está
Disyunción o bien… o soleado, o bien está
excluyente bien nublado.

En la lógica proposicional, las conectivas lógicas son tratados como funciones de verdad.
Es decir, como funciones que toman conjuntos de valores de verdad y devuelven valores
de verdad. Por ejemplo, la conectiva lógica no es una función que si toma el valor de
verdad V, devuelve F, y si toma el valor de verdad F, devuelve V. Por lo tanto, si se aplica
la función no a una letra que represente una proposición falsa, el resultado será algo
verdadero. Si es falso que «está lloviendo», entonces será verdadero que «no está
lloviendo».
El significado de las conectivas lógicas no es nada más que su comportamiento como
funciones de verdad. Cada conectiva lógica se distingue de las otras por los valores de
verdad que devuelve frente a las distintas combinaciones de valores de verdad que puede
recibir. Esto quiere decir que el significado de cada conectiva lógica puede ilustrarse
mediante una tabla que despliegue los valores de verdad que la función devuelve frente a
todas las combinaciones posibles de valores de verdad que puede recibir.

NEGACIÓN CONJUNCIÓN DISYUNCIÓN CONDICIONAL BICONDICIONAL

Tablas de Verdad
Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de
verdad de una proposición compuesta, para cada combinación de valores de verdad que se
pueda asignar a sus componentes.

Para establecer un Sistema formal se establecen las definiciones de los operadores. Las
definiciones se harán en función del fin que se pretenda al construir el sistema que haga
posible la formalización de argumentos:

 Como razonamientos deductivos lógico-lingüísticos

 Como construcción de un sistema matemático puro
 Como una aplicación lógica en un Circuito de conmutación.

Verdadero
El valor verdadero se representa con la
letra V, si se emplea notación numérica se
expresa con un uno: 1, en un circuito
eléctrico, el circuito esta cerrado.

Falso
El valor falso se representa con la letra F, si
se emplea notación numérica se expresa con
un cero: 0, en un circuito eléctrico, el
circuito esta abierto.

Variable
Para una variable lógica A, B, C, … que
pueden ser verdaderas V, o falsas F, los
operadores fundamentales se definen así:
Negación

La negación es un operador que se ejecuta,

sobre un único valor de verdad, devolviendo
el valor contradictorio de la proposición
considerada.

Conjunción
La conjunción es un
operador que opera sobre
dos valores de verdad,
típicamente los valores de
verdad de dos
proposiciones, devolviendo el valor de verdad verdadero cuando ambas proposiciones son
verdaderas, y falso en cualquier otro caso. Es decir es verdadera cuando ambas son
verdaderas

La tabla de verdad de la conjunción es la siguiente:

Que se corresponde con la columna 8 del algoritmo fundamental.

Disyunción
La disyunción es un operador
que opera sobre dos valores
de verdad, típicamente los
valores de verdad de dos
proposiciones, devolviendo
el valor de
verdad verdadero cuando
una de las proposiciones es
verdadera, o cuando ambas
lo son, y falso cuando ambas son falsas.

La tabla de verdad de la disyunción es la siguiente:

Que se corresponde con la columna 2 del algoritmo fundamental.

Implicación o
Condicional
El condicional material es un
operador que opera sobre
dos valores de verdad,
típicamente los valores de
verdad de dos proposiciones,
devolviendo el valor de
verdad falso sólo cuando la
primera proposición es
verdadera y la segunda falsa, yverdadero en cualquier otro caso.

La tabla de verdad del condicional material es la siguiente:

Que se corresponde con la columna 5 del algoritmo fundamental.

Equivalencia o
Bicondicional
El bicondicional o doble
implicación es un operador
que funciona sobre dos
valores de verdad,
típicamente los valores de
verdad de dos proposiciones,
devolviendo el valor de
verdad verdadero cuando
ambas proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de verdad
diferente.

La tabla de verdad del bicondicional es la siguiente:

Inferencias
Una inferencia es una evaluación que realiza la mente entre expresiones bien formadas
de un lenguaje (EBF) que, al ser relacionadas intelectualmente como abstracción,
permiten trazar una línea lógica de condición o implicación lógica entre las diferentes EBF.
De esta forma, partiendo de la verdad o falsedad posible (como hipótesis)
o conocida (como argumento) de alguna o algunas de ellas, puede deducirse la verdad o
falsedad de alguna o algunas de las otras EBF.

Inferencia lógica
En la lógica tradicional

En la lógica tradicional, llamada aristotélica, la forma esencial de inferencia es una forma

de razonamiento deductivo. No obstante se reconocían algunas inferencias directas o
inmediatas.

Inferencias inmediatas
La filosofía tradicional aristotélica consideraba la posibilidad de inferencias
inmediatas: aquellas que pueden obtenerse directamente a partir de la relación que
establece un juicio7 respecto a los términos, sujeto y predicado, que le constituyen, en
función de la cualidad (afirmativo-negativo) y la cantidad (universal-particular) del
mismo.
Aristóteles estudió con detalle ciertas operaciones que permitían tales inferencias
inmediatas o directas. Para ello elaboró el llamado cuadro de oposición de los juicios, en
el que dadas las relaciones que cada juicio aristotélico, A,E,I,O, lleva implícitas se pueden
establecer ciertas inferencias directas.

Asimismo en la lógica tradicional se admitían ciertas operaciones lógicas de transformación de

un juicio manteniendo sus condiciones de verdad. Tales operaciones eran:
 Conversión lógica
 Obversión lógica
 Contraposición lógica
 Inversión lógica
La lógica tradicional aristotélica no resuelve del todo bien los problemas que surgen de los
juicios negativos por lo que este tipo de operaciones lógicas se prestan a argumentaciones
que producen resultados aberrantes.8
La lógica actual formaliza los enunciados lingüísticos bien como relación de clases o como
funciones proposicionales o relaciones.9 Hoy se exige el rigor formal de la aplicación de
una regla de inferencia.10 La idea de inferencia inmediata no es más que la aplicación de
una regla modo implícito. La formalidad lógica, sin embargo, exige que sea explícita la
regla que permite la transformación de una EBF.

En la lógica actual
Se llama inferencia lógica a la aplicación de una regla de transformación que permite
transformar una fórmula o expresión bien formada (EBF) de un sistema formal en otra EBF
como teorema del mismo sistema. Ambas expresiones se relacionan mediante una relación
de equivalencia, es decir, que ambas tienen los mismos valores de verdad o, dicho de otra
forma, la verdad de una complica la verdad de la otra.

podría ser transformada en:

donde ; y .

Elaborando la tabla de valores de verdad de dicha equivalencia contenida en la función

del bicondicional el resultado ha de resultar una tautología.

Esquema de inferencia
Se refiere a la estructura lógico-formal que permite obtener una expresión bien formada (EBF)
desligada, libre, como teorema de un sistema formal previamente definido por la regla de
separación estrictas de formación y transformación de fórmulas.

Dicha estructura es el fundamento de un argumento lógico-formal mediante la aplicación

de la regla de Sustitución de fórmulas.

donde representa cada

variable la premisa de un argumento. Conocida la verdad de cada una, como premisas de
un argumento, su producto verdadero exige la verdad de todas y cada una de dichas
expresiones; lo que permite establecer D como expresión libre y conclusión del argumen