1

EL LENGUAJE FORMAL DE LA LGICA

Qu es un lenguaje formal?
Un lenguaje formal, en tanto que lenguaje artificial, est formado por los siguientes elementos bsicos:
Un conjunto perfectamente definido de signos del lenguaje, esto es su alfabeto.

Unas reglas de conformacin de dichos signos, es decir una gramtica que especifique cmo combinar los
signos con otros para tener expresiones bien formadas.

En nuestro caso, como buscamos aplicar el lenguaje formal a la reconstruccin de la estructura lgica del
lenguaje natural, precisaremos de unas reglas de sustitucin que nos ayuden en la formalizacin o
traduccin de expresiones del lenguaje natural al de la lgica formal.

El alfabeto del lenguaje formal en la lgica proposicional
El lenguaje lgico de la lgica proposicional consta de tres tipos de signos en su tarea de reconstruir la
estructura lgica del lenguaje natural:
(1) Unos signos para representar las proposiciones simples o atmicas: se trata de las letras
proposicionales, que por convencin suelen designarse con las letras P,Q,R, etc. (maysculas en nuestro
caso)
Las proposiciones pueden representarse arbitrariamente con cualquiera de estas letras. Sin embargo se
debe tener en cuenta que:
a) Solo debe haber una letra por proposicin y una proposicin por letra.
b) No asignar letras dobles del castellano como RR, LL, CH.
c) En lo posible no asignar las letras V ni F, ya que podran confundirse con los valores de verdad;
verdadero o falso.
d) Tambin es conveniente asignar letras que se puedan asociar al contenido de la proposicin, para
facilitar su manipulacin.
(2) Unos signos para formar proposiciones compuestas o moleculares conectndolas entre s: se trata de
las conectivas (tambin llamados conectores, o juntores). En la siguiente tabla presentamos el nombre, el
signo y la equivalencia con el lenguaje natural de las cinco conectivas que utilizaremos:
Nombre de la
conectiva:
Smbolo:
Correspondencia en el
lenguaje natural:
Nombre de la
proposicin
Negador ~ "no ..." Negacin
Conjuntor "... y ..." Conjuncin
Disyuntor v "... o ..." Disyuncin
Condicional "si ... entonces..."
Condicional
Bicondicional ".. si y slo si ..." Bicondicional
(3) Unos signos auxiliares, que son los parntesis, que pueden ayudar a delimitar dnde comienza una
parte de la frmula y dnde acaba para empezar la siguiente. Su equivalencia en el lenguaje natural seran
los signos de puntuacin en la lengua escrita.
Pasemos ahora a presentar la gramtica.
2

LAS REGLAS DE FORMACIN DE FRMULAS
Adems de los signos primitivos que acabamos de conocer, necesitamos unas reglas que nos permitan
saber cundo estamos ante una combinacin de smbolos que est bien construida en el lenguaje formal.
Qu es una frmula bien formada?
Una frmula es una secuencia de caracteres, pero es preciso delimitar de la totalidad de combinaciones
posibles de caracteres aquellas que sean como "bien formadas"; para ello, damos la siguiente definicin de
lo que es una frmula bien formada, (o fbf):
1. Una letra proposicional es una fbf.
2. Toda fbf a la cual se antepone el smbolo "" (negacin) es una fbf.
3. Si AyB son fbfs, entonces las secuencias:(AB), (AvB), (AB),y (AB) son fbfs
4. Toda secuencia de caracteres producida por la aplicacin de los pasos 1, 2, 3, en cualquier orden,
constituye una fbf. (Clusula de recursin)
5. Ninguna otra secuencia constituye una fbf. (Clusula de exclusin)
Ejemplo:
A continuacin presentamos algunos ejemplos de fbfs y no bien formadas:
Frmulas BIEN formadas

Frmulas MAL formadas
P(qr) (p(q r))
P r P q(
q (p(qr))
(r) (pqv r))
LA NEGACIN DE ENUNCIADOS
La representacin de las proposiciones
Utilizaremos las letras P, Q, R, S y as sucesivamente para representar las proposiciones. As, por
ejemplo, si decidimos que P represente la proposicin "el sol brilla", lo escribiremos de la siguiente
manera:
P: "el sol brilla"que se lee: P es el enunciado "el sol brilla"
Modificacin de las proposiciones
Podemos formar nuevas proposiciones a partir de otras de muchas maneras diferentes. Por ejemplo, a
partir de P: "Yo soy un paisa", podemos formar la negacin de P: "No es el caso de que yo sea paisa", o
ms sencillamente "Yo no soy paisa". Denotamos la negacin de P mediante P que se lee "no P". Hay
otras formas de sealar la negacin de un enunciado, por ejemplo, mediante el smbolo ~. Los smbolos
y ~ son equivalentes, pero aqu utilizaremos preferentemente por una mera cuestin de simpata:
Wittgenstein utiliz el smbolo en su Tractatus Lgico Philosophicus.
Lo importante de la negacin es que si p es verdadero, entonces P es falso, y viceversa. Esto se puede
resumir en la siguiente tabla de verdad de la negacin:

P P
V F
3

F V
En la columna de la izquierda estn los dos posibles valores de verdad de P y en la de la derecha
aparecen los correspondientes valores de verdad para P.
UNA PROPIEDAD ESPECIAL: LA LEY DE LA DOBLE NEGACIN
Qu es lo que sucedera si nos propusiramos negar una negacin? En forma simblica, qu sucede si
nos proponemos negar la expresin P? Evidentemente, tendramos la expresin (P), que es lo mismo
que P.
Pues bien, la negacin de la negacin de un enunciado, es la afirmacin de dicho enunciado; en forma
simblica:
P P
La anterior expresin simblica refleja la ley de la doble negacin.
Y qu ocurrira si negsemos una doble negacin? Es decir, (P), o lo que es lo mismo: P. En
este caso, simplemente aplicando la definicin de la negacin llegamos a la conclusin de que (P) P
Fjate bien en esto:Cuando el nmero de negaciones de un enunciado es par, el valor de verdad de dicho
enunciado es el original de la proposicin, y cuando es impar, es la negacin del enunciado original, como
muestra el siguiente esquema:
P P
P P
P p
P P
P Petctera ad inf.
La conjuncin
Si tenemos, por ejemplo, P: "Soy gordo", y Q: "T eres inteligente", podemos formar el siguiente
enunciado: "Soy gordo y t eres inteligente". Este nuevo enunciado se puede representar con p Q que se
lee "P y Q".
Para que la expresin p Q sea verdadera, tanto P como Q deben ser verdaderas. Por ejemplo, si yo soy
de verdad gordo, pero t eres tonto de remate, entonces (P Q) es falso.
El smbolo es otro operador lgico. El enunciado P Q es la conjuncin de P y Q.
Conjuncin ()
La conjuncin de p y Q es el enunciado P ^ Q que se lee "P y Q." Su valor de verdad queda definido por
la siguiente tabla de verdad.
P Q P^ Q
V V V
V F F
F V F
F F F
4

En las columnas P y Q aparecen las cuatro posibles combinaciones de los valores de verdad para P y Q y
en la columna P, Q aparecen enumerados los valores de verdad de P, Q para cada una de esas
combinaciones. Por ejemplo, la segunda fila de la tabla nos dice que cuando P es verdadero y Q falso, el
enunciado P Q es falso. De hecho, de acuerdo con la tabla anterior y con la definicin que hemos dado de
la conjuncin, la nica forma de hacer P ^ Q verdadero es haciendo que tanto P como Q sean verdaderos
(fila 1).
El smbolo de la conjuncin "" es un ejemplo de operador binario ("binario" alude a que el operador
acta sobre un par de proposiciones).
LA FORMALIZACIN DE ENUNCIADOS CON LA CONJUNCIN
Laformalizacin es el proceso mediante el cual transformamos un enunciado formulado en lenguaje
natural a un enunciado formulado en un lenguaje formal o simblico.
Formas de expresar la conjuncin en lenguaje natural
Como ya hemos visto, hay varias formas de expresar la conjuncin en el espaol que hablamos
habitualmente. Vemoslo con una frase de Cicern: "Las races del estudio son amargas, dulces son sus
frutos"
P: "Las races del estudio son amargas"
Q: "Los frutos del estudio son dulces"
Todas las expresiones que aparecen en la siguiente lista son formas de decir p Q:
"Las races del estudio son amargas, dulces son sus frutos" (esta es la formulacin original de
Cicern)
"Las races del estudio son amargas, pero sus frutos son dulces"
"Las races del estudio son amargas, aunque sus frutos son dulces"
"Aunque las races del estudio son amargas, sus frutos son dulces"
"Mientras que las races del estudio son amargas, dulces son sus frutos"
A pesar de que las races del estudio son amargas, dulces son sus frutos"
Todas estas formas de expresar P ^ Q tienen en comn el hecho de que si ambas proposiciones son
verdaderas, el total (la proposicin compuesta) que forma su conjuncin tambin es verdadero.
Ejemplos de formalizacin a partir del lenguaje natural
1 Si P es el enunciado "Este mundo es maravilloso" y Q es el enunciado "La guerra es abominable",
expresa en lenguaje formal (formaliza) el siguiente enunciado: "Este mundo no es maravilloso, la guerra es
abominable".
Solucin: La primera clusula es la negacin de P por lo tanto es P. La segunda clusula simplemente
afirma que la guerra es abominable, por lo que es Q. El hecho de que ambas clusulas estn separadas (o
unidas) por la coma, nos indica, en este caso, que hay una conjuncin, por lo que la formalizacin es: P
Q.
2 Formaliza: "Los filsofos, como los asnos, son mamferos" siendo P: "Los filsofos son mamferos", Q:
"Los asnos son mamferos"
Solucin: Sencillamente P Q
3 Formaliza el siguiente enunciado de Kant [La metafsica de las costumbres, parte segunda, IV] "Los
fines que son a la vez deberes son la propia perfeccin y la felicidad ajena" siendo P:"La propia perfeccin
es un fin que a la vez es deber", Q: "La felicidad ajena es un fin que a la vez es deber"
Solucin:P Q
4 Formaliza la siguiente afirmacin de Wittgenstein: "El mundo es la totalidad de los hechos, no de las
cosas" [Tractatus Lgico-Philosophicus, 1.1], siendo P: "El mundo es la totalidad de los hechos", y Q: "El
5

mundo es la totalidad de las cosas"
Solucin: El enunciado de Wittgenstein afirma P y niega Q por lo que laformalizacin del enunciado sera:
P Q
5 Formaliza el enunciado de Woody Allen: "Soy suficientemente bajito y feo como para triunfar por m
mismo.", siendo P: "soy suficientemente bajito como para triunfar por m mismo", y Q: "Soy
suficientemente feo como para triunfar por m mismo"
Solucin: La primera clusula es la afirmacin de P y la segunda la de Q por lo que la solucin es P Q
6 Formaliza la frase de Gandhi: "No hay un camino hacia la paz, la paz es el camino", siendo P: "Hay un
camino hacia la paz", y Q: "La paz es el camino".
Solucin: la primera clusula es la negacin de P y la segunda la afirmacin de Q por lo que: P ^ Q
7 Formaliza la conocida sentencia de Kant: "No se puede aprender filosofa, tan solo se puede aprender
a filosofar", siendo P: "Se puede aprender filosofa", Q: "slo se puede aprender a filosofar"
Solucin: la primera clusula es la negacin de P y la segunda la afirmacin de Q por lo que P ^Q
8 Formaliza el dicho de Pguy: "Una gran filosofa no es la que instala una verdad definitiva, es la que
produce una inquietud", siendo P: "Una gran filosofa instala una verdad definitiva", y Q: "Una gran filosofa
es la que produce una inquietud".
Solucin: La primera clusula es la negacin de P y la segunda es Q por lo que la formalizacin quedara:
(P) ^ (Q)


LA DISYUNCIN
En este apartado introducimos un nuevo operador. Si comenzamos con los enunciados P: "Yo soy alto" y
Q: "T eres inteligente", podemos formar el enunciado "O yo soy alto, o tu eres inteligente", que se
representa simblicamente P v Q y que se lee "P o Q".
Como sucede que en el lenguaje natural la conjuncin disyuntiva "o" puede tener varios significados, los
lgicos han acordado que la disyuncin inclusiva o: P v Q significa que P es verdad, o bien Q es verdad, o
bien ambos son verdad.
En el ejemplo con el que comenzamos esta seccin, P v Q significa "Yo soy alto, o t eres inteligente, o
ambas cosas". En ocasiones incluiremos la apostilla "o ambos" por una mera cuestin de nfasis, pero si no
lo hacemos as, el significado mencionado se mantiene.
Por lo tanto, llamamos P v Q a la disyuncin de P y Q:
Disyuncin: La disyuncin de P y Q es el enunciado P v Q que se lee "P o Q." Su valor de verdad viene
dado por la siguiente tabla de verdad:
P Q Pv Q
V V V
V F V
F V V
F F F
Como se trata de la disyuncin inclusiva, P v Q es verdadera cuando P es verdad, o Q es verdad, o
ambos lo son.
6

Fjate que la nica manera de que un enunciado disyuntivo sea falso consiste en que tanto P como Q
sean falsos. Por este motivo, podemos decir que P v Q tambin significa "P y Q no son ambos falsos".
Profundizaremos en esta observacin un poco ms adelante.
El smbolo de la disyuncin " v" es el segundo ejemplo que vemos de operador binario.
Ejemplo de la disyuncin
Sea P: "El mayordomo cometi el crimen", Q: "El pintor cometi el crimen" y R: "La sirvienta cometi el
crimen"
a. Qu dice P v Q?
b. Qu dice (P v Q) ^R?
Solucin:
a. P v Q: "O el mayordomo o el pintor cometieron el crimen"
Fjate que esto no excluye la posibilidad de que tanto el mayordomo y el pintor cometieran el crimen, ni
que ambos fueran, de hecho, la misma persona. La nica forma de que P v Q sea falso es que ni el
mayordomo ni el pintor cometieran el crimen.
b. (P v Q) ^ R: "O el mayordomo o el pintor cometieron el crimen, pero no la sirvienta".
EL CONDICIONAL
Consideremos el enunciado: "Si apruebas Filosofa, te dejar ir al viaje de fin de curso". Este enunciado
est formado por dos simples:
P: "Apruebas Filosofa"
Q: "Te dejar ir al viaje de fin de curso"
Lo que nuestro enunciado original afirma es esto: si P es verdad, entonces Q tambin es verdad, o,
dicho de modo ms sencillo, si P entonces Q. Se trata de un enunciado condicional cuya formalizacin es
P Q y que se puede leer tambin como P implica Q que veremos luego.
En el enunciado P Q se dice que P es el antecedente (o hiptesis) y Q el consecuente (o
conclusin).
Una condicional es siempre verdadera excepto cuando el antecedente es verdadero y el
consecuente falso.
Siguiendo con nuestro ejemplo "Si apruebas Filosofa, te dejar ir al viaje de fin de curso",
supongamos que es verdadero. Este hecho no significa que aprobars Filosofa, todo lo que dice es que si
la apruebas, entonces te permitir ir al viaje de fin de curso. Si consideramos que este enunciado es una
promesa, la nica forma de romperla es que t apruebes Filosofa, pero yo no te permita ir al viaje de fin
de curso. De forma anloga, la nica forma de hacer un condicional falso (de romper una promesa) es
hacer verdadero el antecedente y falso el consecuente.
Condicional
El condicional P Q se lee "si P entonces Q". Un condicional siempre es verdadero, excepto cuando
el antecedente es verdadero y el consecuente falso.
Por lo tanto, su valor de verdad queda definido por la siguiente tabla de verdad.
P Q PQ
7

V V V
V F F
F V V
F F V
En las columnas P y Q aparecen las cuatro posibles combinaciones de los valores de verdad para P y
Q y en la columna P Q aparecen enumerados los valores de verdad de P ~ Q para cada una de esas
combinaciones. Por ejemplo, la segunda fila de la tabla nos dice que cuando P es verdadero y Q falso, el
enunciado P Q es falso. De hecho, de acuerdo con la tabla anterior y con la definicin que hemos dado
de la implicacin, la nica forma de hacer P Q falso es haciendo que P sea verdadero, pero Q falso (2
fila).

La formalizacin de enunciados condicionales
Ya hemos visto lo variopinto que puede ser el lenguaje natural, en contraposicin con la rigidez del
lenguaje formal de la lgica. En este apartado ilustraremos de forma prctica algunas posibilidades que se
usan en lenguaje natural para formalizar el escueto P Q.
Cada una de las siguientes expresiones equivale al condicional P Q.

Si P entonces Q.
Siempre Que P, Q.
P implica Q.
No P sin Q.
Q se sigue de P.
Q es necesario para P.
Q si P.
Q es una condicin necesaria
Para P.
P slo si Q.
P es suficiente Para Q.
Q siempre que P.
P es condicin suficiente Para
Q.
Cuando P entonces Q.
De haber sucedido P, Q.
Q con tal que P.
Q en caso que P.
8

Fjate bien en esto...
Es interesante notar la diferencia entre "Q si P" y "P slo si Q". En el caso de "Q si P"
se sugiere que P Q es verdadera slo con que Q sea verdadera. En el caso de "P
slo si Q", est latente que si P Q y P son verdad, tambin Q ha de serlo.
En el caso de "P es una condicin suficiente para Q", se dice que es suficiente
conocer P es verdad para concluir que Q es verdadero. Por ejemplo, es suficiente que
apruebes Filosofa para que te deje ir al viaje de fin de curso. Otras cosas podran
inducirme a permitirte ir al viaje, pero con que apruebes la Filosofa ser suficiente.
En el caso de "Q es una condicin necesaria para P", se dice que en caso de que
se produzca P es necesario que Q tambin sea verdadera para que la implicacin P
Q sea verdadera, como se puede ver en la tabla de verdad que define el conector
"". En nuestro ejemplo:"si apruebo Filosofa voy al viaje de fin de curso" el hecho
de ir al viaje de fin de curso es una condicin necesaria para la verdad de la
implicacin de marras.
El bicondicional
Ya hemos comprobado que P Q no es lo mismo que QP. Puede ocurrir, sin embargo,
que tanto P Q como Q P sean verdaderos. Por ejemplo, si P:"La Tierra es cbica", y
Q:"El Sol es un planeta", entonces tanto P Q como Q P son verdaderos, porque tanto P
como Q son falsos. Es necesario tener esto en cuenta para entender bien el concepto
decoimplicador.
Mediante el coimplicador lo que queremos decir es que un enunciado es a la vez
condicin necesaria y suficiente para otro. As, si digo que P:"apruebo Filosofa" y Q:"saco
un 5 o ms en el examen de Lgica" la frmula P Q significa "apruebo Filosofa si y slo
si saco un 5 o ms en el examen de Lgica". Con este "si y slo si" quiero poner de
manifiesto tres cosas:
1. Al introducir el primer condicional "si" (en "s y slo si"), introduzco el antecedente, y
por tanto afirmo que P Q (es decir aprobar Filosofa si saco 5 o ms en el examen
de Lgica),
2. Al introducir "slo si" (en "s y slo si"), introduzco el consecuente, buscando
comunicar que Q P (es decir, que si saco un 5 o ms en el examen de Lgica,
entonces apruebo la Filosofa), y
3. Al utilizar la partcula "y" (en "s y slo si"), quiero comunicar la conjuncin de P Q
con Q P.
As pues, el enunciado "apruebo Filosofa si y slo si saco un 5 o ms en el examen de
Lgica" se puede formalizar de dos formas equivalentes: (P Q)^ (Q P), o bien P Q.
En consecuencia, el enunciado P Q queda definido por el enunciado (PQ) (QP). Por
esta razn, el smbolo se llama bicondicional, y la tabla de verdad para pq es la misma
que la de (pq) (qp).

9

El bicondicional
El bicondicional o coimplicador P Q que se lee "p si y slo si q" o "p es equivalente a q", se define por la
siguiente tabla de verdad:
P Q P Q
V V V
V F F
F V F
F F V
La doble flecha horizontal es el operador bicondicional
Fjate que de la observacin de la tabla de verdad deducimos que para que P Q sea verdadera, tanto P
como Q han de tener los mismos valores de verdad, y en caso contrario es falsa.
La formalizacin del bicondicional
El coimplicador puede tener varias expresiones equivalentes en lenguaje natural. As P
Q es la formalizacin de las siguientes expresiones de lenguaje natural:
P si y slo si Q
p es necesario y suficiente para Q
P es equivalente a Q
Fjate que P Q y Q P tendan totalmente los mismos valores de verdad, puesto que
ambas son coimplicaciones y por lo tanto si sus valores de verdad son los mismos, son
verdaderas, y son falsas en los dems casos. En consecuencia, podemos reformular los
enunciados anteriores intercambiando P y Q:
Q si y slo si P
Q es necesario y suficiente para P
Q es equivalente a P