Está en la página 1de 7

Lógica Proposicional, Tablas de Verdad

e Inferencias
DIC 19

Publicado por Revolution BLOG

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 SÍMBOL
ÓN EN EL O EN
LENGUAJ ESTE SÍMBOLOS
CONECTI E ARTÍCUL ALTERNATIV
VA NATURAL EJEMPLO O OS
No está
Negación no lloviendo.
Está
lloviendo y está
Conjunción y nublado.
Está
lloviendo o está
Disyunción o soleado.
Si está
Condicional si… soleado, entonce
material entonces s es de día.
Está nublado si y
Bicondicion sólo si hay nubes
al si y sólo si visibles.
Ni está
Negación soleado ni está
conjunta ni… ni nublado.
O bien está
soleado, o
Disyunción o bien… 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 CONJUNCI DISYUNCIÓ CONDICION BICONDICIO


ÓN ÓN N AL NAL

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 argumento.