Documentos de Académico
Documentos de Profesional
Documentos de Cultura
e Inferencias
DIC 19
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.
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:
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
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
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.
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.
Inferencia lógica
En la lógica tradicional
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.
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.
donde ; y .
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.