Lógica proposicional

por Software DELSOL

Índice del contenido

Abrir índice
El Diccionario de la RAE define lógica como “ciencia que expone las leyes, modos y formas
de las proposiciones en relación con su verdad o falsedad”. 
Algo que es lógico es coherente, bien estructurado.
La lógica nos permite saber si un pensamiento es correcto o incorrecto.
La lógica estudia el razonamiento humano
Podemos distinguir dos tipos de lógica:

 La lógica aristotélica que estudia los conceptos, en especial los predicables y las

categorías. Se ocupa del razonamiento: deductivo, categórico o de silogismos, como formas
de conocimiento científico.
 La lógica matemática o proposicional consiste en utilizar símbolos a través de
tablas de verdad que nos indican lo verdadero o falso.

La proposición
El Diccionario RAE define proposición como “enunciación de una verdad demostrada o que
se trata de demostrar”, su análisis es el fundamento de la lógica proposicional que, a través de
este método de análisis, utiliza un lenguaje exacto que no da lugar a imprecisiones.
La proposición sólo puede ser verdadera o falsa
Para que un enunciado que hacemos sea una proposición el único requisito es que podamos
definirla como verdadera o falsa.
Por ejemplo son proposiciones: son las tres de la tarde, la luz está encendida, La Cibeles está
en Madrid, 2+2=5, Caracas es la capital de Venezuela; en todos estos casos lo que se dice es
verdadero o falso.
No serían proposiciones las preguntas como ¿a dónde vas? o ¿cómo estás?, u otras
expresiones que no enuncian realidades verdaderas o falsas como buenos días o te deseo lo
mejor.
A estas afirmaciones verdaderas o falsas las llamamos proposiciones simples y, para
trabajar con ellas, las representamos con letras del alfabeto.
Proposiciones complejas
Una proposición compleja es la unión de dos o más proposiciones simples que están
unidas por un conector lógico
Este conector lógico del que hablamos suele consistir en una palabra que las relaciona
(vincula) como “y”, “además de”, “entonces”, etc.
Por ejemplo, si tenemos dos proposiciones simples como:

 María es guapa.
 María es lista.
 Con ellas podremos formar una compleja que sería “María es guapa y lista”.
Tabla de verdad
Como hemos visto en una proposición simple solo hay dos posibilidades, o es verdadera o es
falsa.
Pero, en una proposición compuesta, hay dos o más proposiciones simples.
En este caso no hay sólo dos posibilidades: al haber dos proposiciones puede que las dos
sean verdaderas, que las dos sean falsas, que una sea verdadera y la otra falsa o viceversa,
por lo tanto habría cuatro posibilidades.
Si la proposición compleja contiene tres proposiciones simples el número de posibilidades es
aún mayor.
Para calcular el número de posibilidades elevamos dos al número de proposiciones
simples que participan que será el exponente.
Así, si tenemos dos proposiciones será dos al cuadrado (4), si son tres será dos al cubo (8), si
son cuatro dos a la cuarta (16) y así sucesivamente.
Conectores lógicos
Como hemos dicho enlazan dos o más proposiciones simples, dependiendo de cómo realizan
esta vinculación pueden ser:

 Conjunción: la letra “y”, en este caso para que la proposición compuesta sea verdad
las dos proposiciones simples deben ser verdaderas.
 Disyunción débil la letra “o”, para que la proposición compuesta sea verdad una de
las dos proposiciones será verdadera o las dos, la proposición compuesta sólo será falsa si
las dos proposiciones simples que la componen son falsas.
 Disyunción fuerte con la combinación “o...o...” como en la frase “o comes carne o
comes pescado”; en este caso para que la proposición compuesta sea verdadera una de las
dos simples que la componen debe ser verdadera y la otra falsa, si las dos fueran
verdaderas o las dos falsas la proposición compuesta sería falsa.
 Condicional por la expresión “sí … entonces ...”: la primera proposición simple es el
antecedente y el segundo consecuente. En este caso la proposición será verdadera salvo
que la primera sea verdadera y la segunda falsa, en cuyo caso la compuesta será falsa.
 Bicondicional por la expresión “sí y sólo sí”, como en la frase “el animal ladra sí y
sólo sí es un perro”: en este caso la proposición compuesta es verdadera si las dos simples
son, a la vez, verdaderas o las dos falsas, si una fuera verdadera y la otra falsa la compuesta
sería falsa.
 Negación puede ser con la expresión “no” o “no es cierto que”, para que la compuesta
sea verdadera al menos una de las dos que la componen ha de ser falsa.

Tablas de verdad
Como vemos, para saber si una proposición compleja es verdadera o falsa necesitamos saber
si las proposiciones simples que la componen son verdaderas o falsas.
Dependiendo del resultado final según la combinación de estas proposiciones simples la tabla
de verdad de la compleja puede ser de tres tipos:

 Tautológica cuando cualquier combinación de verdadero o falso de sus componentes

da siempre como resultado que la proposición compleja es verdadera.
 Contradictoria si cualquier combinación de verdadero o falso de los componentes da
siempre como resultado que la proposición compleja es falsa.
 Contingente cuando existen distintas posibilidades de resultados según la
combinación de verdadero y falso de los componentes.
 Qué es lógica proposicional?
 A Albani Urdaneta

  3 minutos de lectura


o

La lógica proposicional es una rama de la lógica clásica que estudia las variables
proposicionales o sentencias lógicas.

Lógica
Es una ciencia que estudia el lenguaje científico, su planteamiento, su
organización, en entidades jerárquicas y los métodos como sus fórmulas para
analizar toda forma escrita. Para comunicarse el ser humano utiliza lenguajes
discursivos dichos lenguajes están llenos de partículas lógicas.

Las partículas lógicas: fundamentalmente son los cuantificadores las conectivas

con ellas se forman los discursos.

Lógica Proposicional
La lógica proposicional estudia las variables proposicionales o sentencias lógicas,
sus posibles implicaciones, evaluaciones de verdad y en algunos casos su nivel
absoluto de verdad. Algunos autores también la identifican con la lógica
matemática o la lógica simbolice, ya que utiliza una serie de símbolos especiales
que lo acercan al lenguaje matemático.
Proposiciones
Tautología: se define tautología o validez a aquella formula que siempre es
verdadera.

Contradicción: es una proposición que siempre es falsa para todos los valores de
verdad. Para cualquier valor de verdad de las proposiciones, sea cual sea el
resultado de la formula lógica estudiada siempre va a ser falso.

Conjunción: es aquella formula que es falsa o verdadera. Las expresiones de las

que depende la validez de los argumentos se definen constante lógicas.

Lógica proposicional: Conectores

Negación: no -> >, ~

En lógica y matemática, la negación, también llamada complemento lógico, es una

operación sobre proposiciones, valores de verdad, o en general, valores
semánticos. Intuitivamente, la negación de una proposición es verdadera cuando
dicha proposición es falsa, y viceversa. En lógica clásica la negación está
normalmente identificada con la función de verdad que cambia su valor de
verdadero a falso y viceversa.

Conjunción: Y ∧, Solamente si las componentes de la conjunción son ciertas, la

conjunción es cierta.

Disyunción: O ∨,

La disyunción solamente es falsa si lo son sus dos componentes.

Condicional: ⇒ entonces

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.

Bicondicional: ⇔ si solo sí.

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

Proposiciones
Variables: En el lenguaje simbólico de la lógica de proposiciones, a los enunciados
simples, atómicos o elementales son los que no pueden descomponerse en otros
más simples. Se les llama variables, y se escriben con las letras minúsculas del
final del abecedario: «p», «q», «r», «s»… para los casos particulares, o con las
letras en mayúscula del principio del alfabeto cuando son casos generales: «A»,
«B», «C», «D»…

Además de las variables, la lógica proposicional tiene otros elementos en su

alfabeto: las constantes lógicas y los símbolos auxiliares que forman los
enunciados compuestos.

Algunas de las marcas léxicas del lenguaje natural, se traducen con uno de las
cinco constantes lógicas siguientes:

¬ NEGACIÓN: No

٧ DISYUNCIÓN INCLUSIVA: o, o bien, tanto si… como si,

٨ CONJUNCIÓN: y, e, o ni (=y no)

→ CONDICIONAL: si…. entonces

↔ BICONDICIONAL: si y solo si

Tabla de la Verdad
La negación: Cuando la variable es verdadera al negarla se convierte en falsa, y si
es falsa, al negarla se hace verdadera.

A ~A

V F

F V

La disyunción: Solo es falsa cuando todas las variables son falsas.

A B AVB

V V V

V F V

F V V

F F F
La conjunción: Únicamente es verdadera cuando todas las variables son
verdaderas también.

A B A ∧ B

V V V

V F F

F V F

F F F

El condicional: Solo cuando la primera variable o antecedente, es verdadera y la

segunda o consecuente, falsa, el resultado es falso.

A B A⇒B

V V V

V F F

F V V

F F V

El Bicondicional: Es verdad cuando las dos variables tienen el mismo valor.

A B A⇔B

V V V

V F F

F V F

F F V
A través del siguiente video curso podrás aprender más sobre lógica
proposicional, excelente recurso para fortalecer tus conocimientos en esta rama
de la lógica clásica. (TareasPlus.com, 29 videos)

Formas de argumentos básicas y derivadas[editar]

Consecuent
Nombre Descripción
e

Modus ponens Si  entonces ; ; por lo tanto 

Modus tollens Si  entonces ; no ; por lo tanto no 

Silogismo
Si  entonces ; si  entonces ; por lo tanto, si  entonces 
hipotético

Silogismo
Si  o ; no ; por lo tanto, 
disyuntivo

Dilema
Si  entonces ; y si  entonces ; pero  o ; por lo tanto  o 
constructivo

Dilema Si  entonces ; y si  entonces ; pero no  o no ; por lo tanto

destructivo no  o no 

Dilema Si  entonces ; y si  entonces ; pero  o no ; por lo tanto  o

bidireccional no 

Simplificación  y  son verdaderos; por lo tanto  es verdadero

 y  son verdaderos separadamente; entonces son

Conjunción
verdaderos conjuntamente.
  es verdadero; por lo tanto la disyunción ( o ) es
Adición
verdadera

Si  entonces ; y si  entonces ; por lo tanto si  es

Composición
verdadero entonces  y  son verdaderos

Ley de De
La negación de ( y ) es equivalente a (no  o no )
Morgan (1)

Ley de De
La negación de ( o ) es equivalente a (no  y no )
Morgan (2)

Conmutación (1) ( o ) es equivalente a ( o )

Conmutación (2) ( y ) es equivalente a ( y )

Conmutación (3) ( es equivalente a ) es equivalente a ( es equivalente a )

Asociación (1)  o ( o ) es equivalente a ( o ) o 

Asociación (2)  y ( y ) es equivalente a ( y ) y 

Distribución (1)  y ( o ) es equivalente a ( y ) o ( y )

Distribución (2)  o ( y ) es equivalente a ( o ) y ( o )

Doble negación  es equivalente a la negación de no 

Transposición Si  entonces  es equivalente a si no  entonces no 

Implicación
Si  entonces  es equivalente a no  o 
material
 ( si y solo si ) es equivalente a (si  es verdadero
Equivalencia
entonces  es verdadero) y (si  es verdadero entonces  es
material (1)
verdadero)

Equivalencia ( si ) es equivalente a cualquiera de los dos ( y  son

material (2) verdaderos) o (tanto  como  son falsos)

Equivalencia ( si ) es equivalente a: tanto ( como no  son verdaderos)

material (3) y (no  o  es verdadero)

desde (si  y  son verdaderos, entonces  es verdadero) se

Exportación3 puede probar que (si  es verdadero entonces  es
verdadero, si  es verdadero)

Importación  implica que  implica  es equivalente a que  y  implican 

 es verdadero es equivalente a  es verdadero o  es

Tautología (1)
verdadero

 es verdadero es equivalente a  es verdadero y  es

Tautología (2)
verdadero

Principio del
 o no  es verdadero
tercero excluido

Principio de no
 y no  es falso
contradicción

Ejemplo de una demostración[editar]

Demostrar: 
Una posible prueba de esto (que, aunque válida, pasa a contener más pasos de los
necesarios) se puede disponer de la siguiente manera:

Fórmul
Paso Razón
a
 1 Premisa.

2 Desde (1) por introducción de la disyunción.

3 Desde (1) y (2) por introducción de la conjunción.

4 Desde (3) por eliminación de la conjunción.

5 Resumen de (1) hasta (4).

6 Desde (5) por introducción del condicional. QED

Interpretar  como: "Asumiendo que , inferire ". Leer   como "Suponiendo nada, inferir

que  implica ", o "Es una tautología que  implica ", o "Siempre es cierto que  implica ".

Lenguaje formal en la notación BNF[editar]

El lenguaje formal de la lógica proposicional se puede generar con la gramática formal descrita
usando la notación BNF como sigue:
La gramática anterior define la precedencia de operadores de la siguiente manera:
1. Negación ()
2. Conjunción ()
3. Disyunción ()
4. Condicional material ()
5. Bicondicional ()

Semántica[editar]
Una interpretación para un sistema de lógica proposicional es una asignación de valores
de verdad para cada variable proposicional, sumada a la asignación usual de significados
para los operadores lógicos. A cada variable proposicional se le asigna uno de dos
posibles valores de verdad: o V (verdadero) o F (falso). Esto quiere decir que si
hay n variables proposicionales en el sistema, el número de interpretaciones distintas es
de 2n.
Partiendo de esto es posible definir una cantidad de nociones semánticas. Si A y B son
fórmulas cualquiera de un lenguaje L,  es un conjunto de fórmulas de L, y M es una
interpretación de L, entonces:

 A es verdadera bajo la interpretación M si y solo si M asigna el valor de verdad V a A.

 A es falsa bajo la interpretación M si y solo si M asigna el valor de verdad F a A.
 A es una tautología (o una verdad lógica) si y solo si para toda interpretación M, M
asigna el valor de verdad V a A.
 A es una contradicción si y solo si para toda interpretación M, M asigna el valor de
verdad F a A.
 A es satisfacible (o consistente) si y solo si existe al menos una interpretación M que
asigne el valor de verdad V a A.
  es consistente si y solo si existe al menos una interpretación que haga verdaderas a
todas las fórmulas en .
 A es una consecuencia semántica de un conjunto de fórmulas  si y solo si no
existe interpretación en la que todas las fórmulas que pertenecen a  sean verdaderas
y A sea falsa. Cuando A es una consecuencia semántica de  en un lenguaje L, se
escribe: .
 A es una verdad lógica si y solo si A es una consecuencia semántica del conjunto
vacío. Cuando A es una verdad lógica de un lenguaje L, se escribe: .
Tablas de verdad[editar]
Artículo principal: Tablas de verdad

La tabla de verdad de una fórmula es una tabla en la que se presentan todas las posibles
interpretaciones de las variables proposicionales que constituye la fórmula y el valor de
verdad de la fórmula completa para cada interpretación. Por ejemplo, la tabla de verdad
para la fórmula  es:
Como se ve, esta fórmula tiene 2n interpretaciones posibles —una por cada línea de la
tabla— donde n es el número de variables proposicionales (en este caso 3, es decir p,
q, r) y resulta ser una tautología, es decir que bajo todas las interpretaciones posibles
de las variables proposicionales, el valor de verdad de la fórmula completa termina
siendo V.

Formas normales[editar]
A menudo es necesario transformar una fórmula en otra, sobre todo transformar una
fórmula a su forma normal. Esto se consigue transformando la fórmula en otra
equivalente y repitiendo el proceso hasta conseguir una fórmula que solo use los
conectivos básicos (). Para lograr esto se utilizan las equivalencias lógicas:
Por ejemplo, considérese la siguiente fórmula:
La misma puede desarrollarse así:
Se dice que una fórmula está en forma normal disyuntiva (FND) si y
solo si tiene la siguiente forma:
donde cada A es una conjunción de fórmulas. Por ejemplo, la
siguiente fórmula está en forma normal disyuntiva:
Se dice que una fórmula está en forma normal
conjuntiva (FNC) si y solo si tiene la siguiente forma:
donde cada A es una disyunción de fórmulas. Por
ejemplo, la siguiente fórmula está en forma normal
conjuntiva:
Por las leyes de De Morgan, es posible pasar de una
forma normal disyuntiva a una forma normal
conjuntiva y viceversa:
Las FNC y FND son mutuamente duales. La
demostración hace uso de las leyes de De
Morgan y de la propiedad distributiva de la
conjunción y la disyunción. Se debe cumplir
que:
Y viceversa:

Historia[editar]
Artículo principal: Historia de la lógica

La lógica es conocida como una de

las ciencias más antiguas, tanto es
así que se le atribuye a Aristóteles la
paternidad de esta disciplina.
Partiendo de que corresponde a
Aristóteles haber sido el primero en
tratar con todo detalle la lógica, se le
considera su fundador. En un
principio se llamó Analítica, en virtud
del título de las obras en que trató
los problemas lógicos. Más tarde los
escritos de Aristóteles relativos a
estos eventos fueron recopilados por
sus discípulos con el título de
Órganon, por considerar que la
lógica era un instrumento para el
conocimiento de la verdad.
Aristóteles se planteó cómo es
posible probar y demostrar que un
conocimiento es verdadero, es decir,
que tiene una validez universal.
Aristóteles encuentra el fundamento
de la demostración en la deducción,
procedimiento que consiste en
derivar un hecho particular de algo
universal. La forma en que se afecta
esa derivación es el silogismo, por
cuya razón la silogística llega a ser
el centro de la lógica aristotélica.
Aunque la lógica proposicional (que
es intercambiable con el cálculo
proposicional) había sido insinuada
por los filósofos anteriores, fue
desarrollada en una lógica formal
por Chrysippus en el siglo III AC y
ampliada por su sucesor Stoics. La
lógica proposicional se centró en
proposiciones. Este avance fue
diferente de la lógica silogística
tradicional que se centró en los
términos. Sin embargo, más tarde en
la antigüedad, la lógica proposicional
desarrollada por los estoicos no se
comprendía [¿Quién?]. En
consecuencia de ello, el sistema fue
reinventado esencialmente
por Pedro Abelardo en el siglo XII.
La lógica proposicional fue
finalmente refinada usando la lógica
simbólica, se acreditó ser el
fundador de la lógica simbólica el
matemático Gottfried Leibniz siglo
XVII/XVIII, por su trabajo ratiocinator
del cálculo. Aunque su trabajo era
unos de los primeros, era
desconocido para la comunidad
lógica más grande. En
consecuencia, muchos de los
avances logrados por Leibniz fueron
recreados por lógicos como George
Boole y Augustus De Morgan
completamente independientes a
Leibniz.
Así como la lógica proposicional
puede considerarse un avance de la
lógica silogísta anterior, la lógica del
predicada de Gottlob Frege era un
avance de la lógica proposicional
anterior. Un autor describe esta
lógica como la combinación de los
rasgos distintivos de la lógica
silogística y la lógica proposicional.
Por lo tanto, la lógica predicad
marcó el comienzo de una nueva era
en la historia de la lógica; sin
embargo, los avances en la lógica
proposicional se hicieron aún
después de Frege, incluyendo
Deducción Natural, Árboles de la
Verdad y Tablas de Verdad. La
deducción natural fue inventada por
Gerhard Gentzen y Jan Lukasiewicz.
Los árboles de la verdad fueron
inventados por Evert Willem Beth. La
invención de las tablas de la verdad,
sin embargo, es de atribución
controvertida.
Dentro de las obras de Frege y
Bertrand Russell, hay ideas que
influyen en la invención de las tablas
de la verdad. La estructura tabular
real se acredita generalmente a
Ludwig Wittgenstein o a Emil Post
( o ambos independientemente).
Adeám de Frege y Russell, otros
acreditados con ideas anteriores a
las tablas de la verdad incluyen a
Philo, Boole, Charles Sanders
Peirce. Otros acreditados de la
estructura tabular incluyen
Lukasiewicz, Alfred North
Whitehead, Guillermo Stanley
Jevons, John Venn, y Clarence
Irving Lewis. En última instancia,
algunos han llegado a la conclusión,
como John Shosky, de que " está
lejos de estar claro que a cualquier
persona se le debe dar el título de
'inventor' de las tablas de la verdad".