Tema 8: Elementos de

Lgica

El rol de la lgica
elemental en nuestro
curso de comunicacin
acadmica

Los modelos en la ciencia

En

ciencia construimos modelos de los

fenmenos para entenderlos bien. De este
modo, la mecnica clsica proporciona
modelos fsicos del movimiento de los
cuerpos.
Los modelos explican situaciones diversas;
por ejemplo, el modelo de Newton explica
los movimiento de los planetas y las
mareas.
Los modelos contienen simplificaciones.
Por ejemplo, el modelo de Newton
representa al Sol y a la Tierra como
partculas!

Los modelos lgicos del lenguaje natural

De

un modo similar, la lgica elemental es

una ciencia formal (como la matemtica y
la informtica) que nos proporciona
modelos lgicos del lenguaje natural
(espaol, ingls, etc.) Estos modelos nos
permiten entender bien y de un modo
preciso muchos aspectos de estos lenguajes.

Objeto de estudio de los modelos lgicos del

lenguaje natural
As

como la mecnica describe de un modo

preciso el movimiento de los cuerpos, la
lgica describe de un modo preciso la
gramtica superficial del espaol.
Los modelos lgicos del lenguaje natural (as
como los modelos de la mecnica) explican
situaciones diversas: por ejemplo, ellos
explican el modo en que construimos
enunciados complejos a partir de enunciados
simples o el modo en que inferimos
conclusiones a partir de una cierta evidencia
(premisas).

Simplificaciones en el modelo que la lgica

elemental proporciona del lenguaje natural
Por

supuesto, los modelos lgicos del

lenguaje natural contienen
simplificaciones. As como el modelo de
Newton representa al Sol y a la Tierra como
partculas, el modelo de la lgica elemental
usa unos pocos conectores definidos con
precisin para representar todos los
conectores del lenguaje natural. Y sucede
igual con otros aspectos.

El rol de la lgica elemental en este curso de

comunicacin acadmica
Por

ltimo, as como la mecnica de

cuerpos deformables representa los cuerpos
de un modo mucho menos simplificado que
la mecnica de partculas, la lgica
avanzada representa la gramtica
superficial del lenguaje natural de un modo
menos simplificado que la lgica
elemental.
Pero pagamos un precio: la teora
matemtica usada en los modelos menos
simplificados es mucho ms complicada.

Conectores lgicos

Los componentes del modelo lgico

As

como el modelo de la mecnica de

partculas se construye con partculas y
funciones numricas como la posicin de
las partculas y su masa, el modelo de la
lgica elemental se construye con
proposiciones y funciones de verdad;
stas ultimas son la negacin f, la
conjuncin f y la disyuncin f. Estas
funciones de verdad son los conectores
lgicos , , y de nuestro modelo.
[OJO: En adelante, V abrevia
verdadero y F abrevia falso].

Negacin
Se

aplica a una proposicin simple p para

formar su negacin p.

La

negacin simplemente cambia el

valor de verdad de la proposicin p por
su valor opuesto. La negacin funciona
como un switch: la negacin asigna el
valor F a una proposicin si su valor
original es V y asigna V si su valor original
es F (se le llama inversor en lgica digital).

En

espaol se representa por no, no

es el caso que, no es cierto que y
otras.

Ejemplos de la negacin
4

no es un nmero primo.

Si tomamos p como la proposicin

simple 4 es un nmero primo,
entonces p representa la proposicin
compuesta 4 no es un nmero
primo.
3

no es menor a 2.

Aqu p: 3 > 2; p: (3 > 2).

Ejemplos de la negacin
No

es cierto que el problema de la

economa sueca sea la desigualdad. p: ?,
p: ?

No

es el caso que los huracanes sean

sucesos extraos en Mxico. p: ?, p: ?

No

estoy de acuerdo contigo. p: ?, p: ?

Es

falso que 2 es un nmero racional.

Conjuncin
Se

aplica a dos proposiciones simples p

y q para formar su conjuncin p q.
La proposicin p q, es V siempre que
ambas proposiciones p y q sean V y F
en caso contrario.
En espaol se representa por y,
mas, adems, por aadidura,
pero, aunque, sin embargo, a
pesar que y otras.
[Ntese

que conectores discursivos distintos

(aditivos y contraargumentativos) se representan por
el mismo conector lgico. OJO. Esta es una
simplificacin de nuestro modelo!]

Ejemplos de la conjuncin
(*)

Quito es la capital de Ecuador y

Bogot es la capital de Colombia.

Si tomamos p: Quito es la capital de

Ecuador, q: Bogot es la capital de
Colombia, entonces p q representa la
proposicin compuesta (*).
Me

encanta esa chaqueta, sin embargo,

cuesta $9000. p: ?, q: ?, p q: ?

Ejemplos de la conjuncin
Boole

y Frege son dos grandes lgicos.

p: ?, q: ?; p q se puede reconstruir en
el modelo lgico como Boole es un gran
lgico y Frege es un gran lgico.

Piense

en una lista con ms de dos

elementos: Leibniz, Boole, Frege,
Whitehead y Russell son grandes
lgicos. Cmo se simboliza esta
proposicin compuesta?

Ejemplos de la conjuncin
Leibniz,

Boole, Frege, Whitehead y

Russell son grandes lgicos.

Las proposiciones simples son:

p1: Leibniz es un gran lgico,

p5: Russell es un gran lgico.

La proposicin compuesta es:

(p1 p2) ((p3 p4) p5).

Propiedades de la conjuncin
que el conector conjuncin es
conmutativo y asociativo tal como lo es
la multiplicacin de enteros ( se lee es

Ntese

equivalente a):

2 3 = 3 2; 2 (3 4) = (2 3) 4
(p q) (q p); p (q r) (p
q) r.

El poder expresivo de nuestro modelo

Ntese que cualquier lista finita en
espaol, con conectores discursivos
aditivos o adversativos, con cualquier
nmero n de elementos se representa
con una misma frmula general muy
concisa y precisa:

Disyuncin
Se

aplica a dos proposiciones simples p

y q para formar su disyuncin p q.

proposicin p q es V siempre que

al menos una de las proposiciones p y
q sea V y F slo cuando ambas
proposiciones son F.

La

En

espaol se representa por o, o

bien, y otras.

Ejemplos de la disyuncin
(*)

Luisa estudia lgica o informtica.

Si tomamos p: Luisa estudia lgica, q:
Luisa estudia informtica, entonces p
q representa la proposicin compuesta
(*).
Un

lexicgrafo puede ocuparse de la

sinonimia de un lenguaje y formas de
otro o bien puede ocuparse de sinonimia
entre formas del mismo lenguaje. (Quine)
p: ?, q: ?, p q: ?

Cul es la diferencia?
Compare

este par de proposiciones:

(1)

O Juan o Pedro (o ambos) desarrollaron el

programa

(2)

O Juan o Pedro lo desarrollaron (pero no

ambos)
Compare

este par de proposiciones:

(3)

Luisa estudia lgica o informtica.

(4)

Luisa est en Quito o en Ibarra.

Disyuncin inclusiva y exclusiva

En

los ejemplos (1) y (3) la disyuncin

sigue siendo verdadera cuando las dos
proposiciones simples son V
simultneamente mientras que en los
casos (2) y (4) las dos proposiciones nunca
pueden ser ambas V (eso lo dice
explcitamente (2) y en (4) ninguna
persona puede estar en dos ciudades
diferentes al mismo tiempo).

Disyuncin inclusiva y exclusiva

As

pues, (1) y (3) incluyen dentro de los

casos V el caso en que ambas
proposiciones simples son verdaderas a
la vez mientras que (2) y (4) lo
excluyen. Por eso al primer tipo de
disyuncin se le llama disyuncin
inclusiva y a la segunda, disyuncin
exclusiva.

Simbolizacin de la disyuncin exclusiva

As

pues, la correcta simbolizacin de

las disyunciones (1) y (3) es p q.

En

contraste, la correcta simbolizacin

de las disyunciones (2) y (4) es (p q)
(p q).
q) (p q) se lee p o q pero no
p y q (a la vez), es decir, p o q pero
no ambas.

(p

Ejemplos de la disyuncin
Al

menos uno de los siguientes estudiantes

obtuvo la mxima nota en el examen:
Crdenas, Davidson, Parker, Rodrguez, Sosa,
o Zea.
Las proposiciones simples son:
p1: Crdenas obtuvo la mxima nota en el
examen,

p5: Zea obtuvo la mxima nota en el examen.

La proposicin compuesta es:
(p1 p2) (p3 p4) (p3 p5).

Propiedades de y el poder del modelo

conector conjuncin es tambin
conmutativo y asociativo, as que
cualquier disyuncin en espaol se
representa de un modo similar a la
conjuncin:

El

y la clusula de exclusividad: (pi pj).

Los conectores lgicos bsicos en el espaol

Negacin

No p, no es el caso que p, no es
cierto que p, es falso que p.
Conjuncin p y q, p adems de q, p, aparte
q, p y por aadidura q, p ms an
q, p pero q, p sin embargo q, p
aunque q, p no obstante q, p
empero q.
Disyuncin [Sin clusula de exclusividad:] p o q
(y ambos). [Con esa clusula:] p o q
(pero no ambos) y p o bien q.

Algo que Ud. aprendi en bachillerato

As

como en su bachillerato Ud.

aprendi a tabular los valores de una
funcin cualquiera como f(x) = x2 (en
los enteros) aproximadamente del
siguiente modo: x f(x)
1
2
3

1
4
9

del mismo modo usted puede tabular

los valores de las funciones , ,.

Tabulacin de los valores de , y

tablas de las funciones , , son
mucho ms fciles que las tablas de
funciones como f(x) = x2, f(x) = 2x, etc. pues
ellas slo contienen dos valores: V y F o
verdadero y falso (o 1 y 0 o encendido y
apagado como en lgica digital). Y la tabla
nos permite computar los valores de
cualquier expresin de espaol
simbolizada adecuadamente.

Las

Tabulacin de los valores de , y

p
V
F

p
F
V

Ahora

p
V
V
F
F

q
V
F
V
F

pq
V
F
F
F

p
V
V
F
F

q
V
F
V
F

pq
V
V
V
F

veremos ejemplos de los conceptos

vistos en el espaol y en la escritura
acadmica.

Conectores derivados: el condicional y el

bicondicional (o equivalencia lgica)
El

conector condicional o implicacin

(material) se define as:
DEFINICIN 1: p q Df p q
En espaol se representa por no p o q,
si p entonces q, p slo si q, q
siempre que p, y muchas otras.

Conectores derivados: el condicional y el

bicondicional (o equivalencia lgica)
El conector bicondicional o
equivalencia lgica se define as:

DEFINICIN 2: p q Df (p q) (q
p)
En

espaol se representa por p si y

slo si q, p equivale a q, y otras.

La

adicin de estos dos conectivos

derivados aumenta tremendamente el
poder expresivo de nuestro modelo.

Los conectores derivados en el espaol

Implicacin si p entonces q, q si p, q
siempre que p, q dado p, q es
necesaria para p, q requiere que
p.
Bicondicional p si y slo si q, p si pero slo si
q, p pero slo en el caso que q, p

es [lgicamente] equivalente a q.
Hay

otras expresiones como ni p ni q o p a

menos que q que se obtienen combinando los
conectores anteriores.

Los conectores derivados en el espaol

p q o
tambin: (p q)

ni p ni q.

p q (p q)
p q

p a menos que q

(p q) o
tambin: p q

no ambos p and q o no es
verdad que tanto p como q sean
verdaderos

Ntese

que si p entonces q no debe

entenderse como p es la causa de q en el
sentido de p produce a q sino como o q es
verdadera o p es falsa. Veamos.

Cundo es p q verdadero y cundo es

falso?
p q es siempre verdadero
excepto cuando ambos p y q son falsos,
entonces p q, es decir, p q, es
siempre verdadero excepto en un solo
caso: cuando p es verdadero y q es
falso. Un ejemplo basta para entender
esto de un modo claro.

Como

Ejemplo simple de p q
x < 3 x < 4.
Si tomo un valor de x como x = 3,
obtengo el caso F V que, no
obstante, no invalida el condicional. Lo
mismo ocurre si tomo x = 5, en esa
situacin obtengo el caso F F. Lo que
nunca puede ocurrir es el caso V F
porque no hay ningn entero que sea
menor a 3 pero que, a la vez, no sea
menor a 4. Si esa situacin ocurriese,
entonces ese condicional s quedara
invalidado. Pero ese caso no ocurre.
Ejemplo:

p q en el Cdigo de Hammurabi

Ley: Si un seor roba la propiedad religiosa o estatal,

ese seor ser castigado con la muerte. Adems el que
recibi de sus manos los bienes robados ser (tambin)
castigado con la muerte.
En cada situacin responda a la siguiente pregunta: A
qu caso del condicional corresponde?
Qu ocurre con las personas que nunca robaron
propiedad alguna?
Qu ocurre con las personas muertas? (Ser que
robaron propiedad?)
Qu ocurre si una persona roba propiedad religiosa o
estatal pero (por tratarse de un familiar de
Hammurabi) no se le castiga?

Notacin
Por

supuesto, hablar de las condiciones

de verdad de las proposiciones en
lenguaje natural (espaol, ingls, etc.)
es como hacer aritmtica con nmeros
romanos o con los dedos de una sola
mano (y de alguien con artritis). Es
innecesariamente engorroso. Por esa
razn se desarroll la notacin arbiga
que usamos (1, 2, 3, ). Lo mismo
ocurre con la lgica elemental. Veamos.

Ejercicios

IDENTIFIQUE (a) LAS PROPOSICIONES SIMPLES,

(b) LOS CONECTORES LGICOS, y (c) LA
PROPOSICIN COMPUESTA:
a)

Tanto D como C son cubos pero ninguno de ellos es pequeo.

b)

Si no hay un control de nacimientos, entonces la poblacin

crece ilimitadamente.

c)

El auto corre solamente si tiene gasolina en su tanque. De lo

contrario, permanecer detenido indefinidamente.

d)

Ese lapso, corto quiz si se le mide por el calendario, es

interminablemente largo cuando, como yo, se ha galopado a
travs de l.

e)

Un nmero es primo si y slo si tiene dos divisores, la unidad

y l mismo.

RESPUESTA AL EJERCICIO 1(a):

Tanto C como D son cubos pero ninguno de ellos es
pequeo.

Proposiciones simples:
p: C es un cubo, q: D es un cubo,
r: C es pequeo, s: D es pequeo

Conectores: y .
Proposicin compuesta: (p q) (r s)
Comentario: Sean n elementos. ninguno de ellos se
simboliza por no el primero, no el segundo, etc.

RESPUESTA AL EJERCICIO 1(b):

Si no hay un control de nacimientos, entonces la
poblacin crece ilimitadamente.

Proposiciones simples:
p: Hay un control de nacimientos,
q: la poblacin crece ilimitadamente

Conectores: y .
Proposicin compuesta: p q

RESPUESTA AL EJERCICIO 1(c):

El auto corre solamente si tiene gasolina en su tanque.
De lo contrario, permanecer detenido
indefinidamente.
Proposiciones simples:
p: El carro corre, q: [El carro] tiene gasolina en su tanque

r: [El carro] permanece detenido indefinidamente

Conectores: , y .
Proposicin compuesta: (q p) (q r)

Alternativa: (q p) (q p)

RESPUESTA AL EJERCICIO 1(d): primera parte

Ese lapso, corto quiz si se le mide por el
calendario, es interminablemente largo cuando,
como yo, se ha galopado a travs de l.
Proposiciones simples:
p: se le mide por el calendario, q: ese lapso es corto,

r: ha galopado [como yo, a travs de l],

Conectores: y .

Proposicin compuesta: (p q) (r q)

RESPUESTA AL EJERCICIO 1(d): primera parte

Anlisis: hemos reconstruido esta proposicin
compuesta as:

Si se le mide por el calendario, [entonces] ese

lapso es corto y si se ha galopado, como yo, a
travs de l, entonces [ese lapso es]
interminablemente largo.

RESPUESTA AL EJERCICIO 1(e):

Un nmero es primo si y slo si tiene dos divisores,
la unidad y l mismo.

Proposiciones simples:
p: un nmero es primo,
q: [ese nmero] tiene como divisor a la unidad,

r: [ese nmero] tiene como divisor a l mismo.

Conectores: y .
Proposicin compuesta: p (q r).

COMENTARIO A LA RESPUESTA DEL LTIMO

EJERCICIO
En teoremas, lemas y, en general, muchas
proposiciones de la matemtica, la
informtica y muchas otras ciencias exactas
(como las que enseamos en Yachay), es
extremadamente frecuente encontrar los
conectores y . Asegrese de entenderlos
y usarlos correctamente.

Ejercicios sobre
implicacin