APUNTES DE LGICA

Universidad Distrital Francisco Jos de Caldas

Profesor Edgar Betancourt Rozo
Dos aspectos fundamentales de la matemtica son lenguaje y
estructura. En el desarrollo histrico, la falta de un lenguaje
matemtico eficaz demor el progreso en el descubrimiento de
estructuras y de las relaciones entre ellas. Por ejemplo, en un
manuscrito italiano, de alrededor del ao 1460, aparece algo as:
lo censo eosue cose cioe o sue r. sono igualj a 39 drae,
lo que escribimos ahora:

Como resultado de una bsqueda, que se extendi durante varios

siglos, se encontr un lenguaje lgico matemtico que es el que
usamos actualmente, el cual posibilit un avance significativo,
especialmente durante los dos siglos anteriores. La lgica o logstica
de Aristteles y de los filsofos Estoicos y Escolsticos, como Filn de
Megara y Petrus Hispanus y Duns Scotus, perdur durante la Edad
Media, hasta el alemn Gottfried Wilhelm von Leibniz (1646 1716),
quien puede considerarse como el primer lgico matemtico. Sin
embargo, los primeros en presentar sistemas como los que usamos
hoy fueron los matemticos ingleses George Boole (1815 1864), y
Augustus de Morgan (1806 1878). Los principales continuadores de
estos trabajos fueron el cientfico y filsofo estadounidense Charles S.
Peirce (1839 1914), el matemtico alemn Gottlob Frege (1848
1925) y el matemtico italiano Giuseppe Peano (1858 1932) y
posteriormente, los ingleses Alfred North Whitehead (1867 1947) y
Bertrand Russell (1872 1970), con su obra Principia Mathematica,
desarrollada entre 1910 y 1913, que puede considerarse un hito en el
desarrollo de la matemtica.
En general, puede decirse que la lgica es la teora formal del
razonamiento. Como bsico se puede tomar el clculo proposicional
o lgica proposicional para incluirlo luego dentro del clculo de
1

predicados, donde destaca el concepto de variable; y con esto

estudiar sobre la teora de la deduccin.
CLCULO PROPOSICIONAL
Acta sobre frases o sentencias generadas a partir de nuestro idioma
comn que se puedan clasificar como verdaderas, o si no, como
falsas, a las que se les llama proposiciones. Cuando no incluyan
conectivos lgicos como no, o, y, si entonces, si y slo si; ni
cuantificadores, que se reconocen por la aparicin de palabras como
para todo o para algn o existe un, se denominan proposiciones
atmicas. El hecho que slo se permitan dos valores alticos,
verdadero (o, V, o, , o, 1) o falso (o, F, o, , o, 0), hace que se
obtenga una lgica binaria. Como restringimos para que una
proposicin tenga nicamente dos valores alticos estamos adoptando
el principio del tercio excluido. Otros tipos de lgica trabajan con
ms de dos valores alticos.
Las proposiciones se simbolizan mediante letras minsculas o letras
con subndices. Por ejemplo:
p: 2 es nmero par.
q: 7 es un mdulo para la suma.
r: coseno es funcin lineal.
r: coseno es funcin par.
s: 7 = 6 + 1 .
m: Bogot es la capital de Colombia.
Segn la gramtica las proposiciones atmicas corresponden a las
oraciones o frases enunciativas afirmativas. Se reconoce en ellas la
estructura gramatical: sujeto
verbo
predicado.
No se incluyen como proposiciones las frases imperativas ni las
interrogativas ni las exclamativas.
2

Cuando tomamos una proposicin, como p, no nos interesa tanto su

contenido, como su valor de verdad. Se llevar esta idea al extremo de
considerar que dos proposiciones son equivalentes cuando tienen el
mismo valor de verdad. Este valor de verdad se puede resumir en la
tabla de verdad de la proposicin. Para una sola proposicin p, la
tabla de verdad es:
p
V
F
Muchas veces aparecen proposiciones contingentes, en las que
dentro de un contexto el valor de verdad puede ser verdadero,
mientras que en otro puede ser falso. Si se suponen las condiciones
necesarias para excluir ambigedades, se puede aceptar su uso.
r: hoy es mircoles.
r: hoy, 5 de febrero de 2014, es mircoles.
w: son las 6:45 am.
CONECTIVOS LGICOS Y PROPOSICIONES COMPUESTAS
En el lenguaje comn una misma palabra puede tener varios
significados. Vencer o morir, Simn Bolvar naci en Caracas o en
Bogot, El protagonista, o el personaje principal de la fbula, es
Hrcules, son tres frases donde la o puede tener un sentido inclusivo,
exclusivo o de equivalencia. En la lgica simblica los conectivos
lgicos tendrn un solo sentido, fijado por convencin.
La negacin de una proposicin p es (p), la cual es falsa cuando p es
verdadera y viceversa. Los parntesis que encierran la negacin de p
indican el alcance de dicha negacin y se pueden omitir cuando no
haya peligro de confusin. La tabla de verdad de p y su negacin es:
p p
V F
F V

Otras notaciones para la negacin de p son: (~p), (p), (p), o, ( ).

Como una negacin slo afecta una proposicin, se dice que es un
conectivo monario o 1-ario.
En ocasiones la negacin se escribe tachando un smbolo, como en el
siguiente caso:
s: (7 = 6 + 1) .
s: 7 6 + 1 .
La lectura es no es cierto que 7 es igual a 6 ms uno o tambin 7 es
diferente de 6 ms uno.
Las dems conectivas lgicas son todas binarias o 2-arias, es decir,
afectan a dos proposiciones. Las principales son:

disyuncin (o inclusivo),

conjuncin,

implicacin o implicacin material o condicional,

equivalencia,

o exclusivo, y,

joint denial o flecha de Pierce.

Segn los posibles valores de verdad de las proposiciones p y q, se

definen los valores de verdad de las proposiciones (p q), (p q),
(p q), (p q), (p q) y (p q), en la siguiente tabla:
p
V
V
F
F

q pq pq pq pq pq pq
V
V
V
V
V
F
F
F
V
F
F
F
V
F
V
V
F
V
F
V
F
F
F
F
V
V
F
V

Algunas de estas conectivas se escriben en los libros de matemticas

con smbolos distintos, aunque no hay uniformidad total en las
interpretaciones:
disyuncin:

(p q), o, Apq

conjuncin:

(p q), (p q), (p & q), (p q), o, Kpq

implicacin:

(p q), (p q), (p q), o, Cpq

equivalencia:

(p q), (p q), (p q), o, Epq

En cada caso, la ltima notacin es la de ukasiewicz, en la que la

negacin de p es Np .
Para la lectura de proposiciones hay muchas opciones:
(p q): p o q, o, o p o q.
(p q): p y q,o, ambas p y q.
(p q): si p entonces q, o, p implica q, o, p slo si q, o p es
condicin suficiente para q, o, q si p, o, q es condicin necesaria
para p.
(p q): p si y slo si q, o, p equivale a q, o, p es condicin
suficiente y necesaria para q.
(p q): p o exclusivo q, o, o p o q, pero no ambas a la vez.
Podemos encontrar algunas concordancias del clculo proposicional
con el lenguaje corriente, en ejemplos como el siguiente:
Adn vive en Bogot y propone las siguientes definiciones:
t: es temprano si aun no son las 7 am.
f: hace frio si el termmetro marca menos de 5C.

Reloj: 6:30 am. Termmetro: 4C

es
cierto

Adn dice
es temprano o hace frio
es temprano y hace frio
si es temprano entonces hace frio
es temprano si y slo si hace frio
o es temprano o hace frio pero no
ambas
ni es temprano ni hace frio
es tarde

si
si
si
?

valor
proposicin
de
verdad
V
tf
tf
V
tf
V
tf
V

no

tf

no
no

tf
t

F
F

Reloj: 6:30 am. Termmetro: 6C

es
cierto

Adn dice
es temprano o hace frio
es temprano y hace frio
si es temprano entonces hace frio
es temprano si y slo si hace frio
o es temprano o hace frio pero no
ambas
ni es temprano ni hace frio

si
no
no
no

valor
proposicin
de
verdad
V
tf
F
tf
F
tf
F
tf

si

tf

no

tf

Reloj: 7:15 am. Termmetro: 4C

es
cierto

Adn dice
es temprano o hace frio
es temprano y hace frio
si es temprano entonces hace frio
es temprano si y slo si hace frio
o es temprano o hace frio pero no
ambas
ni es temprano ni hace frio
es tarde
6

si
no
si?
no?

valor
proposicin
de
verdad
tf
V
tf
F
tf
V
tf
F

si

tf

no
si

tf
t

F
V

Reloj: 7:15 am. Termmetro: 6C

es
cierto

Adn dice

valor
proposicin
de
verdad
F
tf
tf
F
tf
V
tf
V

es temprano o hace frio

no
es temprano y hace frio
no
si es temprano entonces hace frio
si
es temprano si y slo si hace frio
si
o es temprano o hace frio pero no
no
F
tf
ambas
ni es temprano ni hace frio
si
tf
V
Generalmente las discordancias se presentan en las casillas donde
hay smbolos de interrogacin y cada lector puede agregar algunos
interrogantes, en la segunda columna, segn su parecer. En la ltima
columna no puede haber dudas puesto que los valores de verdad se
fijaron como convencin. Es claro que para poder decidir, en cada
tabla, hay que tener el reloj y el termmetro a la vista y esto constituye
una caracterstica de la lgica proposicional que puede enunciarse
como la lgica no aporta nuevo conocimiento sobre las proposiciones,
slo nos dice cmo son las combinaciones de ellas segn los
conectivos que las encadenen.
TAUTOLOGAS Y CONTRADICCIONES
Las proposiciones que resultan verdaderas, para todos los valores de
verdad de las proposiciones que las compongan, se denominan
tautologas. Por el contrario, las proposiciones que tienen todos sus
valores de verdad falso se llaman falacias. La negacin de una
falacia es una tautologa y viceversa. La mayora de proposiciones no
son ni tautologa ni falacia. Una tautologa se puede simbolizar con y
una falacia con .
Entre las tautologas ms sencillas estn:
(((p)) p ): ley de doble negacin.

(1)

(p (p)): propiedad del tercio excluido.

(2)

(p p): una ley de idempotencia.

(3)
7

Como demostracin pueden realizarse tablas de verdad, como:

p p (p) ((p)) p
V F
V
V
F V
F
V
El proceso de llenar la tabla es mecnico, aplicando las definiciones
de los valores de verdad de las proposiciones compuestas, segn su
conectivo lgico. Por ejemplo, para llenar los valores de verdad de la
segunda columna basta invertir los de la primera, por renglones, ya
que el conectivo que se agreg fue negacin.
Cuando en una proposicin aparecen dos proposiciones atmicas el
nmero de posibles valores de verdad a considerar es cuatro, si
aparece una tercera se requieren ocho valores de verdad y as
sucesivamente. Por cada nueva proposicin se duplica el nmero
anterior. En total, si una proposicin consta de n proposiciones
atmicas, los valores de verdad a considerar son
.
((p q) (q p)) es una tautologa. (Ley conmutativa de la
disyuncin). La convencin usual sobre el uso de parntesis para
indicar prelacin en las operaciones es desarrollar primero los que
estn al interior.
p
V
V
F
F

q pq qp
V
V
V
F
V
V
V
V
V
F
F
F

(p q) (q p)
V
V
V
V
Es tautologa

En cambio, ((p q) (q p)) no es tautologa (ni contradiccin). O

en palabras, la implicacin no es conmutativa.
p
V
V
F
F

q pq qp
V
V
V
F
F
V
V
V
F
F
V
V
8

(p q) (q p)
V
F
F
V
No es tautologa

Las proposiciones constitutivas de una implicacin deben diferenciarse

bien, en la implicacin (p q), p se llama antecedente y q se llama
consecuente. La mecnica para llenar la tabla anterior puede
describirse as: segn la definicin de la tabla de verdad de la
implicacin esta es falsa slamente cuando el antecedente es
verdadero y el consecuente es falso, lo que est en la tercera columna
y segunda fila (despus del encabezado), y entonces, en la cuarta
columna el nico rengln donde la proposicin falsa es el tercero, en
los dems es verdadera.
Entre las proposiciones que aparecen con frecuencia en aplicaciones
de la lgica, casi todas tautologas, estn:
((p q) (q p))

(4)

((p q) (q p))

(5)

((p q) (q p))

(6)

(((p q) r) (p (q r)))

(7)

(((p q) r) (p (q r)))

(8)

(((p (q r)) ((p q) (p r)))

(9)

(((p (q r)) ((p q) (p r)))

(10)

Leyes conmutativas:

Leyes asociativas:

Leyes distributivas:

Leyes de idempotencia:

Leyes de De Morgan:

Con implicacin:

((p p) p)

(11)

((p p) p)

(12)

(p p)

(13)

( (p q) (p q))

(14)

( (p q) (p q))

(15)

((p q) (q p))

(16)

((p q) (p q))

(17)

( (p q) (p q))

(18)

((p q) ((p q) (q p)))

(19)

((p (p q)) q)

(20)

(p (p q))

(21)

((p q) p)

(22)

((p ) (p))

(23)

(((p q) q) p)

(24)

(((p q) (q r)) (pr))

(25)

(((p q) r)(p(qr)))

(26)

(((p q) r) (p(qr)))

(27)

(((p q) r) (p (q r)))

(28)

(((p q) ((p r) (q t))) (r t))

(29)

Las leyes asociativas de la disyuncin y de la conjuncin permiten

suprimir parntesis escribiendo, por ejemplo, p q r , en lugar de
(p (q r)) o de ((p q) r) , puesto que no se genera ambigedad.
En cambio, resulta que la proposicin
((p (q r)) ((p q) r))
no es una tautologa y entonces p q r es una expresin ambigua y
por tanto no tiene un significado sin los parntesis.
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r qr p(qr) pq
V V
V
V
F F
V
V
V F
V
V
F F
V
V
V V
V
V
F F
F
V
V F
F
F
F F
F
F

(pq)r (p(qr)) ((pq)r)

V
V
F
F
V
V
F
F
V
V
F
V
F
V
F
V
No es tautologa
10

No todas las tautologas tienen que establecerse mediante su tabla de

verdad. Cuando la equivalencia de dos proposiciones es tautologa
una de las proposiciones puede reemplazarse por la otra y la
proposicin que se obtiene es equivalente a la inicial. Por ejemplo, la
proposicin (18), ( (p q) (p q)), puede establecerse como
tautologa, con base en las anteriores tautologas de la lista as:
( (p q) (p q))
( (p q) (p q))
( (p q) ((p) q))
( (p q) (p q))
las tautologas utilizadas son, en orden:
(13)

(p p)

(17)

((p q) (p q))

(14)

( (p q) (p q))

(1)

(((p)) p ) .

SISTEMAS COMPLETOS DE CONECTIVOS LGICOS

Al tener todos los conectivos lgicos definidos antes, se obtiene un
lenguaje relativamente amplio, sin embargo, no se requieren todos
esos smbolos y las mismas proposiciones se pueden expresar con
menos conectivos, generndose sistemas completos de conectivos
lgicos.
Como ((p q) (p q)) , y, ((p q) ((p q) ) (p q))) son
tautologas, segn se ve en las siguientes dos tablas, al prescindir de
los conectivos joint denial y o exclusivo, el sistema resultante es
completo.
11

p
V
V
F
F
p
V
V
F
F

q p q p q (p q)
V
F
V
F
F
F
V
F
V
F
V
F
F
V
F
V

(p q) (p q)
V
V
V
V
Es tautologa

q p q p q p q (p q) (p q) (p q)
V
F
V
V
F
F
V
F
V
V
F
V
V
V
V
V
V
F
V
V
V
F
F
F
F
V
F
V
La equivalencia es tautologa

En conclusin, , , , , y, conforman un sistema completo

de conectivos lgicos.
Como ((p q) ((p q) (q p))) , es la tautologa nmero (19),
todas las equivalencias se pueden reemplazar por la conjuncin de
dos implicaciones y por tanto, , , , y, tambin conforman
un sistema completo de conectivos lgicos.
Por otra parte, ((p q) (p q)) , es la tautologa (17) y entonces,
las implicaciones se pueden escribir como disyunciones, de modo que,
, , y, son un sistema completo de conectivos lgicos.
Ahora, por la ley de doble negacin, ((p q) ( (p q))) , y al
aplicar la ley de De Morgan para la negacin de la conjuncin, se
obtiene ((p q) ( (p q))) , lo que implica que toda conjuncin
es la negacin de una disyuncin, en consecuencia, , y, ,
tambin son un sistema completo de conectivos lgicos.
En este punto surge la pregunta si es posible reducir este sistema de
modo que con una sola conectiva lgica se tenga un sistema
completo. La negacin sola o la disyuncin sola no son un sistema
completo de conectivas. Esto se puede justificar diciendo que la
negacin es un conectivo monario y entonces, no es posible expresar
la disyuncin, que es binaria, con negaciones nicamente. La
12

tautologa nmero (11) es ((p p) p) , y entonces, no es posible

obtener la negacin de p como disyuncin de p y p .
A partir de que ((p p) p) , y, (((p q) (p q)) (p q)) son
ambas tautologas, se obtiene que el joint denial solo es un sistema
completo de conectivos lgicos.
p p p p (p p) p
V
F
F
V
F
V
V
V
Es tautologa
p
V
V
F
F

q p q (p q) (p q) p q
V
F
V
V
F
F
V
V
V
F
V
V
F
V
F
F

((p q) (p q)) (p q)
V
V
V
V
Es tautologa

Hay otros conectivos que solos tambin conforman sistema completo y

es fcil verificar que la negacin y la conjuncin, ambas a la vez,
tambin lo son.
NOTACIN POLACA
La notacin de ukasiewicz tiene una particularidad notable, no
requiere del uso de parntesis para establecer la prelacin.
Notacin con parntesis Notacin de ukasiewicz
p
Np
Apq
pq
Kpq
pq
KpAqr
p (q r)
AKpqr
(p q) r
ANpq
p q
NApq
(p q)
ANpNq
p q
NApNq
(p q)

13

Para leer la proposicin AKpqr hay que tener en cuenta que la

conjuncin, K , es un conectivo binario y entonces, las dos
proposiciones que encadena deben estar a su derecha, y en efecto,
ellas son p y q, por su parte, la disyuncin A tambin es conectivo
binario y las dos proposiciones que se encuentran a su derecha son
Kpq , y, r. Para interpretar la negacin se tiene en cuenta que es un
conectivo monario y por tanto afecta a la primera proposicin a su
derecha y nada ms.
Algunos usan la idea de la notacin de ukasiewicz con los smbolos
corrientes as: p , pq , pq ,
El nombre de notacin se da en honor de la Escuela de Lgica Polaca
que lider el estudio de la lgica, principalmente desde el principio del
siglo XX y en la que destacaron Alfred Tarski, Andrzej Mostowski, Jan
Salamucha, Jan ukasiewicz, Kazimierz Adjukiewicz y Adolf
Lindenbaum, con trabajos en fundamentacin de la matemtica,
lgicas multivaluadas, lgica algebraica, sistemas deductivos y teora
de modelos, entre otros; aun despus de la Segunda Guerra Mundial,
la que afect dramticamente a toda la comunidad cientfica polaca.

CLCULO DE PREDICADOS
Partiendo de la idea gramatical que las frases constan de sujeto y
predicado, donde los sujetos son sustantivos, vemos esquemas donde
cambia slo el sujeto, como en:
Giuseppe Peano naci en Italia,
Bertrand Russell naci en Italia,
y entonces se puede dejar en blanco el lugar que corresponde al
sujeto o reemplazarlo por un smbolo cualquiera o una variable:
naci en Italia,
naci en Italia.
14

Cada vez que se reemplace la variable por uno de los sujetos o

trminos que represente, se obtendr una proposicin. El universo de
discurso de una variable, generalmente un conjunto, se puede fijar
como convencin. En el ejemplo anterior podra tomarse el conjunto
de personas u otro ms amplio como el conjunto de personas,
personajes literarios y animales y se obtendran dos universos de
discurso distintos. En el ejemplo anterior, al admitir ms trminos
aparecen otras proposiciones que antes no se tenan, por ejemplo:
Julieta naci en Italia,
Rocinante naci en Italia.
La representacin simblica se puede hacer con un predicado
monario, o 1-ario, en la variable , como sigue:
P(): naci en Italia,
El predicado monario se reconoce porque al reemplazar la variable por
un trmino de su universo de discurso se obtiene una proposicin o
predicado 0-ario:
P(Giuseppe Peano): Giuseppe Peano naci en Italia, (V) ,
P(Bertrand Russell): Bertrand Russell naci en Italia, (F) .
Como en el predicado pueden aparecer sustantivos, con ellos tambin
se puede realizar el mismo proceso de simbolizacin y entonces,
aparecen predicados binarios o 2-arios:
naci en z : Q(,z); donde la variable z tiene universo de discurso
los pases. Cada vez que se sustituya una variable por algn trmino
de su universo de discurso, se obtiene un predicado monario. Por
ejemplo:
Q( , Italia) : naci en Italia : P()
Q(Bertrand Russell, z) : Bertrand Russell naci en z : R(z) .

15

Q(Bertrand Russell, Espaa) : Bertrand Russell naci en Espaa :

R(Espaa) , (F) .
Generalizando, P( ,
, , ) se llama predicado n-ario, en las
variables
,
,,
, si al reemplazar una de sus variables, en
todas partes donde aparezca, por un trmino de su universo de
discurso, se obtiene un predicado (n 1) - ario. Este tipo de definicin
se llama definicin recursiva, pues en vez de definir directamente es
un esquema que permite, paso a paso, ir reduciendo el orden del
predicado, hasta llegar al orden cero, que corresponde a las
proposiciones, las que ya se tenan.
Los universos de discurso que ms se utilizan en matemticas son
conjuntos de nmeros, naturales: , enteros: , racionales : ,
reales : , o, complejos : ; o conjuntos de matrices, de funciones, de
vectores, etctera.
Una diferencia entre los conjuntos numricos mencionados y el de
personas es que ste es finito mientras que los otros son todos
infinitos. El nmero de personas que existen o han existido, por muy
grande que sea, es finito.
CUANTIFICADORES
Otra manera de reducir en una unidad el orden de un predicado es
cuantificando una de sus variables. Hay dos posibilidades, con el
cuantificador universal o con el cuantificador existencial.
Cuantificador Smbolo se lee
Universal
para todo

para cada
cualquiera sea
Existencial
existe

hay
para algn
Por ejemplo, con universo de discurso el conjunto de nmeros
naturales para la variable x y los predicados monarios:
16

P(x) : 2x + 1 es nmero primo, y

Q(x) : 2x + 1 es nmero par,
se forman, por cuantificacin, las proposiciones:
(x)(P(x)): para todo x, 2x + 1 es nmero primo,
(x)(P(x)): existe x, tal que 2x + 1 es nmero primo,
(x)(Q(x)): para todo x, 2x + 1 es nmero par,
(x)(Q(x)) :existe x, tal que 2x + 1 es nmero par,
de las cuales la segunda es verdadera y las otras falsas.
Los parntesis despus de los smbolos (x) y (x) indican el alcance
del cuantificador y cuando no haya peligro de confusin, se pueden
omitir. Las otras posibilidades de lectura son as:
(x)(P(x)): para cada x, 2x + 1 es nmero primo,
(x)(P(x)): cualquiera sea x, 2x + 1 es nmero primo,
(x)(P(x)): hay x, tales que 2x + 1 es nmero primo,
(x)(P(x)): para algn x, 2x + 1 es nmero primo.
En ocasiones tambin se incluye el universo de discurso de la variable
junto al smbolo de cuantificacin (x)(P(x)) , (x)(P(x)) .
Un ejemplo con un predicado binario: R(j, r) : j r < j + 1:
(j)(R(j, r)) : T(r)
(j)(R(j, r)) : T(r)
(r)(R(j, r)) : U(j)
(r)(R(j, r)) : U(j)

17

Un caso interesante se presenta cuando las variables tienen un

nmero finito de trminos en su universo de discurso, porque un
predicado con sus variables cuantificadas equivale a una proposicin
con disyunciones o conjunciones.
Una modificacin del uso del cuantificador existencial es , que se
lee existe un nico

BIBLIOGRAFIA
History of Mathematics
David Eugene Smith
Dover Publications

Diccionario de la Lengua Espaola

Real Academia Espaola
Vigsima primera edicin - 1992

Elementos de Lgica y Calculabilidad

Xavier Caicedo
Departamento de Matemticas Universidad de los Andes - 1990

Compendio de Lgica Matemtica

J. M. Bochenski
Paraninfo - 1982

18

Elementos de Lgica Terica

D. Hilbert y W. Ackermann
Editorial Tecnos 1975

Symbolic Logic, fifht edition

Irving M. Copi
Macmillan Publishing Co.

19