12 Lógica

12.
L G IC A
Este cuaderno es uno de los diez nuevos

ttulos que ha elaborado el National
Council of Teachers of Mathematics,
los que se suman a la serie de ocho ya
aparecidos y reimpresos varias veces en
la versin castellana.
Como cada uno de los ocho cuadernos
mencionados, el presente, el doce en la
coleccin, ha sido escrito para maestros
de enseanza elemental y media, y alum
nos de este ltimo ciclo. Comprende la
exposicin del tema Lgica, bsico en
matemticas. Este tema, como los que
trata la serie, ahora de dieciocho, se halla
entre los que el maestro necesita dominar
para tener na comprensin ms cabal de
la matemtica que usualmente se ensea
en esos grados. Cada cuaderno es la
introduccin a un tema, no un tratado
exhaustivo.
Los temas escogidos son especialmente
importantes para aquellos maestros que
consideran que las experiencias de
aprendizaje, transmitidas a los nios
del ciclo elemental, deberan empezar
por el desarrollo de algunos conceptos
unificadores bsicos en matemticas, y
para los alum nos de nivel medio y
superior que deseen comprender ms a
fondo los conceptos bsicos de la
matemtica, tratados en cada uno de
estos cuadernos.
Es el deseo de los autores y del NCTM
TEMAS
DE
MATEMATICAS
Coleccin
Traduccin:
Federioo Velasco Coba

Coordinador del Instituto
de Geofsica
Facultad de Ciencias
Universidad Nacional Autnoma
de Mxico
Ravlaln tcn ica:
Emilio Lluis Riera

Instituto de Matemticas
Facultad de Ciencias
Universidad Nacional Autnoma
de Mxioo
Lgica
National Counoil of
Teaohers
of Mathematios
U .8 A
Editorial Trillas
Mxico, 1972
Titulo de esta obra en ingles

Tapie* rn Mathemates f o t Elementary Sckcot Teachers
Booklet number 12. Logic
1968. The National Council a f Teachers o f M at hemates..
Washington D C , U S. A
Primera edicin en espaol, 1970
Reimpresin, enero 1972
S eg u n d a r{*impr*}*in9 ju n io 1972
La presentacin y disposicin en conjunto de
Temos de Matemticas. Cuaderno 12
Lgica,
son propiedad del editor

Derechos reservados en lengua espaola
1970 Editorial Trillas. $. A
A v. 5 de Mayo 43 1 0 5 Mxico 1, D. F
Miembro de la Cmara Nacional de la
Industria Editorial Reg nm 158
Impreso en Mxico
Prlogo
Este cuaderno es una de las diez nuevas unidades de. una serie intro
ducida en 1964 por el Consejo Nacional de Profesores de Matemticas
(National Council of Teachers of M athematics: N C T M ). Como los ocho
primeros cuadernos recibieron tan buena acogida (ya se han reimpreso
varias veces), se pens que una extensin de los temas tratados seria con
veniente.
Como los primeros cuadernos (nms. 1 a! 8 ), las nuevas unidades se
han escrito pensando ms bien en los profesores de escuelas primarias que
en sus alumnos. Cada cuaderno presenta la exposicin de un tema bsico
de las matemticas. Los temas escogidos estn entre aquellos con los que
deben familiarizarse los profesores de prim aria para poder tratar con ver
dadera comprensin las matemticas que por lo comn se ensean en la
escuela prim aria. Los cuadernos presentan una introduccin al tema que
enfocan, no un tratam iento exhaustivo de l; el lector interesado puede
estudiar estos temas con mayor profundidad en otras publicaciones.
Los temas se han escogido especialmente con el propsito de proporcio
n ar material bsico a los profesores que creen que las experiencias de
aprendizaje que se proporcionan a los nios en sus primeros aos escola
res deben incluir una introduccin sencilla a algunos de los conceptos unificadores centrales de la matemtica. Muchos profesores se han encontrado
con que su educacin profesional no les prepar para la enseanza de la
aritmtica de un modo acorde con este punto de vsta. Los autores tienen
la esperanza, al igual que la N C TM , de que esta serie de cuadernos pueda
ayudar a los profesores, y ciertamente a todas aquellas personas interesadas
en m ejorar la enseanza de las matemticas.
Los primeros ttulos son los siguientes
Cuaderno
Cuaderno
Cuaderno
Cuaderno
Cuaderno
1:
2:
3:
4:
5:
Conjuntos
Nmeros enteros
Sistemas de numeracin para los nmeros enteros
Algoritmos de las operaciones connmeros enteros
Nmeros y sus factores
5
PRLOGO
Cuaderno
Cuaderno
Cuaderno
6:
7:
8:
Nmeros racionales
Sistemas de numeracin para los nmeros racionales
Proposiciones numricas
Los nuevos ttulos son los siguientes:

Cuaderno
Cuaderno
Cuaderno
Cuaderno
Cuaderno
Cuaderno
Cuaderno
Cuaderno
Cuaderno
Cuaderno
9:
10:
11:
12:
13:
14:
15:
16:
17:
18:
El sistema de los enteros

E l sistema de los nmeros racionales
El sistema de los nmeros reales
Lgica
Grficas, relaciones y funciones
Geometra informal
M edida
Recopilacin, organizacin e interpretacin de datos
Sugerencias para la resolucin de problemas
Simetra, congruencia y semejanza
Se sugiere que, de ordinario, los cuadernos se lean en el orden de los

nmeros que se les han asignado, pues, hasta cierto punto, se ha seguido un
proceso en espiral para atacar los distintos temas.
Los nuevos folletos comenzaron a elaborarlos en 1966 los miembros
escritores de un grupo de verano. Los autores expresan aqu su ms sincero
agradecimiento a las siguientes personas por haber ledo parte de los manus
critos y por sus cambios de impresiones con los autores durante la prepara
cin de los cuadernos: a Joseph M, Trotter, principal de la Escuela de San
Luis Rey, y a Bonita Trotter, profesora de la Laurel School, ambos del
Distrito Ocenico de la Union School-, a John M . Hoffm an, director de la
Seccin de Recursos Educativos de la Comunidad del Departam ento de
Educacin del Condado de San Diego; y a James E. Inskeep, Jr., profesor
de educacin en el San Diego State College. Los autores se sienten en deuda
especialmente con Alice C. Beckenbach por su am plia ayuda en la organi
zacin y edicin del material para varios de los cuadernos. Expresan tambin
su ms profundo agradecimiento a Elaine Barth y su esplndido grupo de
mecangrafos por su excelente trabajo en la preparacin del manuscrito.
El nuevo proyecto, emprendido para proseguir el trabajo del primero,
lo inici y apadrin el Comit de Publicaciones Suplementarias de la
NGTM bajo la presidencia de William Wooton. La N C TM , que propor
cion apoyo financiero, hace ahora pblico su agradecimiento al grupo de
autores de la presente extensin de la serie T em a . A continuacin damos
sus nombres:
PRLOGO
George Arbogast
Manuel P. Berri
Marguerite Brydegaard
Louis S. Cohn
Helen L. Curran
Patricia Davidson
Walter Fleming
Joseph Hashisaki
Lenore S. John
David Johnson
Robert H. Sorgenfrey
J. Dean Swift
William Wooton
Edwin F. Beckenbach, Coordinador
Indice general
Introduccin
11
PROPOSICIONES
11
Proposiciones simples
Proposiciones compuestas
Composicin de compuestas
Valores de verdad y tablas de verdad
Equivalentes lgicos; tautologas
REGLAS DE INFERENCIA
11
14
25
30
35
37
M odus ponens
M odus tollens
38
41
C M O CONSTRUIR NUESTRAS PROPIAS REGLAS DE INFERENCIA

Prueba condicional
Negaciones, contrarrecprocas y recprocas
LGICA DE PREDICADOS
44
45
48
52
Trminos y predicados
Cuantificadores
Negacin y existencia
52
55
57
RESPUESTAS A LOS EJERCICIOS
59
Lgica
CUADERNO
INTRODUCCIN
L a lgica pr| general, y la lgica pirphUra en particular, es el estudio
sistemtico del proceso de {azogamiento..preciso. N o.es, sin embargo, un
sustituto del razonamiento preciso: m anipular smbolos, que es uno de los
procedimientos de la lgica, no es la misma cosa que pensar. Lo que los m
todos de la lgica pueden hacer por nosotros es clarificar nuestros tipos de
pensamiento, guiarnos en la correccin de nuestros procesos de razonamiento
y ayudamos a e v ita r errores.
L a finalidad de la lgica simblica es la de reducir procedimientos ver
bales complicados en simples dispositivos de letras y smbolos. A groso modo,
podemos com parar esto al uso de los numerales y los signos de la aritmtica
p ara ayudamos a simplificar lo que de otro modo sera muy largo e incluira
enunciados verbales acerca de los nmeros. Para probar las ventajas de los
smbolos en aritm tica bastar que el lector intente poner los conceptos
numricos expresados por (3 + 4) + 5 = 12 en palabras.
Exactamente lo mismo que los nmeros son los elementos bsicos de la
aritm tica, las proposiciones simples son los elementos de la lgica. Comen
zamos nuestras experiencias aritmticas con un sencillo conjunto de nmeros
naturales, {1, 2, 3, . . . } , y construimos estructuras ms complicadas, como,
por ejemplo, el sistema de los nmeros racionales. Anlogamente, comen
zamos en lgica con las proposiciones simples, y usamos despus stas para
form ar proposiciones ms complicadas. En la lgica aprendemos las regias .
p ara la manipulacin de las sentencias.
O P O S IC IO N E S
U n a proposicin simple, llam ada a menudo tambin una proposicin

atmica, es casi exactamente la misma cosa en lgica que en lenguaje comn
11
12
PROPOSICIONES
v corriente. Para asegurar una mayor precisin en ]a lgica, establecemos

algunas restricciones que no se aplican en la gram tica para que puedan
considerarse aceptables en la lgicaExaminemos primero algunas proposiciones simples del lenguaje ordi
nario y de las matemticas
V
F
A
N
I.
2
3
4
5.
6.
7..
8
Lincoln fue el decimosexto presidente de Estados Unidos

3 < 5.
San Francisco es la capital de California.
6 > 7.
l es profesor.
*> 9
Mara est en el tercer grado.
El rey de Francia tiene e! pelo rojo.
En general, una proposicin simple es declarativa. Tiene un sujeto y un

predicado. No tiene clusulas componentes unidas por conjunciones como
y, o, "si. . , entonces .
No vale la pena detenerse demasiado en la definicin de simplicidad.
Por una parte, hay proposiciones simples v proposiciones compuestas con
iguaLsignificado: los hombres buenos son generosos y si un hombre es
bueno, entonces es generoso ; "M ara y Juan tienen seis aos y M ara
tiene seis aos, y Juan tiene seis aos , son ejemplos de ello. Por otra parte,
a veces es muy difcil estar seguros de la simplicidad. L a proposicin l
es ms alto de lo que. ella era tiene dos verbos; pero la conjuncin "que
no est entre las de la lista de prohibidas ( y, o, s i . e n t o n c e s ) y la
proposicin es anloga en su forma a 5 > 3.
Hay una restriccin especial que queda ilustrada por el agrupamiento
que hicimos en los ejemplos. Las primeras dos proposiciones son verdade
ras ( V ) . Enuncian hechos indiscutibles. Las segundas dos son falsas ( F ) .
Estn en contradiccin con hechos indiscutibles. Las dos siguientes son
abiertas (A). Contienen un pronombre o una variable y dependen, para
su verdad o falsedad, de qu es lo que sea lo que sustituya al pronombre
o variable Las ltimas dos no tienen sentido (N) en la forma en que estn.
M ara , siendo nombre propio, no es suficientemente claro. L a proposicin
podra perfectamente ser cierta o falsa si se enunciase en un contexto; por
ejemplo, si fuese parte de la contestacin de una m adre a la pregunta de
otra m ujer: cul es el grado que estn cursando sus hijos ahora? . La
proposicin final es realmente una para la que no hay esperanzas, salvo
que haya habido un cambio sbito en la poltica francesa entre e! tiempo
en que este libro fue escrito y el tiempo en que el lector lo est leyendo. El
sujeto de la proposicin no es que no est claro, como el "M ara de la pro
posicin anterior, sino simplemente que no existe.
PROPOSICIO NES SIMPLES
13
Vamos a exigir que todas las proposiciones simples usadas puedan cla
sificarse como verdaderas o falsas para todo reemplazo permisible de varia
bles o pronombres (si es que hay alguno) que se haga. Esta exigencia pide
que especifiquemos qu nombres pueden usarse para reemplazar los pro
nombres o variables; el conjunto de nombres se llam a conjunto de reernglazamientos. No debe contener trminos no apropiados. El presidente
Johnson no puede estar en el conjunto de reemplazamiento para x en la
proposicin 6. El subconjunto del conjunto de reemplazamtento que hace
cierta u na proposicin se llam a 'conjunto de verdad de la proposicin.
Por ejemplo, el conjunto de reemplazamiento para la proposicin 6 podra
ser el conjunto de los nmeros enteros, y en tal caso el conjunto de verdad
sera {10, 11, 12, ..} .
Aclaremos lo que se entiende por capaz de clasificarse como verdadera
o falsa . Por qu no ser ms directo y exigir que la proposicin sea cier
ta o falsa despus de cualquier reemplazamiento necesario? Hemos visto
un ejemplo que ilustra la contestacin: M ara cursa el tercer grado.
Ciertamente, es muy difcil clasificar casi cualquier proposicin en espaol
como cierta o falsa en sus propios mritos, sin ningn contexto. Tomemos,
por ejemplo, la proposicin 1. Cmo respondera el lector a alguien que
dijese: falso; Lincoln es una ciudad de Inglaterra , o a uno que dijese:
quin es Lincoln? .
U n a de las mayores fuentes de discrepancia entre las personas es pre
cisamente que no tienen la misma clasificacin sobre la verdad o falsedad
de sus proposiciones simples. T oda la necesaria manipulacin lgica del
m undo no nos salvar si nuestros elementos bsicos de construccin son
defectuosos. En matemticas, el contexto es usuaimente ms claro que en la
conversacin casual, pero debemos estar en guardia para aseguramos de tal
claridad incluso all. Proposiciones hechas pensando en los nmeros natu
rales (e conjunto {1, 2, 3, . . . } ) se hacen falsas en trminos de enteros
(el conjunto { . . . , "3, 2, ~1, 0, 1, 2, 3, - }) y viceversa. El producto de
dos nmeros es mayor o igual que cualquiera de los factores es un enun
ciado que ser cierto en los nmeros naturales, pero no en los enteros, ya
que, por ejemplo, 0 X 5 = 0; y el producto resultante no es igual o mayor
que 5. El enunciado cuando un nm ero se resta de otro, el resultado es
un nmero es cierto para los enteros; pero no es cierto para los nmeros
naturales, porque 1 5 no tiene sentido en trminos de ios nmeros na
turales.
Por otra parte, tanto en matemticas como en literatura tenemos pro
posiciones que son ciertas slo porque decimos que lo son. En matemticas
estas proposiciones son definiciones y axiomas. En literatura son los su
puestos fundamentales de una obra de ficcin. Si el lector se encuentra
14
PROPOSICIONES
ante una prueba de falso-verdadero la proposicin Huckleberry Finn era

un amigo de Tom Sawyer, el lector la clasificar como verdadera porque
Mark Twain asi la concibi.
As pues, sin metemos ms a fondo en la cuestin, supongamos que
tenemos un conjunto de proposiciones simples que renen las condiciones
establecidas para la clasificacin en verdaderas o falsas. Frecuentemente
usaremos una letra mayscula para representar una proposicin. Por ejem
plo, podemos reemplazar la proposicin Lincoln fue el decimosexto pre
sidente de Estados Unidos por la letra L .
Las proposiciones pueden construirse partiendo de otras proposiciones

y, fundamentalmente, de proposiciones simples o atmicas, asocindolas
con una lista convenida de conjunciones lgicas. Estas conjunciones son y,
o , y si. . . entonces ; usamos tambin no, aunque hablando estricta
mente no es una conjuncin, ya que afecta slo a una proposicin. En
lgica, estas conjunciones estn provistas de un significado preciso de modo
que el resultado ser una proposicin compuesta que podr clasificarse en
verdadera o falsa, segn cul sea la clasificacin de sus componentes. As
pues, una vez dada la clasificacin de nuestras proposiciones simples (at
micas), nunca perdemos la posibilidad de una clasificacin definida, no
importa cun compleja sea la proposicin estudiada.
NO
Comenzamos con no, que abreviamos usando el smbolo ~i.

lL ,
por tanto, equivale a Lincoln no fue el decimosexto presidente de Esta
dos Unidos. Convenimos en que el uso de no o *~i acta para invertir
la clasificacin de la proposicin con la que se usa. Expresamos esto como la
negacin de una proposicin verdadera es una falsa, y la negacin de una
proposicin falsa es verdadera. Ntese que la negacin de una negacin
nos vuelve a traer sin cambio la clasificacin primitiva. La proposicin no
es cierto que Lincoln no fuera el decimosexto presidente de Estados Uni
dos es igual que
i- '>L y es un modo enredado de expresar exactamente
lo mismo que L.
En espaol, no se coloca de un modo general inmediatamente antes del
primer elemento verbal de la proposicin; en matemticas, es frecuente
indicar la negacin por el dibujo de una raya que cruza un smbolo. Par
tiendo de x = 3 (lo que leemos x es igual a 3 ) llegamos a x =3
(lo que se lee: x no es igual a 3) al negar la primera.
PROPOSICIO NES COMPUESTAS
15
Consideramos a continuacin laTcojuncin y. Si ponemos y entre

dos proposiciones simples, estamos afirmando las dos declaraciones que en
ellas aparecen. Supongamos que G representa a x > 5 y que E repre
senta x es par, con el conjunto de los nmeros naturales como conjunto
de reemplazamiento. Entonces la proposicin x > 5 y x es par, que repre
sentamos en breve por G & E, es cierta exactamente cuando G y E son
simultneamente ciertas, es decir, siempre que x denomine a un nmero
que sea a la vez mayor que 5 y par. El conjunto de verdad de G es {6, 7,
8, 9, 10, . . . } , y el de E es {2, 4, 6, 8, 10, . . El de G & E es {6, 8,
10, . . . } , que consta de los nmeros naturales pares mayores que 5. Aunque
7 est en el conjunto de verdad de G (7 > 5 ), no est en el conjunto de
verdad de G & E porque 7 no es par. Aunque 4 est en el conjunto de ver
dad de (x es par), no est en el conjunto de verdad de G & E porque
no es mayor que 5.
Para las proposiciones que contienen variables es til con frecuencia un
diagrama anlogo al de Venn o Euler. (Vase el cuaderno 1: Conjuntos.)
El lector recordar que un diagrama de Venn es un diagrama tal como el
que aparece en la figura 1, en el que un conjunto de reemplazamiento, o
FIGURA 1
universal, U est representado por el interior de un rectngulo y donde uno

o ms subconjuntos estn representados por los interiores de otras curvas
cerradas simples, tales como los crculos que en la figura aparecen. Som
breando regiones apropiadas podemos representar la unin o interseccin
de subconjuntos, como se sugiere en la figura 2, en donde el diagrama de la
izquierda representa el conjunto cuyos elementos son aquellos que estn
tanto en A como en B, mientras que el diagrama de la derecha representa
el conjunto cuyos elementos son aquellos que estn en A o en B o en ambos.
La clase de diagrama que deseamos usar es un poco diferente en apa
riencia, pero muy anloga en interpretacin. Convengamos primero en re-
16
PROPOSICIONES
FIGURA 2
presentar el conjunto de reemplazamiento para una variable en una propo

sicin simple por el interior de un rectngulo (fig. 3 ).
C onjunto de reempl&zamiento
p a ra
una proposicin simple P
FIGURA 3
Como el conjunto de reemplazamiento para la proposicin x > 5

supusimos era el conjunto de todos los nmeros naturales, {1, 2, 3, . . se
considera que el interior del rectngulo para esta proposicin contiene a
Conjunto de rcempiazanrnto para x en x > 5
FIGURA 4
todos los elementos de este conjunto (fig. 4 ). A continuacin, dibujando

un segmento vertical a travs del interior del rectngulo, podemos imaginar
el conjunto de reemplazamiento separado en dos subconjuntos, uno de los
PROPOSICIONES COMPUESTAS
17
cuales es el conjunto de verdad para x > 5, mientras que el otro es el subconjunto de los nmeros naturales que no estn en este conjunto de verdad.
Convengamos en usar, en este caso, la regin a la derecha para el conjunto
de verdad, como se sugiere en la figura 5.
Proposicin
falsa
Proposicin
verdadera
1, 2, 3,
4, 5
6, 7, 8
9, 10, 11, . .
Conjunto de reemplazar.cnto para x en x > 5"
FIGURA 5
Tambin podramos haber cruzado un segmento divisorio horizontal me li

te en el interior de un rectngulo diferente para dividir el conjunto de
reemplazamiento en dos conjuntos, uno de los cuales es el conjunto de ver
dad para otra proposicin. Para ilustrar esto, usemos la proposicin x es
par y convengamos en usar la regin superior para el conjunto de verdad,
segn mostramos en la figura 6.
CO
<o
cnT
1, 3, 5, 7, . ..
Proposicin
verdadera
Proposic n
falsa
Conjunto de reemplazamiento para x en ;t es par
FIGURA
Como los interiores de los dos rectngulos en las figuras 5 y 6 repre

sentan el mismo conjunto, {1, 2, 3, . . . } , superpongamos uno sobre el otro
para obtener el rectngulo que mostramos en la figura 7.
18
PROPOSICIONES
" x > 5
falso
> 5
verdadero
2, 4
6, 8, 10, . . .
* es p ar"
verdadero
1. 35
7, 0 1 1 , . . .
" x es p ar"
falso
C onjunto de reemplazamiento para x en x > 5 y x es p a r .

FIGURA 7
Podemos ahora describir ios contenidos de las cuatro regiones en que este
rectngulo ha quedado di\idido en la forma que aparece en la figura 8.
Podemos generalizar la idea de los diagramas rectangulares desarrollados
usando x > 5" y v es par, y aplicarla a cualesquier dos proposiciones
simples. Para hacer esto tendremos que representar las proposiciones de
* > 5 es falso.
"x es par es verdadero.
x > 5" es verdadero.

"x es p a r es verdadero.
" x > 5 es falso.

"x es p a r es falso.
v > 5 es verdadero.
* es p a r es falso.
FIGURA 8
alguna manera, as que convengamos en llamar a una de ellas P y a la otra

Q. Entonces, la negacin de P estar representada por ~~>P (lase no P ),
y la negacin de Q por iQ. (lase no Q ) . Ntese que P y ~<P nunca son
ciertas para un mismo reemplazamiento de !a variable. As, x > 5 y
"x 1}> 5 nunca son simultneamente ciertas. En realidad, la verdad de una
implica la falsedad de la otra. Cuando x es igual a 2, por ejemplo, 2 > 5
es falsa, pero 2 > 5 es verdadera ; mientras que si x es igual a 7, 7 > 5 es
verdadera pero 7 > 5 es falsa.
Usando los smbolos P, ~ iP, Q y ' C?, podemos representar los conjun
tos de verdad de cada una de estas proposiciones por los rectngulos que se
muestran en la figura 9.
19
Entonces, cuando superponernos, uno de estos rectngulos sobre el otro, los

conjuntos de verdad de las proposiciones compuestas aparecen corno regio
nes doblemente sombreadas. En ia figura 10, el rectngulo para P, super
puesto sobre el rectngulo para Q, muestra el conjunto de verdad para
la proposicin compuesta P&>. El conjunto de verdad para P & Q es la
interseccin de los conjuntos de verdad para P y ). Comprese esto con las
reas que se traslapan en un diagram a de Venn para la interseccin de
conjuntos A y D (fig. 11).
P
Q
u
A
Proposicin com puesta P & Q

doblem ente sombreada
FIGURA 10
Proposicin A f~\ B
FIGURA 11
Un diagrama para el conjunto de verdad de una proposicin compuesta

de la forma P & i) se muestra en la forma que aparece en a figura 12.
Como un ejemplo especfico de esta clase de proposicin compuesta, consi
deremos de nuevo las proposiciones simples a > 5 y a- es par, con el
20
PROPOSICIONES
-> Q
Proposicin compuesta P & i Q doblemente sombreada
FIGURA 12
conjunto de los nmeros naturales como conjunto de reemplazamiento.

Hagamos que P desempee el papel de x > 5 ; si Q desempea el papel
de lx es par, entonces iQ es ia proposicin x no es par. Los diagramas
para los conjuntos de verdad de P y " iQ, tendran el aspecto, antes de
superponerlos uno sobre otro, que aparece en la figura 13.
2, 4, 6,
FIGURA 13
Si superponemos un rectngulo sobre el otro, producimos ia figura 14.

La regin inferior derecha, que est doblemente sombreada, es el conjunto
de verdad de P & 1(2..
21
Q.
~~iQ
Proposicin compuesta P & T Q doblemente sombreada
FIGURA 14
E n espaol hay muchas formas en que la conjuncin que representa

mos abreviadamente por
puede parafrasearse. A veces escribimos tanto
P como Q Incluso en ocasiones decimos P pero Q con el mismo signi
ficado lgico que P y > aunque distinto estado de nimo. Por ejemplo,,
si P representa a est lloviendo y Q me m archo, la verdad es que ex
presamos un sentido de reluctancia o fastidio al decir est lloviendo, pero
me marcho . Este sentido no es aparente en est lloviendo y me marcho ,
aunque, desde un punto de vista lgico, ambas expresan lo mismo.
Si las dos proposiciones simples que se combinan tienen el mismo sujeto,
puede usarse una construccin relativa o incluso adjetival. Por ejemplo,,
podemos com binar x es un nmero im par y x es un mltiplo de 5 en
cualesquiera de las siguientes formas: x es un nmero im par que es un
m ltiplo de 5 , o ux es un mltiplo im par de 5 .
Ntese que P & Q y Q S tP tienen la misma clasificacin de verdad o
falsedad. En el lenguaje comn puede que exista un ligero cambio de sen
tido debido al mayor o m enor nfasis. M e voy, pero est lloviendo y
est lloviendo, pero me voy tienen una nota caracterstica distinta; pero
no hay ninguna diferencia en su verdad o falsedad.
C uando dos expresiones lgicas coinciden siempre en su clasificacin,
independientemente de casos especiales de sustitucin, las llamamos lgi
camente equivalentes . As P & Q y Q & P son lgicamente equivalentes,
como lo son tam bin P y T ~ iP .
22
PROPOSICIONES
La conjuncin o tiene en espaol dos significados. A uno de ellos

se le llama el o exclusivo" fo disyuntivo, propiamente dicho i y algunas
veces se enuncia diciendo o uno o el otro, pero no ambos Al otro signi
ficado so le llama el o inclusivo, lo distributivo propiamente hablando)
y en los documentos legales se expresa a veces por y/o '. En matemticas y
en lgica su iuprc se usa el "o inclusivo . Los romanos tenan dos palabras
diferentes para estos dos distintos significados, aut era el o exclusivo y
vel eia el o inclusivo . En matemticas, nuestra abreviatura para *'o es
V , lo que nos recuerda al vel. As, P V (' significa "P y/o C'\ pero por
conveniencia se lee "'P o Q
El conjunto de verdad de P V > es la unin de los conjuntos de verdad
de P y Q. Es decir, clasificamos a P V Q como verdadero siempre que
P sea verdadero, o que Q sea verdadero, o que ambos sean verdaderos. Un
diagrama rectangular para d conjunto de verdad de P V Q se muestra en
la figuia 15 T oda la regin sombreada, que comprende las tres cuartas
P falso
P verdadero
Q
verdadero
Prupi .siiitm compuesta P V Q ,

sombreada o doblemente sombreada.
Proposicin compuesta "x > 5 o x es par,

sombreada o doblemente sombreada.
FIGURA 15
FIGURA 16
partes del rectngulo grande, representa el conjunto de verdad. El lector

debe comparar esta rea sombreada con el rea sombreada en e! diagrama
de Yenti para la unin de los conjuntos A y i, A U f, en la figura 2
Pensemos de nuevo, como ejemplo especfico, en las proposiciones simples
v > 5 y \x es par, con el conjunto de los nmeros naturales como con
junto de reemplazainiento para x en ambas. El diagrama resultante, mos
trando los elementos del conjunto di- reetnplazainicnto, aparecera como
23
se muestra en la figura 16. Corno *'x > 5 o v es par es cierto o ruando

x > 5 o cuando x es par, o cuando ambas cosas ocurren, los nicos nmeros
del conjunto de rcemplazamento que no estn tambin en el conjunto de
verdad son 1, 6 y 5.
Exactamente lo mismo que P & Q y rQ & P son lgicamente equi
valentes, tambin lo son P V Q y 'Q V P". Cuando una de estas propo
siciones es cierta, tambin lo es la otra; y cuando una de las pioposiciones
es falsa, tambin la otra lo es.
La conjuncin bsica que nos queda usa las dos palabras "si' v ' enton
ces en su forma habitual, aunque hay muchos modos de expresar a misma
idea. L a conjuncin se usa con proposiciones simples P \ Q para obtener
proposiciones compuestas de la forma "si P, entonces ( \ Como las con
secuencias lgicas directas de esta conjuncin son ms fciles de explicar
que los problemas verbales asociados con l, comenzaremos con lo primero.
P falso
P verdadero
lillillili:
(2, verdadero
........ , ..................................
llSlllillllll
pIHR
lllillll
Q fabo
Proposicin compuesta P -* Q , sombreada.

FIGURA 17
La conjuncin se simboliza por m idi ele una flecha de una sola pun
ta, As, P >Q, se lee "si P. entornes Q", o, "P implica Q . El valor
de verdad asignado a P > Q es en cu rta forma curioso. El rectngulo de
la figura 17 nos muestra este conjunto de verdad. El dibujo muestra que
P > Q es cierto, excepto cuando P es cierto y Q falso. Por ejemplo, sea
P la proposicin simple "hace calor , y sea Q la proposicin simple me
marcho . La proposicin compuesta P Q sera entonces: Vi hace calor,
entonces me m archo'1.
24
PROPOSICIONES
En una proposicin en espaol, la palabra entonces se omite a menudo

como superflua, la anterior proposicin normalmente se enunciara dicien
do si hace calor, me marcho .
Cundo sera falsa esta afirmacin? Solamente si el tiempo fuera calu
roso y el que habl no se marchase. Pero entonces qu hay cuando hace
fro? El que habl tendra que tom ar de nuevo una decisin. Podra hacer
lo que quisiera. ^ Significa esto que originalmente minti cuando dijo si
hace calor me marcho ? De ningn modo. Su condicin no se verific, luego
su afirmacin no le obliga a accin alguna, ni positiva ni negativa. Esto
hace menos curioso el hecho de que P
Q, se dice que es cierta incluso
cuando P sea falsa.
Para ilustrar la variedad casi oscurecedora de designaciones de esta
conjuncin que se usan particularmente en matemticas, sustituiremos por
proposiciones numricas a P y a Q. Usemos para P, al que se llama ante
cedente de la implicacin, la proposicin x > 5 ; para Q, al que se llama
consecuente, usemos
> 4. Podemos de nuevo considerar como conjunto
de reemplazamiento al conjunto de los nmeros naturales. Nuestro diagrama
rectangular estndar toma entonces el aspecto que mostramos en la figu
ra 18. El conjunto de verdad para P Q es todo el conjunto de los nm e
ros naturales, porque el cuadro inferior derecho del rectngulo total, est
vaco. No hay ningn nmero natural para el que x > 5 sea cierto y
x > 4 sea falso.
* > 5
falso
x > 5
verdadero
6, 7, 8, ...
* > 4
verdadero
x > 4
faso
1, 2, 3, 4
Proposicin compuesta (x > 5) > (x > 4 ).

F IG U R A
18
He aqu un nmero de formas en que la idea de P -* Q, o x > 5

> 4 puede expresarse;
1, Si x > 5, entonces x > 4.
2, x > 5 implica x > 4.
3 x > 4 siempre que x > 5.
C O M P O SIC IO N DE COMPUESTAS
4.
5.
6.
7
H
9.
25
x > 5 es una condicin suficiente p ara que * > 4

x > 4 es u na condicin necesaria para que x > 5.
D ado que x > 5, entonces se sigue que * > 4.
x > 4 si x ]> 5.
x > 5 solamente si x > 4
x > 4 con tal de que * > 5.
Cuntas de estas expresiones tienen sentido cuando ios ejemplos en

espaol s? usan, es decir, cuando P es hace calor y Q es "me marcho ?
La verdad es que nunca se dice hace calor soiamente si me marcho . En
syese con las otras expresiones. Siempre que aparezca x > 5 ponga
mos hace calor . En donde veamos x > 4, pongamos me marcho .
Algunas nos resultarn en buen castellano, pero otras sern muy extraas.
U n a vez que tenemos las piezas elementales de las proposiciones simples

y el material de las conjunciones, no hay ningn lmite terico para el
tam ao del edificio que podamos construir.
U na proposicin composicin de compuestas muy til es la (P
&
(Q -+ P )- Esta proposicin es tan comn que tiene su propia abreviatura,
sugerida por las dos flechas de la frmula. Esta abreviatura es la flecha
de punta doble: P Q (lo que se lee: P si y slo si Q,) .
Consideremos la clasificacin de esta proposicin en trminos de P y Q.
La proposicin P * Q es cierta salvo cuando P es cierta y Q es fasa;
Q - P es cierta a menos que Q. sea cierta y P falsa. (Vase la figura 19.)
Las partes inferior izquierda y superior derecha estn sombreadas en ambos
P falso
P falso
P verdadero
<2
FIGURA 19
P verdadero
26
PROPOSICIONES
diagramas. El diagram a para (P * Q) & (Q >P) se muestra en la fi

gura 20.
La proposicin compuesta resulta cierta precisamente cuando las propo
siciones simples P y Q son, ambas ciertas o ambas falsas. En m atem
ticas, esta proposicin compuesta recibe varios nombres especiales construi
dos uniendo algunas de las palabras usadas para P Q y Q >P. U no de
estos, ya antes mencionado, es *P si y slo si Q". Otro, P es una conche ion
necesaria y suficiente para Q .
Desde luego, P
Q es lgicamente equivalente a Q
P, de manera
que podemos intercambiar las dos expresiones.
Proposicin compuesta P*-* (, sombreada.
FIGURA 20
Para dar algunos ejemplos matemticos del uso de esta conjuncin,

recordemos primero algunas definiciones:
Un tringulo equiltero es un tringulo en el que los tres lados
son de igual longitud.
U n tringulo equingulo es un tringulo en el que los tres
ngulos son de igual medida.
Un nmero natural cuadrado es un nmero natural que es
igual a! producto de algn nmero natural por s mismo:
23 = 5 X 3; es decir, 25 es el cuadrado de 5.
He aqu dos proposiciones que podemos discutir usando las definiciones
precedentes
C O M PO SIC IO N DE COMPUESTAS
27
Un tringulo es equingulo si y slo s es equiltero

U na condicin necesaria y suficiente para que un nmero sea
par es que su cuadrado sea un mltiplo de 4.
L a frase "si y slo si no se usa a menudo fuera de las matemticas.
Pocas personas dirn en alguna ocasin voy si y slo si hace calor, mien
tras que es posible que alguno pueda decir algo como voy si hace calor,
pero slo si hace calor .
O tro compuesto que presta buenos servicios se usa cuando tenemos ms
de una hiptesis y, por tanto, un antecedente compuesto eil una implica
cin. Por ejemplo, a m enudo es til decir cul es el conjunto de reempla
zamiento en la proposicin bsica: si a y b son nmeros naturales y a > 1,
entonces (a X b) > b". Dividiremos la sentencia en componentes simples.
A : a es un nmero n atural
B b es un nmero natural
C: a > 1
D , ( a X b j > b,
Podemos, entonces, abreviar toda la proposicin de esta m anera [.4&

B) & C]
D. Este simbolismo podra leerse si A , B y C son verdaderos,
entonces tambin lo es D '\ o bien, A y B, junto con C, implican D . N
tese el doble agrupamionto de los smbolos. Este doble agrupamiento aparece
porque ninguna de nuestras conjunciones se aplica a ms de dos propo
siciones a
la vez,y lasllaves y
parntesis estn estratgicamente situados
para idt ntificar cules dos se unen en cada caso. Asi, los parntesis en
(A & Bi & C
muestran que primero formamos la proposicin compuesta A & B y luego la
proposicin compuesta (A &B \ & C uniendo A & B con C Luego, los pa
rntesis en
[(A & B) & C ] ^ D
muestran que la proposicin [A & 23) & C est unida con D por un si, .
entonces . Cuando observamos a
[A&. B) & C\ - D.
puede pensarse que a medida que escribamos proposiciones ms y ms com
plicadas, es fcil que nos encontremos con muchas dificultades con los
parntesis y las llaves. Convengamos en unas cuantas y sencillas reglas que
eliminarn algunos de los problemas
1. U na negacin, 11, es un smbolo dbil. Su influencia cubre sola
mente el smbolo o expresin entre parntesis inmediatamente a su
derecha.
28
PROPOSICIONES
Es decir, ~*A & B se puede usar en vez de ( ~~*A) & B porque entende
mos que i va solamente con la A . Anlogamente, [ ~ i ( 4 V i 5 ) j - > C
puede simplificarse a la forma ~ i ( A V B) > C, porque no podemos con
fundir esta ltim a forma por la ~ > [(A V B) >C].
2. Los smbolos & y V unen con lo prximo e igualmente.
3. Los smbolos > y
que tienen ms fuerza que & y V , son iguales
en rango.
(A & B)
C puede reemplazarse por A & B - C, porque no debemos
confundir el ltimo con A & (B
C ) . Intentemos simplificar algunas ex
presiones que aparecern, en forma simplificada, en los ejercicios:
R & ( iG ) .
No hay necesidad alguna de parntesis; el smbolo ~i puede solamente, ir

con G: i? & ~i G.
[ ( i W ) & { - ! ) ]* * C .
No hay necesidad de parntesis alrededor de ~ ' W y ~i R : ( i M7
i /2)
C. Pero no hay necesidad de ningn parntesis; la doble flecha sigue
hasta el principio: ~i W & ~i R
C. L a forma ( i W8c ~i R )
C, sin
embargo, puede que sea ms clara. No hay por qu hacer sobreactuar a los
anteriores convenios; se crearon para ayudar, no para confundir.
Grupo de ejercicios 1
Teniendo en cuenta las abreviaciones que a continuacin se presentan
para las proposiciones simples, escrbanse las diez proposiciones compuestas
en nuestro lenguaje cotidiano. El lector no debe limitarse a insertar simple
mente las interpretaciones estndar de las conjunciones a menos que ya slo
con eso la expresin suene comn y corriente.
W
R:
Hace calor.
Est lloviendo
C:
Voy.
C:
Viene (l).
E jem p lo : fi > ~> G. (Proposicin en castellano: si est lloviendo, no voy.)

1.
2.
3.
4.
R & ~ i G.
-iC ~ > G .
W- >R,
W V R-
C O M P O SIC IO N DE COMPUESTAS
5.
6.
7.
8.
9.
10.
29
G).
i ( V & R ) <rC.
( i W & - 1 R) <*C.
{W V ~ \ R ) - > G .
( ( I f & F ) &.G) &.C.
(G V C) & i G & C j.
Sustituyendo la abreviacin por medio de una letra para cada una de

las proposiciones simples y el smbolo correcto para las conjunciones, escr
banse simblicamente equivalentes de las proposiciones compuestas:
E:
F:
x es par.
x es un m ltiplo d e 4,
Gi
x>5.
H:
x < 3,
E jem p lo : r es un mltiplo de 4, pero no es mayor que 5. (Proposicin en

smbolos: F & 1G.)
11. Si x es un mltiplo de 4, no es menor que 3.
12. S x es mayor que 5, no es menor que 3.
13. Si x es par, pero no un mltiplo de 4, entonces es o mayor que 5 o me
nor que 3.
14. Para que x sea un mltiplo de 4, x debe ser par.
15. x es par o a: es mayor que 5.
16. Si x no es par, entonces x no es mltiplo de 4.
17. Si x no es m enor que 3, entonces x es mayor que 5_o r es par.
Tradzcase cada una de las siguientes expresiones simblicas a frases
en lenguaje comn.
E je m p lo :
18.
19.
20.
21.
22.
23.
24.
25.
26.
(Proposicin en castellano: si x es menor que 3, en

tonces x no es mayor que 5.)
G&E .
" i / i& f f ) - F .
- i f V F -> G .
i E & H - i F V G.
i (G V ~1 E)
H.
-i//& ~ iF .
"i ( E&G)
i F.
F - - i ? V H) .
F V - i - 4 G V i H.
30
PROPOSICIONES
V a ^ rg ^ j^ e rd g d jiJ ^ b lg ^ d e ^ e ^ d c ic ^
Aunque los diagramas rectangulares son tiles, son muy complicados
para analizar la estructura de proposiciones compuestas. U n modelo ms
formal, llamado tabla de verdad, es bastante apropiado para este propsito.
Si convenimos en que V represente a verdadero y que F represente a
falso, entonces todas las posibilidades para los dos elementos de una
proposicin compuesta estn incluidas en el conjunto { W , VF, FV, FF).
P
falso
P
verdadero
rv
YV
Q verdadero
FF
VF
Q falso
FIGURA 21
Estas cuatro posibilidades corresponden a las cuatro casillas del diagrama

En lugar de sombrear, metemos la combinacin correspondiente de V y F
que es el valor de verdad de la composicin. Podramos, as, tener el
diagram a que se ve en la figura 21. Luego, para simplificar ste para las
proposiciones compuestas P &.Q, P V Q y P - >Q nos podramos limitar a
mostrar los diagramas como en la figura 22
Q
V
P&Q
p y a
FIGURA 2 2
Q
V
F
P -> (
VALORES DE VERDAD Y TABLAS DE VERDAD
31
Lo acostumbrado cuando se hacen tablas de verdad, sin embargo, es

prescindir de los rectngulos totalmente y limitarse a usar una disposicin
en columnas. Las tablas I y I I son las tablas para las conjunciones bsicas.
Las tablas deben leerse transversalmente, lnea por lnea. La penltima lnea
TABLA II
TABLA I
P
P Se C
PVQ
r -a
i P
V
F
en la mayor de las tablas nos dice, por ejemplo, que cuando P es falso y
Q es cierto, entonces P & Q es falso, pero P V Q. y P *Q son ciertos. Como
un ejemplo de aplicacin de esta tabla, podemos hacer que P sea la propo
sicin simple Juan come alimentos feculentos y Q, Juan come demasia
do. Entonces la verdad de las siguientes proposiciones compuestas puede
determinarse por la tabla II, que tiene los diversos valores de verdad de P
y Q
1. Juan come alimentos feculentos y Juan come demasiado
2. Juan come alimentos feculentos o Juan come demasiado,
3. Si Juan come alimentos feculentos, entonces Juan come demasiado,
As pues, si Juan no come alimentos feculentos, pero es cierto que come

con exceso, entonces, segn la tercera lnea de la tabla II con P falso y
Q verdadero, vemos que la proposicin 1 es falsa, la 2 cierta, y la 3 tam
bin es cierta.
S guardamos a m ano estas tablas bsicas o memorizamos su contenido,
podemos analizar composiciones ms complicadas. Por ejemplo, cul es
la clasificacin de i P V Q Para las varias clasificaciones de P y Q? Hace
mos nuestro trabajo parte por parte como en la tabla III.
TABLA III
-1 P
-i M 2
32
PROPOSICIONES
Primero, escribimos las columnas bsicas para P y Q; luego escribimos

cualesquiera partes de nuestra proposicin que pueda calcularse inm ediata
mente partiendo de ellas, i P c n este caso; Q se ha vuelto a escribir para
tenerla ms a mano para el siguiente paso, que es i P V Q- Para acabar
este paso, observamos las diversas combinaciones posibles de los dos elemen
tos. Son, en orden, FV, FF, VV, VF. Recordemos ahora el significado de
V . U na composicin con V es cierta si al menos uno de los componentes
es cierto. Luego escribimos V sobre todas las lneas de la ltima columna
excepto en la segunda, a la que marcamos con F.
Comprese la tabla para ii P V Q con la tabla para P -* Q. Son idnti
cas. Es decir, P
Q y ' P V Q son lgicamente equivalentes. Esto explica
por qu en ocasiones se dice, por ejemplo, o ella no viene a la reunin, o
no voy yo en lugar de si ella viene a la reunin, entonces yo no voy,
cuando queremos decir que al menos uno de nosotros no va a ir bajo nin
guna circunstancia.
Probemos con u n a composicin un poco ms difcil: i ( ~i P V ~ 1 Q ),
por medio del mtodo que se ilustra en las tablas IV a V II.
1. Frmense las columnas bsicas, como en la tabla I V :
TABLA IV
p
2. Calclense los elementos ms simples de la proposicin partiendo

de las columnas bsicas, como en la tabla V :
TABLA V
-1 /
-1 Q
3. Partiendo de estas columnas, podemos calcular ~i P V ~ 1Q, en la

tabla VI.
VALORES DE VERDAD Y TABLAS DE VERDAD
33
TABLA V I
- |F
iQ
1F v 1 Q
F
F
V
V
F
V
F
V
F
V
V
V
4. Finalmente, ya estamos listos para calcular la tabla para i ( P

V 1Q ) , en la tabla V IL Nos basta con invertir los valores de la
ltim a columna de la tabla V I.
TABLA V II
1F v 1
-1 ( i P v i<21
F
V
V
V
V
F
F
F
Esta es la misma que la columna para P & Q. Tendremos que profundizar

un poco ms para encontrar un ejemplo en castellano de esto, pero es con
cebible (aunque improbable) que alguien pueda decir no es cierto que no
quiera a Ju an o no quiero a M ara, en lugar de quiero a Juan y quiero
a M ara .
Los ltimos dos ejemplos muestran que realmente no necesitamos cuatro
conectivos bsicos. Podramos haber comenzado con ~ i y V y haber
definido la proposicin P Q como ~iP V Q. y la proposicin P & Q
como 1( >P V ~ 1Q ) Pero realmente nada se gana con este proceder,
puesto que todos sentimos que
> e
son exactamente igual de bsicas
que V . Lo cierto es que es posible escoger t y cualquiera de las con
junciones bsicas y definir los restantes dos conectivos en los trminos de
nuestra eleccin. (En realidad, todos los cuatro conectivos bsicos,
&,
V, y
pueden definirse en trminos del solo conectivo no ambos ..
y . . . , y tambin todos los cuatro pueden definirse en trminos del solo
conectivo n i . .. n i . . . .)
Ensayemos u na aplicacin ms de las tablas de valores. Pinsese en las
siguientes dos proposiciones:
1. Si nieva esta semana y me llega mi cheque, voy a esquiar este fin de semana.
2. Si nieva esta semana, entonces, si mi cheque llega, voy a esquiar este fin
de semana.
34
PROPOSICIONES
Hay alguna diferencia en su sentido? Pasemos a comprobarlo. Defi

namos P, Q y R como sigue:
P:
<2:
R:
Esta semana nieva.

Mi cheque llega
Voy a esquiar este fin de semana.
Entonces, la proposicin 1 es (P & Q) * R, y la 2, P > ( Q

R ) . Ahora
tenemos ocho posibles combinaciones de V y F para P, Q. y R. La tabla de
verdad para la proposicin 1 se muestra en la tabla V III. En la ltima
columna, la nica F est en la lnea en que P & Q es cierto y R es falso.
TABLA V III
r
p&a
tP&Q) -> R
La tabla IX es la tabla de verdad para la proposicin 2. Si ahora com

paramos las columnas finales de las tablas V III y IX , las encontramos
absolutamente idnticas, de donde tenemos que concluir que las dos propo
siciones son lgicamente equivalentes.
TABLA IX
/>
2 -R
(2 -* i /'- ()-. K)
EQUIVALENTES LOGICOS: TAUTOLOGIAS
35
Hgase una tabla de verdad para cada lina de las siguientes proposi
ciones.
1.
2.
3.
4.
9.
P Si (Q V R)
5. iP & Q) & R.
P V (Q & .R ).
. P& Q & R ) .
P V (Q V R ).
7. (P & >) V (P & P ) .
(P V Q) V .
B. P V >) & (P V ) ,
Cules de entre las proposiciones 1 a la 8 son lgicamente equivalentes3
Ig ^ v g je n te s j ^
Los smbolos lgicos & y y estn estrechamente relacionados a los sm
bolos de conjuncin fl y U , respectivamente. (Vase el cuaderno 1: Con
juntos.) Si P y Q, son proposiciones abiertas en la variable x, con conjuntos
de verdad }> y q, respectivamente, entonces vemos que
el conjunto de- verdad de P & Q es p (~l q,
y
el conjunto de verdad de P V Q es p U q.
No debe sorprendernos, por tanto, que el lgebra de & y V sea paralela
al lgebra de fl y U , con la que es posible que el lector est ms familia
rizado. En realidad, pueden verificarse mediante las tablas de verdad (y se
h a hecho ya, si el lector resolvi los ejercicios 1 a 9 del grupo de ejerci
cios 2) los siguientes hechos acerca de proposiciones lgicamente equiva
lentes. Usamos el smbolo = para expresar es lgicamente equivalente a.
(Las proposiciones correspondientes de la teora de conjuntos resultarn al
reemplazar tres proposiciones, por ejemplo, P, Q y R, por sus respectivos
conjuntos de verdad, /;, q y r. Desde luego, & y V sern de nuevo reempla
zados por fl y U , respectivamente, y == deber interpretarse como deno
tando igualdad entre conjuntos. En lo que a conjuntos se refiere, los re
sultados pueden entenderse mejor si dibujamos diagramas de Venn.i
P & Q = i Q & i f propiedades conmutativas
P V Q, = Q V P / d e & y V
P & {Q & /?} s s (P Se Q) & P f propiedades asociativas
P V ( Q V R ) = (P V Q) V i? j d e & y V
Recordando estas ltimas equivalencias, podemos prescindir de ms pa
rntesis y escribir simplemente P & .Q & R , P V Q V R.
PROPOSICIONES
36
Ntese que en esta lgebra hay dos propiedades distributivas:

i 1 V ( ! 2 & J ? ) s ( P V Q ) & ( P V ) "1propiedades distributivas
P & ( Q V f i ) a (P & Q ) V (P & R ) /d e V e &
Dos equivalencias tiles ms se comprobaron ya en la seccin prece
dente :
(P & Q ,)^ R ^ P -> (Q -* R );
P - C
PV Q .
Para las igualdades correspondientes en la teora de conjuntos, debemos

reemplazar
por el smbolo de inclusin de conjuntos Q , y
por
el smbolo de complemento
Un tipo de proposicin que es ms til que lo que a prim era vista pa
rece es la tautologa. U na tautologa es una proposicin que es cierta
para todos los posibles valores de verdad que se asignen.
H e aqu dos con un solo componente bsico: P -> P y P V P- Estas
dos no dejan de sernos familiares en el lenguaje comn y corriente, ya que
frecuentemente se oyen perlas tautolgicas tales como si esa es la forma
de hacerlo, esa es la forma de hacerlo y o es verdad o no es verdad .
La tautologa P V
P, tiene un nombre especial. Se llam a ley del
medio excluso, porque nos dice que una proposicin simple debe siempre
o ser verdadera o ser falsa. No hay trminos medios en lgica.
U na forma de construir una tautologa consiste en tom ar dos enuncia
dos equivalentes y conectarlos con una flecha doble o sencilla, como por
ejemplo, en (P~> Q1 <-i P V Q ).
H e aqu otras dos tautologas tiles:
Q -> (P - * Q )
- i P~* {P~* Q)Pueden comprobarse por los valores de verdad en las tablas X y X I.
Como puede ver el lector, ia columna final en cada una de las tablas slo
TABLA X
p
V
P->Q a - ( n - Q )
V
EQUIVALENTES LOGICOS; TAUTOLOGIAS
37
TABLA X I
P-+ Q
- i p-* (p -* a )
contiene letras V. Significa esto que las proposiciones compuestas Q ,- (P

-*Q ) y
son ciertas, independientemente de cules sean
los valores de verdad de las proposiciones simples P y Q.
Las tautologas ocupan un lugar bien definido en el razonamiento lgico.
Pueden insertarse en cualquier punto de un argumento, con cualesquiera
proposiciones lgicamente admisibles en lugar de los smbolos. Siempre que
en el curso de una discusin alguien dice, bien, o esto es as, o no lo es, no
puedes suponer las dos cosas a un tiempo , ese alguien est realmente
usando dos tautologas: P V i P y ' i ( P 4 i P ) ,
Mustrese que cada proposicin es una tautologa.
1. P - *
( ! ? - C>).
2. ( P & Q ) - P .
3. - i / - * i ( P & Q ) .
4. ( P & Q ) - > ( P V G ) .
Ya estamos preparados para que comience a trabajar nuestra argumen
tacin simblica, comprobando mtodos de deduccin tanto en las mate
mticas como en otros campos.
La situacin tpica es sta: se nos dan algunas proposiciones, simples
o compuestas. Estas las aceptamos. Debe suponerse que son ciertas. Quere
mos llegar partiendo de ellas, nuestras premisas, a una conclusin mediante
un argum ento lgico. Para hacer esto, podemos usar nuestras premisas y
tautologas, junto con las reglas de inferencia que estudiaremos ahora.
Por simplicidad vamos a lim itar nuestra atencin a la deduccin estric
tam ente lgica. Por ejemplo, no ser permisible en nuestro trabajo inferir
de la premisa x = 5 la conclusin de que x + l 6. Esta conclusin es de
38
naturaleza aritmtica y exige su propio y extenso desarrollo lgico. Si nece

sitamos tales resultados, tendremos que presentarlos como premisas extra.
t o d u ^ o rm
Tambin se emplea para denominar a este argumento la expresin ms
larga modus ponendo ponens, lo que en latn quiere decir el mtodo de
obtencin fia consecuencia) mediante la asercin (del antecedente) . He
aqu un ejem plo1, si est lloviendo, entonces estoy en casa. Est lloviendo.
Luego estoy en casa . Hay dos premisas: una es una implicacin; la otra
es el antecedente de la implicacin. El resultado, o conclusin, es el conse
cuente de la implicacin. El argumento se abrevia como sigue:
Im p lic a c i n : P
A n tec ed en te: P
C o n clu si n : Q
Ntese que el argumento del modus ponens est asociado a una tautologa,
a saber, una que tiene la forma lgica [ P * Q.) & P] > (3, y que, por
tanto, no depende de la verdad o falsedad de P, Q o P Q. para que sea
clido.
Naturalmente, si hay algo equivocado en as premisas, podemos llegar
a una conclusin falsa ; pero esto no invalida el argumento en s, que mec
nicamente nos presenta el consecuente cuando lo alimentamos con la im
plicacin y su antecedente.
En un argumento del tipo modus ponens simple, la conclusin es evi
dente de inmediato cuando se dan las premisas. Ensayemos otros dos;
a)
S x i> 5, entonces xDado que x > 5

Conclusin' x 2 25
b)
Es difcil nadar cuando h.iy mucho oleaje.

D ado que hav mucho oleaje.
Conclusin: Es difcil nadar.
25.
Hav que estar seguro de que una de las premisas os el antecedente

Sustituir i-l consecuente y derivar el antecedente es una m anera equivo
cada de razonamiento. No puede decirse, por ejemplo, es difcil nadar
ruando hav mucho oleaje. Es difcil nadar. Luego, hay mucho oleaje. La
verdad de la situacin posiblemente se deba a que el m ar est en calma,
pero hay muchos tiburones.
En la ptctca el argumento modus ponens se usa en argumentos ms
complicados, en una o ms etapas. Antes de proseguir, establezcamos algu
nas de las reglas de la argumentacin
M O D U S PONENS
39
1. Cualquier premisa puede usarse en cualquier etapa de la argumen

tacin. Al presentar esquemas de formas de argumentacin, indica
remos el uso de una premisa por P r .
2. Cualquier tautologa puede usarse en cualquier lugar en un argu
mento. Indicaremos el uso de una tautologa por T .
3. U n equivalente lgico de cualquier enunciado puede sustituirse por
el enunciado en una derivacin. Si estamos sustituyendo un equi
valente lgico de un enunciado sealado por 5 en nuestra deriva
cin, escribimos L 5.
4. Cuando se usa el modus ponens, por ejemplo, sobre los enunciados,
2 y 3 (que desde luego deben estar en forma correcta), escribiremos
M P 2, 3'.
La tabla X II enumera estos smbolos, junto con sus significados. No hay
por qu intentar metnorizar todo esto, porque si el significado de uno de
estos smbolos no es claro, siempre podremos acudir a esta tabla. Para ver
por qu se usan estos smbolos, consideremos un simple argumento tanto
con smbolos como sin ellos. Consideremos la afirmacin: si Hueve estar
en casa. Si estoy en casa, me perder el concierto. Est lloviendo. Por tanto,
me perder el concierto.
TABLA X II
Smbolo
Significado
Pr
Esta proposicin es cierta porque su

ponemos que es cierta.
Esta proposicin es cierta porque es

una tautologa, y las tautologas siem
pre son ciertas.
L 3

lgicamente equivalente a la propo
sicin 3.
.MP 6, 8

tamos aplicando modus ponens a las
proposiciones 6 y 8
Lo que ahora queremos hacer es establecer que si todas las cosas acerca
de llover y permanecer en casa son ciertas, entonces ha de ser verdadero que
perder el concierto. Comenzaremos enumerando aquellas cosas que supo
40
nemos son ciertas. Primero, hagamos un convenio acerca de denomina

ciones de los distintos enunciados.
R
t
C
representa a "est lloviendo" o "llueve.

representa a "estar en casa".
representa a "me perder el concierto".
Lleguemos, a continuacin, hasta el asunto de perder el concierto. H a

remos esto a travs de una serie de pasos enum erando algunas proposiciones
ciertas y las razones por las que son ciertas.
1.
2.
3.
4.
i? > H.
5.
C.
H - * C.
R.
H.
Este enunciado es cierto porque suponemos que es cierto.

Este enunciado es cierto porque estamos aplicando el
modus ponens a los enunciados 1 y 3.
Este enunciado es cierto porque estamos aplicando el
modus ponens a los enunciados 2 y 4.
He aqu ahora la misma argumentacin usando los smbolos de la tabla

XII.
1.
2.
3.
4.
5.
R ^H .
H - C.
R.
H.
C.
Pr
Pr
Pr
M P 1, 3
MP 2, 4
En ambas formas los pasos hacen posible desarrollar una derivacin

lgica formal de ia verdad de C, dada la veracidad de R - * H , H
C y R.
H e aqu otro ejemplo, ste relativo a los nmeros naturales.
Si x > 3 y x < 5, entonces .v = 4. Dado que x > 3 es cierto y que
x < 5 es cierto, entonces x = 4 debe ser cierto.
En este caso, estamos suponiendo que es cierto que si x es un nmero
natural mayor que 3 y menor que 5, entonces x debe ser 4. Estamos tam
bin suponiendo que * es mayor que 3 y menor que 5. Queremos llegar a la
conclusin que x es 4. Empleemos estos smbolos:
A
Bx
: * > 3.
*< 5 .
C ; * = 4-,
Aqu est la argumentacin.

1. (A & fi) -> C .
2. A.
Pr
Pr
M O D U S TOLLENS
3.
4.
5.
6.
B.
A -* {B -* C ).
B
G.
C.
45
Pr
L
1 (Vase esto en la tabla.)
M P 4, 2
M P 5, 3
El lector debe examinar algunas veces este ejemplo hasta estar seguro
de que sigue perfectamente toda la argumentacin. En el paso 4, sustituimos
la proposicin compuesta A > (B > C) por la proposicin compuesta
(A & B) > C, y justificamos la sustitucin en base a que estas dos propo
siciones son lgicamente equivalentes. Si no son lgicamente equivalentes,
el argumento queda ah mismo completamente deshecho, desde luego; pero
si el lector vuelve a leer la pgina 40, encontrar que usamos las tablas de
verdad para establecer esta equivalencia lgica. Aunque ninguno de los
ejemplos de esta seccin h a hecho uso de la regla 2 sobre tautologas, vere
mos cmo usamos tal regla un poco ms adelante. Se incluy aqu para d ar
una presentacin completa.
Dgase si cada una de las conclusiones es o no vlida empleando el modus
ponens.
1. Si nieva, entonces ir a esquiar. Nieva. Luego ir a esquiar.
2. Si nieva, entonces ir a esquiar. No nieva. Luego no ir a esquiar.
3. Si me caigo de una escalera, me herir. Estoy herido. Luego me cai de
una escalera.
4. Si voy de tiendas, com prar un sombrero. Com prar un vestido azul si
compro un sombrero. Voy de tiendas. Luego compro un vestido azul.
5. Manifistese la argumentacin que pruebe que la conclusin en el ejerci
cio 1 es vlida.
6. Proporcinese la argumentacin que pruebe que la conclusin del ejer
cicio 4 es vlida.
M odus tollens
El nombre ms largo para esta regla es el de modus toliendo tollens, el
mtodo de negar (el antecedente) mediante la negacin (del consecuente).
Imaginmonos la siguiente situacin: un muchacho est viendo televi
sin. Oye que su padre dice, si llueve, me quedar en casa . Poco despus,
cuando su programa termina, m ira en una y otra habitacin y descubre
42
que su padre se h a ido. Sin m irar al exterior, se dice a s mismo, luego,

despus de todo, no llovi .
Podramos describir la situacin mediante el uso de smbolos en la for
m a que sigue:
R:
H;
Llueve.
Permanecer en casa.
Im p lic a c i n : R - > H
O b serv aci n : ~ ' H
C o n clu si n :
' R
El esquema formalizado presenta, pues, dos premisas. U na es una im
plicacin. La otra es la negacin del consecuente de la implicacin. La
conclusin es la negacin del antecedente. El argumento se abrevia como
sigue:
P -> Q
~
por tan to :
~' P
Esta argumentacin est ntimamente relacionada con el modus ponens.

Consideremos la tabla de verdad para 1 Q -> il P. (Vase 5a tabla X III.)
TABLA X III
p
i G - 1 P -] Q -*
Pero esta es exactamente la tabla para P - Q, (pg. 31). Por tanto,

P * Q y <<2. ^ 1JP son lgicamente equivalentes, y podra procedersc a
una derivacin formal como sigue;
1.
2.
3.
4.
P -*Q .
-iQ .
- i Q - * i P.
- i P.
Pr
Pr
L
1
M P 3, 2
Acerca de esta nueva forma, podemos decir que el modus tolkns nos
ahorra dos pasos al precio de tener que recordar otra regla de inferencia.
Nosotros adoptaremos aqu el modus tollens como un tipo de argumento y
lo representaremos en las derivaciones formales por M T .
M O D U S TOLLENS
43
Ensayemos una ligera variacin del modus tollens. Un profesor dice:

si no term ina su proyecto, le dar una calificacin baja. El estudiante
obtiene u na buena calificacin. De donde concluimos que termin su pro
yecto. Usando smbolos, el razonamiento es el que sigue'
P:
G:
El estudiante termina su proyecto.

El profesor le da una calificacin baja
1. i P - + G .
Pr
2. i G.
3. - i - i f .
Pr
M T 1, 2
P.
L a anterior derivacin nos muestra el resultado de tener un antece

dente que era ya una negacin. La prim era conclusin es una negacin
doble. L a reemplazamos, como lgicamente equivalente, por el enunciado
directo.
Dgase, por medio del uso del ?nodus tollens, si cada una de las conclu
siones es o no correcta.
1. Si voy a Nueva York, viajar en avin.
Estoy viajando en avin.
Por tanto, no estoy yendo a Nueva York.
2
Si no me corto el pelo, entonces me quedar en casa.

Voy a la iglesia.
Por tanto, me cort el pelo.
3. Si estoy enfermo, entonces no voy a trabajar.

No estoy enfermo.
Luego estoy en el trabajo.
4. Si no estoy enfermo, entonces 110 tomar mi medicina.
Tom o mi medicina.
Luego estoy enfermo.
5- Prubese la validez de la conclusin del ejercicio 1.
6.
Prubese la validez de la conclusin del ejercicio 2.
44
C O M O CONSTRUIR NUESTRAS PROPIAS REGLAS DE INFERENCIA
m A A O r n M C T P i no mi ir e r P A & .P P n P iA g p r e i
DE INFERENCIA
Hay muchas otras de las llamadas reglas. Serla cansadsimo presentarlas
todas; e incluso si lo hicisemos, siempre podra encontrarse una argumen
tacin que pareciera vlida, pero que aparentemente usara otra regla.
Si en una argumentacin se usa una regla que el lector no ha visto,
ensaye los siguientes pasos:
1. Comprubese que el argumento realmente trabaja con enunciados o
proposiciones como unidades. La operacin aritm tica no est aqu
bajo estudio. Adems, las manipulaciones que implican pertenencia
a un conjunto o inclusin entre conjuntos todava no se han visto.
(Scrates es un hombre; todos los hombres son m ortales; luego S
crates es mortal. Formalmente esto es anlogo a: Scrates hom
bres. Hombres C mortales. Luego, Scrates
m ortales).
2. Escrbase a continuacin el modelo de la inferencia.
3. Comprubese si la argumentacin se pondr o no por medio de una
equivalencia lgica directamente en forma M P o M T.
4. Comprubese si se puede introducir una tautologa o no, que pueda
poner el argumento en forma ms estndar.
Veamos algunos ejemplos. Supongamos que tenemos P & Q y queremos
usar ambos, P y
como premisas separadas o slo una de ellas, diga
mos P, por s misma. Deseamos esta inferencia: P & Q es cierto, luego P es
cierto. En smbolos
P&Q
P
Podemos ahora decirnos, naturalmente, si sabemos que P y Q son, ambas
verdaderas, ciertamente sabemos que P lo es . Las palabras naturalm ente
y ciertamente sugieren una tautologa en el resto del enunciado: si tanto
P como Q, entonces P '; es decir, (P & Q) > P. Es fcil comprobar que,
ciertamente, estoes una tautologa. Ya tenemos ahora todo listo:
1. P & Q .
2. ( P & Q ) -+P.
3. P.
Pr
T
M P 2, 1
Esto es suficiente para mostrar lo que queremos decir al afirm ar que

se pueden construir reglas propias de inferencia sin necesidad de hacer una
argumentacin formal al respecto.
PRUEBA C O N D IC IO N A !
45
H e aqu dos ejemplos ms.

a)
H oy es viernes o sbado.
N o es sbado.
Luego es viernes.
El esquema es
P V Q
p
b)
Si aqu llueve, entonces est nevando en las montaas.

Si nieva en las m ontaas, entonces voy a ir a esquiar.
L uego, si Hueve aqu, entonces voy a esquiar.
El esquema es
P ->
Q -+ R
P -+ R
Hgase el esquema de cada uno de los siguientes argumentos:
1. Si llueve, entonces no ir a la playa.
Estoy en la playa.
Luego no est lloviendo.
2. Si no le gustan los perros, no le gustan los perros pachones.
Le gustan los perros pachones.
Luego le gustan los perros.
3. Es vlida la conclusin del ejercicio 1?
4. Es vlida la conclusin del ejercicio 2?
H e aqu u n a muestra de argumentacin deliberadamente complicada:

Si el comit adopta el plan A, entonces, si el gobernador asiste, se cam biar
la ley. O la comisin de carreteras no puede funcionar o se debe adoptar el
plan A, El gobernador asiste. Por tanto, si la comisin de carreteras puede
funcionar, se cambiar la ley.
Recurramos a los smbolos:
A:
El comit adopta el plan A.

El gobernador asiste.
L ' Se cam biar la ley.
H : La comisin de carreteras puede funcionar.
G:
La m archa del argumento es la siguiente:

A > i G > X,)
iH V A
G________ _
por tan to : H >L
Cmo tenemos que derivar la conclusin de las premisas? Parece que
se presentan obstculos, porque la nica cosa obvia por hacer es reemplazar
i H V A por la proposicin lgicamente equivalente H >A (vase la
pgina 32), y H no aparece en ninguna parte entre las premisas. Supon
gamos que nos limitamos a aadir H a las premisas y, para ahorrarnos una
etapa formal, sigamos adelante y reemplacemos ~>H V A por H r A.
1. H.
2.
3.
4.
5.
6.
7.
A -* (G -* L ).
H
A.
G.
A.
G -> L.
L
Pr
Pr
Pr
Pr
M P 3, 1
M P 2, 5
M P 6, 4
Al aadir H a la lista de las presunciones, probamos L. Es decir, dadas

las premisas y suponiendo tambin H, deducimos L. Pero cul es la dife
rencia entre el ltimo enunciado y decir que, dadas las premisas, H implica
L? Esencialmente ninguna. Cuando hacemos un enunciado como o la
comisin de carreteras no puede funcionar o debe adoptarse el plan A, es
decir, ~ iH V A, la hiptesis de que es posible que funcione la comisin de
carreteras (H) est implcita. Si no fuese este el caso, la premisa ( ~~>H
V A ) se podra reemplazar simplemente por
H, ya que la verdad o
falsedad de A sera irrelevante: la adopcin del plan A no tendra entonces
relacin alguna con el funcionamiento de la comisin de carreteras.
Para formalizar todo esto, adoptemos la siguiente regla. (Puede pro
barse partiendo de las reglas anteriores, pero no haremos esto aqu.)
Regla de la prueba condicional: si una proposicin 5 puede
deducirse de un conjunto de premisas y una premisa particu
lar P, entonces P > Q puede deducirse de las otras premisas
solas.
PRUEBA C O N D IC IO N AL
47
As pues, si queremos probar una implicacin, es una prctica estndar

aadir a las premisas el antecedente de la implicacin, y tratar de deducir
de todo ello el consecuente.
Como regla general, para construir una prueba formal verificando o
corrigiendo una argumentacin, se comienza por escribir las premisas. Se
ponen en forma de implicaciones, apartando formas como P & R para enu
m erar los componentes separadamente. Si el resultado a probar tiene la
forma de una implicacin, agregese su antecedente a las premisas. Intn
tese derivar a continuacin el consecuente por M P y M T.
Probemos con otro ejemplo bastante com plejo: si el testigo est diciendo
la verdad, Sam tiene un alibi. O el testigo est diciendo la verdad o hay una
conspiracin. Si hay una conspiracin, Juan est complicado. Si San tiene
un alibi, Jorge es inocente. Luego, si Juan no est implicado, Jorge es
inocente.
Todo claro? Quiz no, asi es que vamos a dejar a un lado las palabras
y a meter los smbolos. Entonces podremos ver con claridad.
W ; El testigo est diciendo !a verdad.
S : Sam tiene un alibi.
C : H ay una conspiracin.
/:
G:
Ju a n est complicado.
Jorge es inocente.
L a forma del argumento, es la siguiente:

W
C
S
-i}
V C
-> J
- G
-* G
Reemplacemos ahora W V C por >W > C, de acuerdo con nuestro sis

tema estndar, y agreguemos ~i / a las premisas.
1- ->/
2. W ^ S .
3. - i W
C.
4. C
/.
5. S
G.
6. i C.
7 .-1 - i W .
8. W.
9. 1.
10. G.
Pr
Pr
Pr
Pr
Pr
MT
MT
L
MP
MP
4,
3,
7
2,
5,
1
6
8
9
Hemos derivado el consecuente G de la premisa 1/ y las otras premisas.

Esto es lo que necesitbamos.
1. Encuntrense los errores en la siguiente derivacin.
1. A - > B .
2 .C V D .
3.
4. i C.
5. C~> i D.
Pr
Pr
Pr
Pr
L
. - i - i D .
7. D.
8. - > .
9. i A.
M T 5 .4
L
6
M P 3, 7
M T 1, 8
2. Corrjanse los errores en la derivacin del ejercicio 1 y llguese despus

a la misma conclusin.
^ g c j^ y g jT e s ^ c o n tra i^ ^
Excepto cuando estbamos haciendo cambios formales en las pruebas,
no hemos discutido en detalle los problemas que se presentan al negar ex
presiones compuestas, es decir, expresiones tales como P & Q, P V Q y
P -> Q. Comencemos con y y o . Consideremos la afirmacin
Pedro vendr y Q uintn vendr.
Podra pensarse que negar esto es simplemente cuestin de negar ambas

proposiciones simples:
Pedro no vendr y Q uintn no vendr.
Pero si sometemos estas proposiciones a las evaluaciones de una tabla de

verdad, obtenemos la tabla X IV .
TABLA X IV
P:
Q:
~ <2 ] P & ) (2
P&Q
-1 P
Pedro vendr.
Q uintn vendr.
(P:
~ iQ :
Pedro no vendr.
Q uintn no vendr.
NEGACIONES, CONTRARREC1 PROCAS Y RECIPROCAS
49
Al observar las columnas 3 y 6 es posible que nos sorprenda encontrar que

P&Q y
P 8t
Q estn muy lejos de ser negaciones la una de la otra.
Para que P &Q, sea cierta, tanto P como Q deben ser ciertas. Si P o Q, una
cualquiera de ellas, es falsa { i P V i Q) , entonces P & Q es falsa. Lo
anterior nos conduce a someter a la prueba de las tablas de verdad a P & Q
y ~i P V ~~11Q. (Vase la tabla XV.)
TABLA XV
p
p& a
-i P
-1 Q ~i P v F
1Q,
Si, como antes, inspeccionamos las columnas 3 y 6, en esta ocasin encon

tramos las F en vez de las V, y las V en vez de las F exactamente en los
sitios adecuados, de forma que la equivalencia lgica de >(P& )) y P V
~i Q es un hecho.
Esto nos lleva a pensar que como
( P & Q ) =s - p v - i Q ,
podra ser que el esquema fuera el mismo para la negacin de una compo
sicin con o . Es decir, podra ser que
i
(P V Q) = -> P & - i Q,
U n ejemplo de esto sera

No es cierto que o Pedro vendr o Quintn vendr,
y
Pedro no vendr y Quintn no vendr.
La tabla de verdad para estas proposiciones se muestra en la tabla X V I,

TABLA XVI
N fl
-i P j G -i P& -1 Q
50
Como a! comparar las columnas 3 y 6 encontramos siempre las V en lugar

de las F y las F en lugar de las V, nuestra sospecha result correcta. La
negacin de P V Q, es ~i P & ~ Q.
Las proposiciones de equivalencia lgica,
- i (P V Q) = iP & i Q,
y
- I ( P & Q ) s = - i p v - 1 Q,
se llaman leyes de De Morgan. El proceso de obtencin de estas equiva
lencias puede resumirse en esta forma:
Para negar una expresin con y u 'o, se niegan ambos
componentes y se cambia la conjuncin; es decir, se niegan
ambos componentes y luego se reemplaza y por o , y o
por y.
Consideremos a continuacin esta proposicin:
Si Pedro viniera, Quintn vendra.
C ul de entre las siguientes es la negacin correcta?

1.
2.
3.
4.
5.
Si Pedro viniera, Quintn no vendra.

Si Pedro no viniera, entonces vendra Quintn.
Si Pedro no viniera, entonces no vendra Quintn.
Si Quintn viniera, entonces Pedro no vendra.
Pedro vendr, pero Quintn no vendr.
Lo que queremos obtener es la negacin de P - ? Recurdese que P

Q
s=3 ~i P V Q- Luego t ( P > Q . ) = 1 ( ~ 1'P V Q ) . Apliquemos ahora las
leyes de De M organ;
- | ( ? - > Q ) s i ( " i P V 8 ) s i - i P 5 ; - i 2 = 1p & - | g ,
Y esta es la proposicin 5,
Q u hay de equivocado en la proposicin 1, P > iQ ? Vanse las
tablas X V II y X V III que tienen los valores de verdad para cada proposi
cin. Las filas correspondientes a lo que sucede cuando Pedro no vendr
producen valores de verdad distintos en las columnas finales de las tablas.
TABLA X V II
TABLA X V III
P -t
-1 U*-*G>
- i G i -> * i 2
51
NEGACIONES, CONTRARRECIPROCAS Y RECIPROCAS
Consideremos an otro p ar de proposiciones:

Si Pedro viniera, Q u in tn vendra,
y
Si Q uintn no viniera, entonces Pedro no vendra.
U n a tiene la forma
Q.; la otra, la forma ~t Q * i P. En qu
difieren en valor? Comparmoslas escribindolas ambas en la forma !o :
P ^ Q ^ ^ P V
" i g ^ - i P = - T - i Q V
Pero V es conmutativa, y Q V i P s
Q.
~iP =
Q V
i P.
n p V Q , luego
Cuando nos sea conveniente, es pennisible dar la vuelta a cualquier

implicacin si negamos cada componente. Mencionamos esta equivalencia
cuando mostramos que el M T es derivablc del MP. Es en si de considerable
importancia. A ' Q - ii P se le llama contrarrecproca de P > ). Es
frecuente el caso en que una de las dos expresiones parecer ms eviden
te o expresar una idea m ejor que la otra, aunque las dos son lgicamente
equivalentes. U n caso extremo de diferencia en el modo aparece cuando
formamos la contrarrecproca de si llueve, permanezco en casa . La con
trarrecproca lgicamente equivalente es si no permanezco en casa, no
llueve .
Hay otra proposicin estrechamente relacionada con P -=Q. Es su
recproca, Q,
P. Ntese que Q - P no es ni la negacin de P - * Q , ni
tampoco es equivalente a ella. Quizs los diagramas rectangulares de la fi
gura 23 puedan darnos la imagen ms clara de la situacin.
Hay dos rectngulos en que los valores no concuerdan y dos rectngulos
en que s concuerdan.
-1 p
-i p
-i a
i Q,
Q -* p
FIGURA 23
LOGICA DE PREDICADOS
52
Formemos las recprocas de las siguientes tres proposiciones:

1. Si un nmero es un m ltiplo de 4, entonces es un m ltiplo de 2
2. Si llueve, me quedar en casa
3. Si x < y, entonces y > x
Se tiene:
1. * Si un nm ero es un m ltiplo de 2, entonces es un m ltiplo de 4
2. * Si me quedo en casa, llover
3. * Si y > Xj entonces x < y.
La observacin de que los valores de verdad de las proposiciones (11 y

(1*) y de las proposiciones (2) y (2*) son diferentes [aunque los valores
para (3) y (3*) son iguales], nos dice que, en general, nunca debemos
mew lar una proposicin y su recproca, aunque haya casos, como sucede
en la proposicin (3 ), en donde ello no importe.
Resumamos la situacin:
Implicacin:
P * Q
C o n tra rre c p ro c a ; "ii Q ~ii P (lgicamente equivalente a P Q i

R e c p ro c a :
Q >P
(no lgicamente equivalente a P - > Q )
N e g aci n :
P & i Q
Formlese la negacin de cada una de las siguientes proposiciones.
1.
2.
3.
4.
5.
Si voy al centro, me comprar un sombrero nuevo.

Voy a comer y al teatro.
Voy a ir a la playa o a la montaa.
Si no me doy prisa, llegar tarde.
Juan ir si voy yo.
Formlense las reciprocas de:

6. La implicacin del ejercicio 1.
LO G IC A D EjJgE D IC A D gS
Trminos v predicados
Hasta el momento, hemos venido usando como unidades bsicas en nues
tras construcciones a las proposiciones. Para seguir ms adelante, debemos
TERMINOS Y PREDICADOS
53
llegar al interior mismo de estas proposiciones. Consideremos los siguientes

argumentos sencillos:
Todos los nmeros naturales son mayores que 0
El nmero 3 es un nmero natural.
Luego 3 es mayor que 0.
Ningn perro tiene seis patas.
Rover es un perro.
Luego Rover no tiene seis patas.
No hay nada que pueda hacerse con estos argumentos desde un punto
de vista simblico porque no podemos encontrar ninguna de las conjuncio
nes, ni y, ni o, ni si . . . entonces . No podemos, por tanto, formali
zarlos. Desde un punto de vsta formal, cada una de las tres proposiciones
de cada argumento es una proposicin atmica. Las proposiciones estn
relacionadas, pero la relacin se encuentra dentro de las proposiciones.
H asta este momento h a sido posible explicar las palabras y las estruc
turas de las proposiciones en este estudio comparando su uso cot usos
anlogos del idioma espaol. Pero de ahora en adelante debemos en ocasio
nes usar definiciones que tienen significado solamente en la lgica simb
lica. Para los propsitos de la lgica, definimos trmino como significando
un nombre propio u otra palabra que especifique un objeto definido nico.
Los trminos en los argumentos anteriores son Rover, 3 y 0 .
L a forma habitual de describir un predicado es la de decir que es algo
que puede ser el resto de una proposicin simple que tiene un trmino como
sujeto. (Los predicados que aparecen en los ejemplos son es un nmero
natural ; es mayor que 0 ; no tiene seis patas, y es un perro". Ntese
que no hemos incluido son mayores que 0 y tienen seis patas", pues
estas proposiciones tienen sujetos plurales que no son trminos segn la
definicin anterior.)
Ntese, sin embargo, que uno de estos predicados contiene un trmino.
Cuando esto sucede, es a veces conveniente cambiar nuestra descripcin
para perm itir que un predicado sea la parte de una proposicin que se
convierte en. una proposicin simple al insertar uno o ms trminos en los
lugares adecuados: el hombre [trm ino] am a, x [trmino] es mayor
que 5 [trm ino], y as por el estilo.
Necesitamos usar predicados simblicamente. Usaremos una letra m a
yscula para representar un predicado. Cuando queramos mostrar cuntos
trminos pueden estar implicados, pondremos letras minsculas tales como
x o y a su derecha. Si C representa a es un nmero natural, entonces
escribiremos Cx por "x es un nmero natural . Si G representa a es mayor
que , entonces escribiremos Gxy por x es mayor que y . En la tabla X IX
54
IO G IC A DE PREDICADOS
aparece una breve lista de algunos ejemplos de este simbolismo que usare
mos en las pginas que siguen.
TABLA X IX
Predicado
Predicado
Significado
Significado
y
trm ino
C
n
z
D
L
es un nmero natural
es mayor que
corre de prisa
es mayor que cero
es un perro
tiene seis patas
Cx
Gxy
x es un nmero natural
x es m ayor que y
Rb
Bernardo corre de prisa
Zy
y es m ayor que cero

x es un perro
x tiene seis patas
Dx
Lx
Ntese que los nombres comunes y las descripciones, como distintos de los
nombres propios, forman parte de los predicados. U n predicado puede
tener o no tales nombres comunes. Bernardo corre de prisa tiene corre
de prisa como predicado.
Al simbolizar proposiciones, usaremos con frecuencia letras minsculas
para representar a los trminos. Por ejemplo, si R representa corre do
prisa, podramos poner b por Bernardo, y abreviar la sentencia escribiendo
Rb. Siempre guardaremos a x, y y z para uso general, sin embargo, y nunca
las usaremos como trminos particulares. Si en alguna ocasin tuvisemos
una proposicin, por ejemplo, Jerjes corre de prisa encontraramos alguna
letra, por ejemplo, e, para representar a Jerjes, y escribiramos: Re.
Usando letras maysculas apropiadas por los predicados y letras m i
nsculas por los trminos, simbolcese cada una de las siguientes propo
siciones:
1. x es igual a y.
2. Rover tiene cuatro patas.
3. Bonita da leche.
4. Pussy bebe leche.
c u a n t if ic a d o r e s
55
C.i i n n t i f i r n H n r p s
Todava no estamos completamente preparados para simbolizar los ar
gumentos con los que comenzamos. Necesitamos algo acerca de todos los
nmeros naturales son mayores que cero y de ningn perro tiene seis
patas .
Vayamos tan lejos como podamos con las siguientes frases y trminos.
C:
Z;
D:
L:
r:
es un nmero natural
es mayor que cero
es un perro
tiene seis patas
Rover
t:
Lo que ahora necesitamos es alguna forma de decir todos los nmeros

naturales son mayores que cero y ningn perro tiene seis patas . En tr
minos de nuestra estructura simblica el procedimiento ms claro sera
convertir estas proposiciones en algo como
Para todo x , si
Para todo y, si
es unnmero natural, entonces x es mayor que cero.

es unperro, entonces y no tiene seis patas
L a razn para esta aparentemente oscura locucin es que necesita

mos solamente un smbolo ms y con l slo ya seremos capaces de resumir los
argumentos simblicamente. Usaremos el simbolo (V * ) Para cualesquiera
de las siguientes expresiones:
Para todo x
Para cada x
Todo x
Todo
Reconsideremos nuestros dos argumentos en forma simblica:
( V v) Cx > Z x )
Ct
Zt
(V y) fD y - * ~ \ h y )
_
Dr__ ____
i Lr "
Estos parecen, excepto por un detalle de menor cuanta, exactamente

como el ya familiar modus fionens. Entraremos en detalle despus de
una corta discusin sobre el uso de V *).
Debe quedar absolutamente claro hasta qu punto el smbolo (V x), al
que se llama cuantificador universal, ejerce influencia sobre una propo
56
LOGICA DE PREDICADOS
sicin compuesta. Si omitisemos los parntesis y escribisemos [ \ / x ) C x >

Zx, deberamos entender algo como esto: si todo x es un nmero natural,
entonces x es mayor que cero . Por tanto, para obtener lo que realmente
queremos decir, debemos poner Cx >Z x entre parntesis: (V x) (Cx
Z x)
Nunca debemos usar variables que se presten a confusin. U na forma
de evitar esto es tener en cada situacin una letra diferente para cada dife
rente categora o tipo de objetos y jara cada trmino.
Esto nos lleva a otra regla que necesitaremos.
Regla, de instan dacin: en cualquier proposicin precedida de
un cuantificador universal, la variable indicada por el cuantificador puede reemplazarse en toda la proposicin por cual
quier termino.
Indicaremos el uso de la regla de instanciacin por I .
{V x] (Cx
Ct.
Ct > Z t.
Zt.
Zx) ,
1.
2.
3.
4.
{ V y ) ( D y - _ 'L y ) .
Dr.
Dr ~i Lr.
i Lr.
Pr
Pr
I
1
JO
1.
2.
3.
4.
Pr
Pr
I
1
M P 3, 2
En otras palabras, nuestroi nuevo sistema es exactamente nuestro viejo

sistema, una vez que prescindimos del cuantificador universal al reemplazar
la variable por un trmino adecuado. Naturalmente, tenemos que elegir el
trmino adecuado con cuidado; no sera de gran ayuda que al final termi
nsemos con una proposicin como: si 3 es un perro, entonces 3 no tiene
seis patas.
Escrbase la forma simblica de cada uno de los siguientes argumentos.
1. Todos los gatos tienen bigotes.
Tobas es un gato.
Luego, Tobas tiene bigotes.
2. Todos los sbados duermo hasta medioda.
Hoy es sbado.
Luego hoy dormir hasta medioda.
57
NEG A CIO N Y EXISTENCIA
3. Todas las balandras tienen velas.

Espum a es una balandra.
Luego Espuma tiene velas.
4. Todo hombre fue nio alguna vez,
El seor Garca es un hombre.
Luego el seor Garca fue nio alguna vez.
5. Escrbase una prueba completa de la forma simblica para el ejercicio 1.
6. Escrbase una prueba completa de la forma simblica para el ejercicio 3.
N p n n r i n w P v iste n rin
Debemos tener sumo cuidado con el uso de los negativos en conexin

con los cuantificadores. Consideremos, por ejemplo, estas proposiciones:
1.
2.
No todos los hombres son locos.

N ingn hombre es un loco.
L a proposicin (1) es, evidentemente, la negacin directa de la propo

sicin todos los hombres son locos . Si alguien dice todos los hombres
son locos , esperamos que se niegue tal afirmacin diciendo no, no todos ,
o, no, algunos hombres no son locos .
La otra proposicin es diferente. Antes de buscar cul es su negacin
podemos primero escribir de nuevo la proposicin como todos los hombres
son no locos . Esto es confuso. Si visemos la proposicin aislada, no sabra
mos si era equivalente a la proposicin (1) o a la proposicin (2). Es esta
una razn ms para ser cuidadosos. Ensayemos ahora en esta forma: todo
hombre no es un loco . Para propsitos simblicos, escribimos esto como:
para todo x, si * es un hombre, entonces .v no es un loco . Es decir, coloca
mos la negacin en el consecuente de una implicacin.
Podramos haberla puesto en una forma diferente teniendo la misma
connotacin lgica: para todo x, no es el caso que x sea a la vez un hom
bre y un loco . En smbolos (V *I ( 1(M x & F x ) ), como puede ver el lector
en la tabla XX.
TABLA X X
Mx
Fx
M x S Fx
1 Fx Mx -* 'j Fx
j (Mx& Fx)
LO G ICA DE PREDICADOS
58
Q u hay acerca de ( V x) ( ~ i ( M x F x ) ) ? Se leer ms fcilmente

esto si recordamos la forma de negar una implicacin: V x ( M x & i Fx).
Todo es un hombre pero no un loco . Esto no es en absoluto lo que tena
mos in mente. Cmo decimos: algunos hombres son locos ? Negamos la
proposicin ningn hombre es un loco :
i
(V x) { M x - * - ' F x )
i (V x) { - t ( M x S t F x ) ) .
La combinacin simblica ~i (V x ) ~ 1 recibe un smbolo especial 3 (a) que

se lee de cualesquiera de las siguientes maneras:
Hay un x tal que,
Existe un x tal que,
Para algn x,
o una equivalente. Por ejemplo,

( 3a) (M x& Fx)
se lee hay una a que es a la vez un hombre y un loco, o para alguna
a, a es a la vez un hombre y un loco , o algunos hombres son locos .
Escrbanse las proposiciones en espaol que son las negaciones de las
siguientes:
1.
2.
3.
4.
5.
Todos los gatos son blancos.

Algunos gatos son blancos.
Ningn gato es blanco.
Ningn gato es no blanco.
Usando smbolos convenientes, exprsese cada una de las anteriores
proposiciones y su negacin.
oOo------
Para lecturas posteriores

Entre los varios libros valiosos que tratan el tema que aqu hemos
introducido, uno es el L J i^ S j^ tiiS S tiiS m ^ m S
^"atrc*{
Suppes y Shirley Hill (segunda edicin; Boston: Ginn & Co., 1966).
Este libro de 271 pginas puede adquirirse en Ginn and Company,
Statler Building, Back Bay P. O. 191, Boston, Massachusetts 02117.

Grupo de ejercidos 1 (pg. 28)
1.
2.
3.
4.
5.
Llueve y no me voy.
Si no viene, yo voy.
Cuando hace calor, llueve.
O hace calor o llueve.
No es el caso de que llueva y no vaya yo. (M ejor: o no est lloviendo
o voy.)
6. El est viniendo si ni hace calor ni llueve y solamente en ese caso.
7. El est viniendo si ni hace calor ni llueve y solamente en caso de que
ambas cosas sucedan.
8. Yo voy si hace calor o si no llueve.
9.Hace calor y llueve; yo voy, pero l viene.
10.
O yo voy, o l viene, pero no ambas cosas.
11. F -s*
i.
12 .
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
(F & -)F )
(G V H ) .
F -* .
E V G.
-> ~i F.
iH -> G V x es mayor que 5 y x es par.
Si no ocurre que x es par y x es menor que 3, entonces x es un m l
tiplo de 4.
Si x no es menor que 3 o r es un mltiplo de 4, entonces x es mayor
que 5.
Si * no es par y a: es menor que 3, entonces * no es un mltiplo de
4 o a: es mayor que 5.
Si no ocurre que x sea mayor que 5 o que x no sea par, entonces x es
menor que 3.
x no es menor que 3 y x no es un mltiplo de 4.
Si no ocurre que * es par y que x es mayor que 5, entonces x no es un
mltiplo de 4.
Si x es un mltiplo de 4, entonces no ocurre que x sea mayor que 5
o que X sea m enor que 3.
Si x es un mltiplo de 4 o x no es par, entonces x es mayor que 5 o *
no es m enor que 3.
59
60
RESPUESTAS A IO S EJERCICIOS
Grupo de ejercidos 2 (pg. 35)

Si las tablas bsicas se ordenan en la misma forma que las tablas que
preceden inmediatamente a! conjunto de ejercicios, los resultados son:
9.
1.
2.
3.
4.
5.
6.
7.
8.
Las proposiciones 1 y 7, 2 y 8, 3 y 4, 5 y 6.
Grupo de ejercicios 3 (pg. 37)

p
-i p
i P ->l
P-> i I P fft'1
p&. a
P & Q -> P
i P
P&Q
r -* ) (P& )
RESPUESTAS
61
l o s e j e r c ic io s
/& t
(P&G) -* (P v Q)
Grupo de ejercicios 4 [pg. 41}

1.
2.
3.
4.
5.
S
No
No
S
S \ nieva; G: esquiar.
1. S - + G .
2. S.
3. G.
Pr
Pr
MP
1, 2
6. S: voy de compras; H : comprar un sombrero; Z>: comprar un traje

azul.
1.
2.
3.
4.
5.
S-+ H .
H
D.
5.
H.
D.
Pr
Pr
Pr
MP
MP
1, 3
2, 4

1.
2.
3.
4.
S
S
No
S
5. N : voy a Nueva York; P: viajo en aeroplano.

1. N - > P .
2. - i P .
3. i N.
6.
H : m e p elo; 5 :
1. i H - > S .
2. - i S.
Pr
Pr
MT
m e quedo en casa.
Pr
Pr
RESPUESTAS A IO S EJERCICIOS
62
3. - n a
4. H.
M T I, 2
L
3
Grupo de ejercicios 6 (pg. 45}

1. P -> -< Q
Q
i p
2. - i
-i a
p
3. S
4. S

1. Los pasos 5 y 6 son equivocados.
2. Lo siguiente es correcto:
1. A > B.
Pr
2. C V D.
Pr
3. D - > - n B .
Pr
4. - i C.
Pr
5. i C ~ D .
6. D.
MP 5, 4
7. " IB .
M P 3, 6
8. *n A.
M T 1, 7
Grupo de ejercicios 8 {pg. 52)

1. Voy al centro, pero no me comprar un sombrero nuevo.
2. O no voy a comer, o no voy al teatro.
3. No voy a la playa, y no voy a la m ontaa.
4. No me estoy dando prisa, pero no llegar tarde.
63
5. Yo no voy, pero Juan no va.

6. Si compro un sombrero nuevo, ir al centro.
7. Si llego tarde, no me dar prisa.
8. Si Juan va, yo ir.

1.
E: es igual a ;
Exy.
2.
F : tiene cuatro patas;
Fr.
3.
M : da leche;
Mb.
4.
D : bebe leche;
Dp.
Grupo de ejercicios 10 {pg. 56)

1. C: es un gato; W : tiene bigotes; : Tobas.
(V x) (Cx~> W x )
Ct
Wt
2. S: es sbado; N : es un da en que duermo hasta el medioda; : hoy,
(V x) (Sx -> Nx)
St
Nt
3. S: es una balandra; H : tiene velas; s: Espuma .
( V x) (Sx - f fx )
Ss
Hs
4. M : es un hombre; B: fue nio; s: el seor Garca.
( V a ) (M x - Bx)
Ms
Bs
5.
1.
2.
3.
4.
(V r)(C * -> lT r).

Ct.
Ct - * W t .
Wt.
Pr
Pr
I I
M P 3, 2
64
6.
1.
2.
3.
4.
(V *) (Sx
Ss.
Ss > Hs.
Hs.
Pr
Pr
I
1
M P 3} 2
H x).

1. Algunos gatos no son blancos.
2. Todos los gatos no son blancos; o, ningn gato es blanco.
3. Algunos gatos son blancos.
4. Algunos gatos no son blancos.
5. Cx: x es un gato; Wx: x es blanco.
(1) (V
(Cx - W x ) ,
(2)
Wx ) .
x) ( C x - * ~ i Wx)
(3x)(Cx&Wx).
Wx ) .
( 3 at } ( Caj & i
(V
(3) (V x) (C x~* ~i W x),

(4) ( V *) ( _1 W x -> ~ i Cx)
Esta obra termin de imprimirse d da 2 0 de junto

de 1972, en los talleres de Offset Rebosn, S. A .,
ZacahuUzco No. 40, Col. Portales, Mxico. D F.
Se tiraron 2 000 ejemplares
ms sobrantes de reposicin
(N ational Council of Teachers of

Mathematics) que esta serie de cuader
nos pueda auxiliar tanto a los maestros
en su ctedra, como a los alumnos en su
aprendizaje.
Ttulos que componen esta coleccin:
1. Conjuntos
2. Nmeros enteros
3. Sistemas de numeracin para los
nmeros enteros
4. Algoritmos de las operaciones con
nmeros enteros
5. Nmeros y sus factores
6. Nmeros racionales
7. Sistemas de numeracin para los
nmeros racionales
8. Proposiciones numricas
9. El sistema de los enteros
10. El sistema de los nmeros
racionales
11. El sistema de los nmeros reales
12. Lgica
13. Grficas, relaciones y funciones
14. Geometra informal
15. Medida
16. Recopilacin, organizacin e
interpretacin de datos
17. Sugerencias para resolver problemas
18. Simetra, congruencia y semejanza
OTRO TTULO
Manual de lgica para
estudiantes de matemticas
G o n z a lo Zu b ie la R u s si
Es una valiosa ayuda para la mejor comprensin
del lenguaje matemtico. Ofrece a loa estudiantes
de matemticas, el material que necesitan sobre
tcnicas de orden lgico del manejo del lenguaje
matemtico, el empleo de mtodos eficaces de
razonamiento, etc., ya que muchas de laa dificul
tades con que tropiezan se deben a a falta de
familiaridad con todos estos factores.

12 Lógica

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

12 Lógica

Загружено:

Авторское право:

Доступные форматы

12.

Este cuaderno es uno de los diez nuevos

Federioo Velasco Coba

Emilio Lluis Riera

Titulo de esta obra en ingles

son propiedad del editor

Los nuevos ttulos son los siguientes:

El sistema de los enteros

Se sugiere que, de ordinario, los cuadernos se lean en el orden de los

C M O CONSTRUIR NUESTRAS PROPIAS REGLAS DE INFERENCIA

RESPUESTAS A LOS EJERCICIOS

U n a proposicin simple, llam ada a menudo tambin una proposicin

v corriente. Para asegurar una mayor precisin en ]a lgica, establecemos

Lincoln fue el decimosexto presidente de Estados Unidos

En general, una proposicin simple es declarativa. Tiene un sujeto y un

PROPOSICIO NES SIMPLES

ante una prueba de falso-verdadero la proposicin Huckleberry Finn era

Las proposiciones pueden construirse partiendo de otras proposiciones

Comenzamos con no, que abreviamos usando el smbolo ~i.

PROPOSICIO NES COMPUESTAS

Consideramos a continuacin laTcojuncin y. Si ponemos y entre

universal, U est representado por el interior de un rectngulo y donde uno

presentar el conjunto de reemplazamiento para una variable en una propo

Como el conjunto de reemplazamiento para la proposicin x > 5

Conjunto de rcempiazanrnto para x en x > 5

todos los elementos de este conjunto (fig. 4 ). A continuacin, dibujando

Conjunto de reemplazar.cnto para x en x > 5"

Tambin podramos haber cruzado un segmento divisorio horizontal me li

Conjunto de reemplazamiento para x en ;t es par

Como los interiores de los dos rectngulos en las figuras 5 y 6 repre

C onjunto de reemplazamiento para x en x > 5 y x es p a r .

x > 5" es verdadero.

" x > 5 es falso.

alguna manera, as que convengamos en llamar a una de ellas P y a la otra

Entonces, cuando superponernos, uno de estos rectngulos sobre el otro, los

Proposicin com puesta P & Q

Un diagrama para el conjunto de verdad de una proposicin compuesta

Proposicin compuesta P & i Q doblemente sombreada

conjunto de los nmeros naturales como conjunto de reemplazamiento.

Si superponemos un rectngulo sobre el otro, producimos ia figura 14.

Proposicin compuesta P & T Q doblemente sombreada

E n espaol hay muchas formas en que la conjuncin que representa

La conjuncin o tiene en espaol dos significados. A uno de ellos

Prupi .siiitm compuesta P V Q ,

Proposicin compuesta "x > 5 o x es par,

partes del rectngulo grande, representa el conjunto de verdad. El lector

se muestra en la figura 16. Corno *'x > 5 o v es par es cierto o ruando

Proposicin compuesta P -* Q , sombreada.

En una proposicin en espaol, la palabra entonces se omite a menudo

Proposicin compuesta (x > 5) > (x > 4 ).

He aqu un nmero de formas en que la idea de P -* Q, o x > 5

x > 5 es una condicin suficiente p ara que * > 4

Cuntas de estas expresiones tienen sentido cuando ios ejemplos en

U n a vez que tenemos las piezas elementales de las proposiciones simples

diagramas. El diagram a para (P * Q) & (Q >P) se muestra en la fi

Proposicin compuesta P*-* (, sombreada.

Para dar algunos ejemplos matemticos del uso de esta conjuncin,

Un tringulo es equingulo si y slo s es equiltero

Podemos, entonces, abreviar toda la proposicin de esta m anera [.4&

No hay necesidad alguna de parntesis; el smbolo ~i puede solamente, ir

E jem p lo : fi > ~> G. (Proposicin en castellano: si est lloviendo, no voy.)

Sustituyendo la abreviacin por medio de una letra para cada una de

E jem p lo : r es un mltiplo de 4, pero no es mayor que 5. (Proposicin en

(Proposicin en castellano: si x es menor que 3, en

Proposicin compuesta P- (, sombreada.