12.

LGICA

Este cuaderno es uno c;le los diez nuevos

ttulos que ha elaborado el National
CouncU of Teachers of Mathematics,
los que se suman a la serie de ocho ya
apacidos y reimpresos varias veces en
la versin castellana.
Como cac;la 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 una 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 alumnos de nivel medio y
superior que deseen comprender ms a
fondo los conceptos bsicos de l a
matemtica, tratados en cada uno de

estos cuadernos.
Es el deseo de loa auto:B y del NCTM

C
 TEMAS
Coleccin DE
MATEMATICAS
Trllduool6n:
1Pedm'loo Ve'sDO Coba
4elllultltatD
4e Oeoftldoa
PacN!tad de CienoiM
UDivenldad Naoioaal Am6noma
4eK6:1doo
Revtal6n t:MIIIca:
Jlmllto Llat. Riera
!Dadtuto 4e Matemftfaa
Paoalta4 de Cienolu
UDlvand.da4 Nacional Autnoma
deMioo
 Lg1ca .

Ntional Counoil of'

Teaoheta
of Mathematios
U.S.A.

Editorial Trillas
Mxico, 1972
rAl

1'itulo dt tla o ba '-" mRiis.
Tnpt(..< "' Matht:matu:/r>r El<>men/ar)' Sehool Teachers
BookMt number 12. Logu
19611, Thc Naft()lla/ Cotmci/ o/ Ttacherx o/Mathr.maltC$, lnr.
WashmJiton, D. C , U S. A.
Prlnura edici6n en espawt, 1970
Reimprest6n. tmro 1972
Segunda reimpNJin, junio 1972
La prstntae6n y dr.<postctn rn conJutto dt
Ttm<7' dt .Matemdticas. Cuaderno 12
1.6:1(0.
san praf>iet/ad t/('i editor

Derechos rt:$ervados en lengua espalla/a

1970 r:dimal Trillas. S. A
Av. 5 de Mayo 4310.'>, Mhic" 1, D. F
Mtembro de la Cdmartl NaciOnal de la
lnduslr.a Edtlonal Rer. num l.S8

/mpres" t'l Mheo

Prlogo
Este cuaderno es una de las diez nuevas unidades de una serie intro
ducida en 1964 por el Consejo Nacional de Profesores d e Matemticas
(National Council of Tcachers of Mathematics: NCTJvl). Como los ocho
primeros cuadernos recibieron tan buena acogida (ya se han reimpreso
varias veces), se pens que una extenin de los temas tratados seria con
veniente.
Como los primeros cuadernos (n(tms. 1 al 8), las nuevas unidades se
han escrito pensando ms bien en los profesores de escuela s 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 primaria para poder tratar con ,cr

dadera comprensin las matemticas que por lo comn se ensean en la

escuela primaria. Los cuadernos presentan una introduccin al tema que
enfocan, no un tratamiento exhaustivo de c!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
nar material bsico a los profesores CjUC creen que las experienc.ias de
aprendizaje que se proporcionan a los nios en sus primeros aos escola
res deben incluir una introduccin sencilla a algunos de los conceptos uni
ficadores centrales de la matemtica. Muchos profesores se han encontrado
con que su educacin profesional no les prepar para la enseam.a de la
aritmtica de un modo acorde con este punto de vista. Los autores tienen
la esperanza, al igual que la NCTM, de que esta serie de cuadernos pueda
ayudar a Jos profesores, y ciertamente a todas aquellas personas interesadas
en mejorar la enseanza de las matemticas.
Los primeros ttu)os son los siguientes

Cuaderno 1: Conjuntos
Cuaderno 2: Nmeros enteros
Cuaderno 3: Sistemas de numeracin para los nmeros enteros
Cuaderno 4: Algoritmos de las operaciones con nmeros enteros
Cuaderno 5: Nmeros y sus factores
5
6 PROLOGO

Cuaderno 6: Nmeros racionales

Cuaderno 7: Sistemas de numeracin para los nmeros racicmales
Cuaderno 8 Proposiciones numricas

Los nuevos ttulos son los siguientes:

Cuaderno 9: El sistema de los enteros

Cuaderno 10: El sistema de los nmeros racionales
Cuaderno 11: El sistema de los nmeros reales
Cuaderno 12: Lgica
Cuaderno 1 3: Grficas, relaciones y funciones
Cuaderno 14: Geometrit informal
Cuaderno 15: Medida
Cuaderno 16: Recopilacin, organizacin e interpretaci6n de datos
Cuaderno 17: Sugerencias para la resolucin de problemas
Cuaderno 18: 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. Trottcr, 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. Hoffman, director de la
Seccin de Recursos Educativos de la Comunidad del Departamento 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 amplia 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
NCTM bajo la presidencia de William Wooton. La NCTM, que propor
c:ion6 apoyo financiero, hace ahora pblico su agradecimiento al grupo de
autores de la presente extensin de la :serie "Tema". A continuacin damos
sus nombres:
 PRLOGO 7

George Arbogast Joseph Hashisaki

Manuel P. Berri Lenore S. John
Marguerite Brydegaard David Johnson
Louis S. Cohen Robert H. Sorgenfrey
Helen L. Curran J. Dean Swift
Patricia Davidson William Wooton
Walter Fleming Edwn F. Beckenbach, Coordinador
lndice general
Introduccin 11

PROPOSICIONES 11

Proposiciones simples 11
Proposiciones compuestas 14
Composicin de compiJestas 25
Valores de verdad y tablas de verdad 30
Equivalentes lgicos; tautologas 35

REGLAS DE INFERENCIA 37

Modus ponens 38
Modus tollens 41

COMO CONSTRUIR NUESTRAS PROPIAS REGLAS DE INFERENCIA 44

Prueba condicional 45
Negaciones, contrarrecprocas y reciprocas 48

LGICA DE PREDICADOS 52

Trminos y predicados 52
Cuantificadores 55
Negacin y existencia 57

RESPUESTAS A LOS EJECICIOS 59

9
Lgica

CUADERNO 12
INTRODUCCiN
La .lgicaengener.a.1, y la lQgicasimblica en particular, es el estudio
sistemtico del proceso de rnzonamU:ntopreciso. No es, sin embargo, un
J.#uto del razonamiento p_rcciso; manipular smbolos, que es uno de los
procedimientos de la lgica, _ cosa gy_ct.:Q_ensa,r. Lo que los m
..Ja mism-
.

todos de la lgica pueden hacer por nosotros es clarificar nuestros tipos de

pensamiento,guiamos e.n la correccinde nuestrosprocesos de razonamientQ
y ayudamos a evitar errores.
La fina1idaddelalgicasimblic lade reducir procedimientosr
.balcscornpHcados en simples dimositivos de letras y s)?;Qlos. A groso modo,
podemos comparar esto al uso de Jos numerales y los-signos de la aritmtica
para ayudamos a simplificar lo que de otro modo seria muy largo e incluira
enunciados verbales acerca de los nmeros. Para probar las ventajas de Jos
smbolos en aritmtica bastar que el lector intente poner los conceptos
numricos expresados por {3 + 4) + 5 = 12 en palabras.
Exactamente lo mismo que l.os nmeros son los elementos bsicos de la
aritmtica, lasproposiciones simples son los elementos de la 16gica. 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 16gica con las P-osicione simples, y usamos despus stas para
formar .I!_roposiciones ms compli!9s. En la lgica a,Rrendemos las reglaL
para la manipulaci6n d_!:: sentencias.

PROPOSICIONES

Pmposjdonesjmgles
Una proposicin simple, llamada a menudo tambin una proposicin
atmica, es casi exactamente la misma cosa en lgica que en lenguaje comn

11
12 PROPOSICIONES

y_ corriente. Para asegurar una mayor prec1ston en la lgica, establecemos

algunas restricciones que no se aplican en la gramtica para que puedan

considerarse aceptables en la l6gica.
Examinemos primero algunas proposiciones simples del lenguaje ordi
nario y de las matemticas.

V l. Lincoln fue el decimosexto presidente de Estados Unid o! .

2 3 < 5.
F 3 San Franci3co es la capital de California.
4. 6 > 7.
A 5. e es profesor.
6, IC > 9_
N 7. Mara est en el tercer grado.
8. El rey de Francia tiene el 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, I!roru>scisimJ21.ll...S,..P-!'.QPi_ione1'112!ls_;C!.n
!gyls.ignificado: "los hombres buenos son generosos" y "si un hombre es
bueno, entonces es generoso"; "Mara y Juan tienen seis aos" y "Mara
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. La proposicin ''l
es ms alto de lo que ella era" tiene dos verbos; pero la conjunc.in "que"
no est entre las de la lista de prohibidas ("y", "o", "si . entonces") 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 S('gundas dos son falsas (F),
Estn (!O contradiccin con hechos indiscutibles. Las dos siguientes son
abiertas (A). Contienen \In pronombre o una variable y dependen, para
su verdad o falsedad, de qu es Jo que sea lo que sustituya al pronombre
o variable La ltimas dos no tienc.n sentido (N) en la forma en que estn.
"Mara", siendo nombre propio, no es suficientemente claro. La proposicin
podra perfectamente ser cierta o falsa si se enunciase en un contexto; por
je.mplo, si fuese parte de la <".ontesta<"in de una madre a la pregunta de
otra mujer: ".cul <':S 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 el 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 "Mara" de la pro
posicin anterior, sino simplemente que no existe.
 PROPOSICIONES SIMPLES 13

Vamos a exigir que todas las proposiciones simples usadas puedan da

sifcarsc como verdaderas o falsas JLara todo reemplazo peonisible de varia
bles o pronombres (si es que hay alguno) que se haga. Esta exigencia pide
que cspecifquemos qu nombres pueden usarse para reemplazar los pro
nombre.s o variables; el conjunto de nombres se llama "conjunto de reem
plazanentos". 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 reemplazamiento que hace
cierta una proposicin se llama ''conjunto de verdad" de l a 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 { 1O, 11, 12, . . }.
Aclaremos lo que se entiende por "capaz de clasificarse como verdadera
o falsa". Por qu no ser ms directo y exigir que l a proposicin sea cier
ta o falsa despus de cualquier reemplazamiento necesario? Hemos visto
un ejemplo que ilustra la contestacin: "Mara cursa el tercer grado."
Ciertamente, es muy difcil clasificar casi cualquier proposicin en espaol
como cierta o falsa en sus propios mrtos, 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?".
Una de las mayores fuentes de discrepm1cia entre las personas es pre
c.isamnte que no tienen l a misma clasificacin sobre la verdad o falsedad
de sus proposiciones simples. Toda la necesaria manipulacin lgica del
mundo no nos salvar si nuestros elementos bsicos de construcci6n son
defectuosos. En matemticas, el contexto es usualmente ms claro que en Ja
conversacin casual, pero debemos estar en guardia para asegurarnos de tal
claridad incluso al1. Proposiciones hechas pensando en los nmeros natu
rales (el conjunto { 1, 2, 3, . . . } ) se hacen falsas en trminos de enteros
(el conjunto { . , -3, -2, -1, O, 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, O X 5 =O; y el producto resultante no es igual o mayor
que 5. El enunciado "cuando un nmero 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 los nmeros na
turales.
Por otra parte, tanto en matemticas como en literatura tenemos pro
posiciones que son ciertas slo porque dec.imos que lo son. En matemticas
estas proposiciones son definwones y axiomas. En literatura son los su
puestos fundamentales de una obra de ficcin. Si el lector se encuentra
 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 as la concibi.
Asi pues, sin metemos ms a fondo en la cuesti6n, supongamos que
tenemos un conjunto de propois ciones 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 uL".

Pro0osisiopespmm'ft!p;;
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 ( at6-
micas), nunca perdemos la posibilidad de una clasificacin definida, no
importa cun compleja sea la proposicin estudiada.

NO
-

Comenzamos con "no", que abreviamos usanc!o el smbolo . "IL",

por tanto, equivale a "Lincoln no fue el decimosexto presidente de Esta
dos Unidos". Convenjmos en que el uso de "no'' o "1" acta para invertir
la clasificacin de la proposicin con la que se usa. Expresarnos esto como "la
negacin de una proposicin verdadera es una falsa, y l a 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 " IL" 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
jndicar 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.

 PROPOSICIONES COMPUESTAS 15

Consideramos a continuacin la conjuncin 4'y''. Si ponemos "y" entre

dos proposiciones simples, estamos afinnando 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 proposici6n "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, ...h y el de E es {2, 4, 6, 8, 10, . . . }. El de G & E es {6, 8,
10, ...}, que conrta 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 E ( 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

Diagrama de Venn

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 ctrculos que en la figura aparecen. Som
breando regiones apropiadas podemos representar la uni6n o intersecci6n
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
rienda. pero muy anloga en interpretaci6n. Convengamos primero en re-
16 PROPOSICIONES

u u

A (lB sombreado A V B sombreado

FIGURA 2

presentar el conjunto de reemplazamiento para una variable en una propo

sicin simple por el interior de un rectngulo (fig. 3).

Conjunto de reemplazamiento
p a ra
una proposicin &i.mple P

FIGURA 3

Como el conjunto de reemplazamiento para la proposicin "x > 5"

supusimos era el conjunto de todos los nmeros naturales, {l, 2, 3, }, se . . .

considera que el interior del rectngulo para esta proposicin contiene a

1, 2, 3, 4, 5, . . .

Conjunto de rcemplaza.uiC?nto 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 )os
 PROPOSICIONES COMPUESTAS 17

cuales es el conjunto de verdad para x > 5, mientras que el otro es el sub

conjunto de los nmeros naturales que no estn en este conjunto de verdad.
Convengamos en usar, en este caso, la regin a la derecha para <'1 c onjunto
de verdad, como se sugiere en la figura 5.

Proposicin Proposicin
falsa verdadera

1, 2,3, 6, 7, 8
4, 5 9, 10, 11, ..

'Conjunto de rc ernplazar.1icnto para :t en "x > 5".

FIGURA 5

Tambin pod ramos haber cruzado un segmento divisorio horizontahncu

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 mostramo s en la figura 6.

Propostctn
2, 4, 6, 8, ...
verdadera

Prop os icin
1, 3, 5, 7, ...
falsa

Conjunto de reemplazamiento para x en "x es par''

FIGURA 6

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 PROPOSI ClONES

'lx . .'.'> st
falso verdadero

"
;e es par"
2, 4 6, 8, 10, ...
verdadero

"
x es par"
1, 3, 5 7., 9 11, . . . falso

Conjunto de reempla;o:nmiento para :e en ":e > 5 y x es par".

FIGURA 7

Podcu1rs ahora dcscribit los contenidos de las cuatro regiones en que stc
nctlllgulo ha quedado di\ idido l'rl la forma que aparece en la figura a.
Podemos generalizar la idea de los diagramas rectangulares desarrollados
usando "x > 5" y "x es par'', y aplicada a cualesquier dos proposicioues
simples, Para hacer esto tendremos que representar las proposiciones de

'lx ::::> 5,1 es \'c-rdadero.

"K> 5" es falw.
" x es par" es verdade-ro. ''x cs par" es verdadero.

ux > 5" es falso. u.

. > 5'' es verdadero.
"
x es par" es biso. 'o: <> par" es Ltlso,

FIGURA S

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

Q. Entonces, la negacin de P cstad1 representada por -1P (lase "no P''),
y la negacin de Q por IQ (lase "no Q"). Ntese que P y IP nunca son
ciertas para un mismo reemplazamiento de la variable. As, "x > 5" y
"x :t> 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 :t> 5 es verdadera,; mientras que si x es igual a 7, 7 > 5 es
vrdadcr<l pro 7 ::.1> 5 es falsa.
Usando los smbolos P, IP, Q y IQ, podemos representar los conjun
tos de verdad de cada una de estas proposiciones por los rectngulos que se
muestran en la figura 9.
 PROPOSICIONES COMPUESTAS 19

p -,p

FIGURA 9

Entonces, cuando supr.rponemos, uno de estos rectngulos so bre d otro, los

con j untos de verdad de las proposiciones compuestas aparecen como regio.
nes dohlemente somfm:adas. En la figura 10) el rectngulo pa ra P, supcr
pueMo sobn d rectngulo para Q, rrmc:stra d conjunto de verdad para
la proposicin compuesta P & Q. El conj unto de verdad para P & Q es la
intFrsr-con ck lm cr:.njuntos dt: ... crcbcl pa.ra P y Q. Comprese esto con las
reas que se tr.tslapan en un diagrama ele. Venn para la interseccin de
conjuntos A y B (fg. 11).

Proposion compuesta P&Q Propoicin A (', B

doblemente sombreada.

FIGURA 10 FIGURA 11

para el conjunto de verdad de una proposicin compuesta

Un diagrama
de la forma P & Q se muestra en la forma que aparece en la figura 12.
Como un ejemplo csp<.dfic.o de esta clase de proposicin compuesta, consi
deremos de nuevo las proposiciones simples ''x > 5" y "x es par", con el
20 PROPOSICIONES

Pwposu:in compuesta P & -, Q dol>lcmente sombreada

FIGURA 12

conjunto de los nmeros naturales como conjunto de reemplazamiento.

Hagamos que P desempee el papel de "x > 5"; si Q desempea d papel
de ":<es par", entonces IQ es la proposicin "x 110 es par". Los diagramas
para los conjuntos de verdad de P y -,Q, tendran el aspecto, antes de
superponerlos uno sobre otro, que aparece en la figura 13.

2, 4, 6, ... Q

1,2,3,4, 5 I=6,7,8, . . . E

FIGURA 13

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

La regin inferior dtrecha, que est doblemente sombreada, es el conjunto
de ,erdad de P & IQ.
 PROPOSICIONES COMPUESTAS 21

--, p p

Proposki6n c:ompuesta P & --, Q dobleml'ntc )mbrcada

FIGURA 14

En espaol hay muchas formas en que la conjunc1on 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 Q" aunque distinto estado de nimo. Por ejemplo,.
si P representa a "est Uovicndo" y Q "me marcho", la verdad es que ex
presamos un sentido de reluctancia o fastidio al decir "cst1 lloviendo, JK'I'O'
me marcho". Este sentido no es aparente en "est lloviendo y m mareho".,
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 construcci6n relativa o incluso adjetival. Por ejemplo,.
podemos combinar "x es un nmero impar" y "x es un mltiplo de 5" en
cualesquiera de las siguientes formas: "x es un nmero impar que es un
mltiplo de 5", o "x es un mltiplo impar de 5".
Ntese que P & Q y Q & P 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 menor nfasis. "Me 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.
Cuando 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 tambin P y IIP.
22 PROPOSICIONES

-
La ronjunuon "o" tiene en rspaiiol dos significados . A uno ck ellos
se le llama d "o ('X( lu i" o' (o disyuntivo, propiamcnt<' dicho 1 y <ligunas
veces se enunc1a chcicnJo '1'> Ul\(1 o el otro, pno no DJ11b0s". :\1 ntrn sign
icaclf> SI' k l!aJo;l d '''o i ndu ivn'', (o distnbulivo propiamullr il"hl<tndo)
y en los dnrumt.JJtos le.aks st: expresa a vtu-. por "y o' ' En ll<l'JJJtiias y .
en lt)ica w.m.fHt <: usa el o nd us ivo" . Los romanos tenan dos palabras
dikrcnte.s para estos dos distintos significados; aut era el "o exclusivo" y
ve/ ew d "o inclus1vo", En matem tkas, ntKstr<l ahrrviatura para "o" es
'., lo que nos recuerda al vd. As, "P V Q' s ignific a "P yo Q", pero por -
con\ t:ni<tKi,t se lee "p o Q".
El conjunto de verdad de P V Q es la WJ;)n de los conju n to <k verd.ul
de P y Q. Es decir, clasfi<,amos a P V Q como vl'rdadcro siempre que
P sea Hrclackro, o que Q sea verdadero o <ue ambo sean verdaderos. Un
.

diagl<lllHl r :c tangu la r para d conjunto de \'ndad de P V Q s<.' m tw stra en

la fgma 15. 'Toda la reg-in sombreada, qw: comprmdc las tres cuartas

P falso P verdadero -, p p

Q
verdadero

Q
falso

Pnopo.osit nin crompucsta P V Q., Proposicin compuesta "x > 5 o x es par '',
somurcad a o doblemente sombreada. sombreada o doblemente sombreada.

FIGURA 15 FIGURA 16

partes dd rec tngulo grande, representa el c.onjunto de verdad. El lcc t<:> r

debe comparar esta rea som breada con el rea sol ll brcada en el diagrai J ia
de Ycnn para la unin de los conjuntos A y B, A U B> en la figura 2
..
Pensunns dl nmvo como ejemplo especfico, en las proposicion('S simples
". > 5" y ''x es par'', con el conj unto de los nm ( ros naturales c0mo con
junto de ntmplazamicnto para ,,; en ambas. El diarama resultante, mos
trando los cLmentos del c.onju nto di' rl'emplazamicntc>, aparecera como
 PROPOSICIONES COMPUESTAS 23

se muestra en la figura 16. Corno "x .> 5 o x es par" es cicrtn o uando

x >5 o cuando x es par,
o cuaudo ambas cosas ocurren, los {miLos nmc1os

del conjunto de rcemplazamieuto que 110 estn talllbin en el <ouJunto de

verdad son 1, 3 y 5.
Exactamente lo wismo que <p & Q" y "Q & P" son l,gicanwnte CtJU
valcntcs, tambin lo son "P V Q" y ''Q V P". Cuando una de estas propo
sicione s es cierta, tamb i n lo es la otra ; y t uando una di' las p t nposif iones
es falsa, tambin la otra lo es.

SI 'iil83Hii'
La conjuncin bsica que nos queda usa las dos palabras ") \ eutun

c.cs>' cn su forma habitual, aunque hay muchos modos de r,qm:..u !.1 u us uta
idcn. La con j unci n usa con proposiciones simple s P y Q para nb tcncr
proposiciones compuestas de la forma '\i P, tntonll:S Q''', Cowo las con
S((:ucnr.ias lgicas m;is f(i!C's de <.'xplicar
directas de esta conjuncin son
que los pmhlcwas verbales m:oc:iados eon {1, comPnzanmos Ut\ IC> priwcro.

P falso P verdadero

Q verdadero

Q falso

Proposicin compueata P _. Q, sombreada.

FIGURA 1 7

La conjuncin s simboliza por lJ'l( dio di' una fJrd1:l de ttna so l a pun

ta, - As, P -> Q se lec si P.. r.nt:rn s Q'', o, "P implica Q". El valor
de verdad asignado a P Q . tn n -: rta forma cunoso. El rt:(tngulo de
la figura 11 nos muestra este <:onjunto de verdad. El dibujo mut'stra CfUC
P-+ Q es <:ierto, cxc<vtn ('uando P l'S cin to y Q falso. Por ejemplo, sea
P la propoin simple "ha('(' \;'\IN", y sea Q la proposicin c;implt: "lfle
marcho". La proposicin couq>tu,ca P -+ Q sera cntonn:s: '\i !.are c1hr,
tntonc<:s m<: marcho".
24 PROPOSICIONES

En una proposicin en espaol, Ja 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 d que habl no se marchase. Pero entonces qu hay cuando hace
fro? El qu<' habl tendra que tomar de nuevo una decisin. Podra hacr.r
lo C)U(' (uisiera. (Significa esto que oriinalmcntc 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 111cnos curioso el hecho de que PQ se dice que es cierta incluso
cuando P sea falsa.
Pal'a ilustrar la variedad casi oscureccdora 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
cedntc. de la implicacin, la proposicin "x > 5"; para Q, al que se llama
co1wcuente, usemos"> 4''. Podl:mos de nuevo considerar como conjunto
de reemplazamiento al conjunto de Jos nmeros naturales. Nuestro diagrama
rectangular estndar torna entonces c1 aspecto que mostramos en la figu
ra lB. El conjunto de verdad para P Q es todo el conjunto de los nme
ros naturales, porque el cuadro inferior derecho del rectngulo total, est
vaco. No hay ningn nmero natural para el que "x > 5" sea cil:rto y
"x > 4" sea falso.

" x > 5" "x > 5"

falso verdadero

"x >4"
5 6, 7, 8, .
verdadero

"x >4"
l, 2, 3, 4 fa'so

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

FIGURA 18

He aqu un nmero de formas en que la idea de P Q, o "x > .)' .-

'

"x > 4" puede expresarse;

L Si x > 5, entonces x > 4.

2, x > 5 implica x >4.
3 .v >4 siempre que x > 5.
 COMPOSICION DE COMPUESTAS 2S

4. x > 5 es una condicin suficiente para que x > 4

5. K> 4 es una condici6n necesaria para que x > 5.
6. Dado que x > 5, entonces se sigue que x > 4.
i X > 4 si X > 5.
fl. X > .J solamente S X > 4.
9. x > 4 con tal de que x > 5.

Cu!'ltas de estas expresiones tienen sentido cuando los ejemplos en

espaol s::: usan, es decir cuando P es "hace calor" y Q es "me marcho"?
.

La \'('rdad es que nunca se dice "hace calor solamente si me marcho". En

syct' con las otras expresiones. Siempre que aparezca "x :;:... 5" ponga
mos 'hace calor". En donde veamos "x > 4", pongamos "me marcho".
Alunns nrn resultarn en buen castellano, pero otras sern muy extraas.

s;ompgsh;jgde EQPll?''ft!Qi
Una v<:z que tenemos las piezas elementales de.las proposiciones simples
y el material de las conjunciones, no hay ningn lmite te6rico para el
tamao del edificio que podamos construir.
Una proposicin composicin de compuestas muy til es ia (P Q) &
(Q P). Esta proposicin es tan comn que tiene su propia abr<'viatura
sugt'rida por las dos flechas dr.- la fnnu\a. Esta abreviatura es L:t flecha
de punta doble: P Q (lo que se lee: "Psi y slo si Q''').
Consideremos la clasifcaci6n de esta proposicin en trminos de P y Q.
La proposicin P Q es cierta salvo cuando P es cierta y Q es fa1sa;
Q P es cierta a menos que Q sea cierta y P falsa. (Vase la fgura 19.)
Las partes inferior izquierda y superior derecha estn sombreadas en ambos

P falso P vetdadeco P falso P verdadero

o
o
.. ..
..
.. "'
"' n
.S
"E 'E

ct Ci

S S
3 :3
ct Ci

P-+ Q Q--. P

FIGURA 1 9
26 PROPOSICIONES

diagramas. El diagrama para (P Q) & ( Q P) se muestra en la fi

gura 20.
La proposicin compuesta resulta cierta pr(csamcnte cuando las propo
siciones simples P y Q son, ambas ciertas o ambas falsas. En matem
ticas, esta proposic1n compuesta rc:dbe varios nombres especiales construi
dos uniendo algunas de las palabras usadas para P Q y Q. P. Uno de
estos, ya antes mencionado, es ''Psi y slo si Q". Otro, "P es una condic tn
necesaria y suficiente para Q".
Desde luego,, P oH> Q es lgicamente equivalente a Q oH> P, de manera
que podernos intercambiar las dos expresiones.

-, p p

Proposici6n compuesta P- Q, sombreada.

FIGURA 20

Para dar algunos ejemplos matemticos del uso de esta conjuncin,

recordemos primero algunas definidon(S ;

Un lrin:ulo equiltero es un tringulo en d que los tres lados

son de igual longitud.
Un tringulo equingulo es un tringulo en el que los tres
ngulos son de igual medida.
l:n umao natural cuadrado es un nmero natural que es
igual al producto de algn nmero natural por s mismo:
25 = S X 5; es decir, 25 es el cuadrado de S.

He aqu dos prop(.lsicioncs que podemos discutir usando las cll'finicioncs

precedcntlS
 C0MP051CION DE COMPUESTAS 27

Un tri.J.ng;ulo es equingulo si y slo si es equiltero

Una condici6n necesaria y suficiente para que un nmero sea
par es que su cuadrado sea un mltiplo de 4.
La frase 'si y slo si" no se usa a menu do fuera de las matemticas.
Pocas personas dirn 1n 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 s6lo si hace calor".
Otro compuesto que presta buenos s<rvicios se usa cu;mdo tcnunos ms
de una hip tesis y, por tanto, un antcccdentt compuesto e11 u,:;: implica
cin. Por cjnnplo, a menudo es til decir cul es el conjunto de rcempla-
7..amicnto en la proposicin bsica: "'si a y b son nmeros naturales y a > J ,
cntomcs {a X b) > b". Div;diremos l a sentencia e n componcntc.s simples.
A : a es un nmero natural.
B . b es un nmero natural.
C: a> 1
D; \ .ct X b J > b.

Podemos, entonces, abreviar toda la proposicin de esta manera [(A &

8) & C) 4 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
t(st: d doble agrupami<'nto de los smbolos . Este doble agrupamiento aparece
porque ninguna de nuestras c<mjnnrioncs se aplica a ms de dos propo
siciones a la vez, y las llaves y p;r(-ntc:si estn cstraticamentc situados
para i d1 ntifirar cuiks dos se unen cn rada caso. As, los parntesis en
(A & B 1 & C

mw:stran que primero formamos la proposicin compuesta A & B y Juego la

proposkin compuc.sta (A & B 1 & C ltnkndo A & B con C.. Luego, los pa
rntesis en
[(A & B) & CJ D
muc.stran que la proposicin r A & B) & e est unida con D por Hll ((si' . .
r.ntonccs". Cuando nbscrvamos a
[i'A & Bi & CJ D,
pur.de pensarse que a medida que <:>scribamos proposiciones m..1s y ms com
pliradas, es fcil que OOS cm:ontr<.IIIOS con muchas dtfruJtadcs COJl los
parntesis y las llaves. Con\'engru1105 t'n \mas cuantas y stndllas reglas qw:
cliuunarn algunos de los problemas.
1. Una negacin, , es un smbolo dbil. Su mfluncia cubre l;O[a
mente el smbolo o expresin entre parntesis itmcdiatamente a su
der<"cha.
28 PROPOSICIONES

Es decir, -,A & B se puede usar en vez de ( A) & B porque entende

mos que -, va solamente con la A. Anlogamente, [-,(A V B )) C
puede simplificarse a la forma I(A V B) e, porque no podemos con
fundir esta ltma forma por la -, [(A V B) C).
2. Los smbo)os & y V unen con lo prximo e igualmente.
3. Los smbolos y , que tienen ms fuerza que & y V, son iguaks
en rango.
(A & B) e puede reemplazarse por A & B e, porque no debemos
confundir el ltimo con A & (B e) . Intentemos simplificar algunas ex
presiones que aparecern, en forma simplificada, en los ejercicios:
R & {IG) .
No hay necesidad alguna de parntesis; el smbolo -, puede solamente ir
con G: R & -, G.
[(r W) & ( R )J C.
No hay necesidad de parntesis alrededor de -, W y -, R : (-, W & -, R)
C. Pero no hay necesidad de ningn parntesis; la doble flecha sigue
hasta el principio : -, W & -, R C. La forma ( -, W & -, 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 c-uenta las abreviaciones que a continuacin se presentan
para las proposiciones simples, escrbanse las die,.; proposiciones compuestas
en nuestro lenguaje cotidiano. El lector no debe limitarse a insertar simpleM
mente las interpretaciones estndar de las conjunciones a menos que ya slo
con eso la expresin suene comn y r.orriente.
W: Hace calor.
R: Est lloviendo
G: Vor.
C: Viene (l),

EJE!PLO: n -> -, G. (Proposicin en castellano: si est lloviendo, no voy.)

l . R & -, G.
2. -, e c.
3. w R.
4. W V R.
 COMPOSICION DE COMPUESTAS 29

5. 1 ( R & 1 G).
6. 1 ( W & R) c.
7. ( 1 W & 1 R) C.
8. ( W V I R) G.
9. ( ( W & R) & G) & C.
10. (G V C) & 1 (C & CJ .

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: x es par.
F: x es un mltiplo de 4.
0: x > 5.
H: x <3.

EJEMPLo: x es un mltiplo de 4, pero no es mayor que 5. (Proposicin en

smbolos : F & 1 G.}

1 1 . Si x es un mltiplo de 4, no es menor que 3.

12. Si 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 x es mayor que 5.
16. Si x no es par, entonces x no es mltiplo de 4.
17. Si x no es menor que 3, entonces x es mayor que 5 o x es par.
.

Tradzcase cada una de las siguientes expresiones simblicas a frases

en lenguaje comn.

EJEMPLO: H 1 G (Proposicin en castellano: si x es menor que 3, en

tonces x no es mayor que 5.)

lB. G & E.
19. 1 (E & H) - F.
20. I H V F G.
2 l . 1 E & H - 1 F V G.
22. 1 (G V E) - H.
23. I H & I F.
24. -, 1 E & C) -, F.
25. F - -, ( G V H) .
26. F V E c v 1 H.
30 PROPOSICIONES

ValoresdeyBrgad ytsblas de verda!

Aunque los diagramas rectangulares son tiles, son muy complicados
para analizar la estructura de proposiciones compuestas. Un 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 e..stn incluidas en el conjunto {VV, VF, FV, FF}.

p p
falso verdadero

rv Q \erdadero

FF \'F Q falso

FIGURA 2 1

Estas cuatro posibilidades corresponden a las cuatro casillas del diagrama.

En lugar de sombrear, metemos la combinacin correspondiente de V yF
que es el "valor de verdad" de la composicin. Podramos, as, tener d
diagrama que se ve en la figura 21. Luego, para simplificar ste para las
proposiciones compuE.>stas P & Q, P V Q y P Q nos podramos limitar a
mostrar los diagramas como en la figura 22.

p p p

F V V V V \'

Q Q Q
F F F \' \' 1

P& Q p ... Q PQ

FIGURA 22
 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 disposici6n
en columnas. Las tablas I y II son las tablas para las conjunciones bsicas.
Las tablas deben leerse transversalmente, lnea por lnea. La penltima lnea

TABLA 1 TABLA Il

P -., P p Q P &. Q. P ; Q ,. ..... Q.

V F V V V V V

F V V F F V F

F V F V V

F F F F V

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 c.iertos. Como
un e.iemplo de aplicacin de esta tabla, podemos hacer que P sea la propo
sicin simple "Juan come alimentos feculentos" y Q "Juan come demasia
do." Entonc(S la verdad de las siuientcs proposiciones compuestas puede
determinarse por la tabla II, que tiene los diversos valores de verdad de P
y Q.
l. Juan come alimentos feculentos y Juan come demasiado.
2. Juan come alimentos feculentos o Juan eome demasiado.
S. Si Juan come alimentos feculE!ntos.. entonces Juan come demasiado.

As pues, si Juan no come alimentos feculentos, pero es cierto que come

con cxctso, entonces, segn la tercera lnea de la tabla 1I con P falso y
Q verdadero, vemos que la proposicin l es falsa, la 2 cierta, y la 3 tam
bin es cierta.
Si guardamos a mano estas tablas bsicas o memorizamos su contenido,
podemos analizar composiciones ms complicadas. Por ejemplo, cul es
la clasificacin de P V Q para las varias dasific.aciones de P y Q? Hace
mos nuestro trabajo parte por parte como en la tabla III.

TABLA 111

p Q. -, P Q 1 Pv Q.

V V F V V

V F F F F

F V V V V

F F V F V
32 PROPOSICIONES

Primero, escribimos las columnas bsicas para Py Q ; luego escribimos

cualesquiera partes de nuestra proposicin que pueda calcularse inmediata
mente partiendo de ellas, 'P en este caso ; Q se ha vuelto a escribir para
tenerla ms a mano para el siguiente paso, que es 1 PV 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". Una compos1dn 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 qut: marcamos con F.
Comprese la tabla para ' P V Q con la tabla para P -+ Q. Son idnti
P Q y 1 PV Q son lt5gicamente equivalentes. Esto explica
cas. Es decir,
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 hajo mn
guna circunstancia.
Probemos con una composicin un poco ms difcil: ' ( 1 PV Q),
por medio del mtodo que se ilustra en las tablas IV a VII.
l . Frmense las columnas bsicas, como en la tabla IV:

TABLA IV

p a.

V V

V F

F V

F F

2. Calclense los elementos ms simples de la proposicin partiendo

de las columnas bsicas, como en la tabla V :

TABLA V

-, [' -, Q

F F
F V

V F

V V

3. Partiendo de estas columnas, podernos calcular -, P V -, Q, en la

tabla VI.
 VALORES DE VERDAD Y TABLAS DE VERDAD 33

TABLA VI

-, P ., a -, P v -, a

F F F
F V V
V F V
V V V

4-. Finalmente, ya estamos listos para calcular la tabla para -, ( -., P

V -, Q ) , en la tabla VII. Nos basta con invertir Jos ,afores de la
ltima coJumna de la tabla VI.

TABLA VII

1 pV 1 a J ( 1 pV o Qj

F V
V F
V F
V 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 cs cierto que no
quiera a Juan o no quiero a Mara", en Jugar de "quiero a Juan y quiero
a Mara".
Los ltimos dos ejemplos muestran que realmente no necesitamos cuatro
conectivos bsicos. Podramos haber comenzado con .. _,., y .. V,. y haber
definido la proposicin P Q como -,p V Q y la proposici6n P & Q
como -., ( P V -., Q ) . 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 escogcr .. ...,. , y cualquiera de las con
junciones bsicas y definir los restantes dos conectivos en los trminos de
nuestra eleccin. (En realidad, todos los c uatro conectivos bsicos, ' &,
V, y -., pueden definirse en trminos del solo conectivo "no ambos . . .
y . . . ", y tambin todos los c u atro pueden definirse en trminos del solo
conect1vo Hm . . . m . . . '' . )
Ensayemos una 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 s(ntidc, ? Pasemos a comprobarlo. Defi

namos P, Q y R como sigue:
P: Esta semana nieva.
Q: Mi cheque llega.
R: Voy a esquiar este fin de semana.

Entonces.. la proposicin 1 es (P & Q) R, y la 2, P ( Q R) . Ahora

tenemos orho posibles combinacionts de V y F para P, Q y R. La tabla de
verdad para la proposicin 1 se: mutstra en la tabla VIII. En la tltima
columna, la nica F est en la lnea en que P & Q es cierto y R es falso.

Tt\BL '\ VIIf

p Q. R 1' & Q R lP &: Q) -> R

V V V V V V

V V F \' F F
V F V 1 V V

V F F }o' F V

F V V F V V

F V F F F V

F F V F V V

F F F F F V

La tabla IX es la tabla de verdad para la proposicin 2. Si ahora com

paramos las columnas finales de las tablas VIII y IX, las encontramos
absolutamente idnticas, de donde tenemos que concluir que las dos propo
siciones son lgicamente equivalentes.

TABLA !X

1' Q R Q-R p (Q -> R i 1'-. C Q -. R )

V V V V V V V
V V F F V F F
V F V V V V V
V F F V V V V
F V V V F V V
;' V F F F F V
F F V V F V V
F' F F V F V V
 EQUIVAlENTES LOGICOS, TAUTOLOGIAS 35

Grupo de ejercicios 2

Hga!;e una tabla th ... crdau para (ada una de las siguientes pn)posi
Clones.
l . P & (Q V R) . 5. (P & Q'i & R.
2. P V ( Q & R ) . fi. P & ( Q & R ) .

3 . P V (Q V R ) . 7. (P & Q i V (P & R) .
4. (P V Q) V R. a. i P V Q.J & (P V R ) ,
9. Cules de entre las proposiciones l a la 3 son lgicamente: equivalrntcs

Eauvalentes lgicos tautolosas

Los smbolos lgicos & y V estn estrechamente relacionados a los sm
bolos de conjuncin n y U , respectivamente. (Vase el cuaderno 1 : Con
juntos,) Si P y Q son proposiciones abiertas en la variable x, con conjuntos
de verdad JI y q, respectivamente, entonces vemos que

d conjunto dt: verdad de P & Q es jJ n q,

y
el conjunto de verdad de P \1 Q es jJ U q.

No debe sorprcmkrnos, por tanto, que el lgebra de & y V sea paralela

al lg{bra de n y U , con l a que es posible que el lector est ms familia
rizado. En realidad, pueden verificarse mediante las tablas de verdad (y se
ha hecho ya, si el lector resolvi los ejercicios l a 9 del grupo de ejerci
cio 2) los siguientes hechos acerca de proposiciones lgicamente equiva
lentes. Usamos el smbolo = para expresar "es lgicamente equivalente a".
(Las proposiciones correspondientes de la tema de conjuntos resultarn al
reemplazar tres proposiciones, por ejemplo, P, Q y R, por sus rtspectivos
conjuntos de verdad, jJ, q y r. Dede Juego, & y V sern de nuevo reempla
zados por n y U , respccti...-amente, y == deber interpretarse como drno
tando igualdad entre conjuntos. En lo que a conjuntos se refiere, los re
sultados pueden entenderse mejor si dibujamos diagramas de Vt'rm.1

}
P & Q == Q & P propiedades conmutativas
P V Q == Q \1 P de & y V

}
P & (Q & R) <5 (p & Q) & R propicdades asociativas
P V ( Q V R) ;;;;:;;; (P V Q) V R de & y V

Recordando estas ltimas equivalencias, podemos prescindir de ms pa

rntesis y escribir simplemente P & Q & R, P V Q V R .
36

Ntese que en esta lgebra hay dos propiedades distributivas :

P V (Q & R ) ae ( P V Q) & ( P V R)
P & (Q V R) := ( P & Q) V (P & R )
} propiedades distributivas
de V e &

Dos equivalencias tiles ms se comprobaron ya en la seccin prece

dente :
(P & Q) R S5 P ( Q R ) ;
P Q s= -, p V Q.

Para las igualdades correspondientes en la teora de conjuntos, debemos

reemplazar "" por el simbolo de inclusin de conjuntos "", y "" por
el smbolo de complemento "-".
Un tipo de proposicin que es ms til que lo que a primera vista pa
rece es la "tautologa". Una tautologia es una proposicin que es cierta
para todos Jos posibles valores de verdad que se asignen.
He aqu dos con un solo componente bsico: P P y P V <P. Estas
dO$ no dejan de semos 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 1 P, tiene un nombre especial. Se llama ''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.
Una forma de construir una tautologa consiste en tomar dos enuncia
dos equivalentes y conectarlos con una flecha doble o sencilla, como por
ejemplo, en (P Q) ( P V Q).
He aqu otras dos tautologas 1tiles :

Q (P Q)
-, P -+ (P Q) .

Pueden comprobarse por los valores de verdad en las tablas X y XI.

Como puede ver el lector, la columna final en cada una de las tablas slo

T..o\.BLA X

p Q p ... Q Q _. (P ... Q)

V V V V

V F F V

F V V V

F F V V
 EQUIVALENTES LOGICOS; TAUTOLOGIAS 7

TABLA XI

p Q -, 1' P-a -, P - (P -. Q)

V V F V V

V F F F V

F V V V V

F F V V V

contiene letras V. Significa esto que las proposiciones compuestas Q -. (P

-+ Q) y P (P-. Q} son ciertas, idependientemcnte 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 1 P y .., (P &: -, P) .

Grupo de ejercicios 3
Mustrese que cada proposicin es una tautologa.

L P -+ ( P -. Q) . 3. -, P -, (P& Q. ).
2. ( P & Q) -. P. 4. (P &Q ) -+ (P V Q ).

REGLfS DE INfEREtgi<;;;ltt
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 a}suna.s proposiciones, simples
o compuestas. Estas las aceptamos. Debe suponerse que son ciertas. Quere
mos llegar partiendo de ellas, nuestras ptartisas, a una conclusin mediante
un argumento lgico. Para hacer esto, podemos usar nuestras premisas y
tautologas, junto con las reglas de inferencia que estudiaremos ahora.
Por simplicidad vamos a limitar n\fttra atenc:i6n a la deduccin estric
tamente lgica. Por ejemplo, no ser' permisible en nuestro trabajo inferir
de la premisa x = 5 la conclusin de que tt + 1 = 6. Esta conclusi6n es de
38 REGLAS DE INFERENCIA

naturaleza aritmttica y exige su propio y xtemo desarrollo Jgico. Si m:.cc

sitamos tales rt:sultados, tendremos que presentarlos cCtmo premisas ctra.

Modus ponen
Tambin se emplea para denominar a este argumento la expresin ms
larga modus pone.ndo jJOntns, Jo que en latn quiere decir "d m{todo de
obtencin (la consecuencia) mediante la asercin (del antecedente )". He
aqu un ejemplo: "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:
Implicacin: P Q
Antecedente: P
Conclu!<in: Q---
Ntesc que el argumento del modur ponens est asociado a una tautologa,
a saber. una que tit.ne la forma lgica [ i P -4 Q) & P] Q, y que, por
tanto,, no depende de la v('rdad o fals<'dad de P, Q o P -4 Q para que sea
\lido.
Xaturalmentc.. si hay algo equivocado en las premisas. podemos lkgar
a una <'ondusin falsa,; pero esto no invalida d argumento en s, que med
nicamente nos presenta el consecuente cuando )o alim(ntamos con la im
plicacin y su anteccdcnte.
En un argurnr.nto del tipo modus jJonens simple, la conclusi6n es c:vi
dcote. de inmediato cuando se dan las prtnmas. Ensayemos otros dos;
a) Si > 5, entonces x :>
x 25.
Dado que x > 5
Conclusin : x2 > 25

b) Es didl nadar c.u;mdo h;.Jy mucho oleaje.

Dado que hav murho oleaje.
Conclusin: Es difdl nadar.

Ha' qu1' 1.star seguro de cpw una dt las prtmisas t'S el anteccckntt
Sll&tituir tl wnsecucnte y derivar d antecedente es una manera equivo
cada d<' mzonami<'nto. No puede decirse, por ejemplo, "es difcil nadar
ruando !Ja, mucho ok<je Es difcil nadar. Luego,. hay mucho oleaje". La
.

>erdad de la. siwacn posiblemcntt se deba a que d mar st t'n calma,

pero ha muchos tiburones.
En la pt :.ct<.:a el argumento modu pouens se usa en argunwntos ms
complicados, en una o ms etapils. Antes de proseguir, establezcamos algu
nas de las reglas de la argumentaci6n .
 MODUS PONENS 39

l. 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 "Pr".
2. Cualquier tautologa puede usarse en cualquier lugar en un argu
mento. Indicaremos el uso de una tautologa por "T".
3. Un equivalente lgico de cualquier enunciado puede sustituirse por
el enunciado en una df..'rivacin. Si estarnos sustituyendo un equi
valente lgico de un enunciado sealado por 5 en nuestra deriva
cin, escribimos "L 5".
4. Cuando se usa d modus jJonens, por ejemplo, sobre los enunciados,
2 y 3 (que dcsd: luego deben estar en forma correcta), escribiremos
"MP 2, 3''.
La tabla XII enumera estos smbolo<;, junto con sus significados. No hay
por qu intentar memorizar 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. Considtrcmos la afirmacin : "si llueve estar
en casa. Si estoy en casa, me perder el concierto. Est lloviendo. Por tanto,
me perder el concierto".

TABI,A XII

Smbolo Significado

Pr Esta proposici6n es cierta porque su

ponemos que es cierta.

T Esta proposici6n es cierta porque es

una t;utologa, y las tautologas siem
pre son ciertas.

L 3 Esta propos1cn es cierta porque es

lgicamente equivalente a la propo
sici>n 3 ,

MP 6, 8 Esta proposicin e cierta porque es

tamos aplicando modus ponens a las
proposicincs 6 y 8

Lo que ahora quenmos 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 REGLAS DE INFERENCIA

nemas son ciertas. Primero, hagamos un convenio acerca de denomina

ciones de Jos distintos enunciados.

R representa a "est lloviendo" o "llueve".

H representa a "estar en casa".
e representa a "me perder el concierto".

Lleguemos, a continuacin, hasta el asunto de perder el concierto. Ha

remos esto a travs de una serie de pasos enumerando algunas proposiciones
ciertas y las razones por las que son ciertas.

l. R -. H. Este enunciado es cierto porque suponemos que es cierto.

2. H -. C. Este enunciado es cierto porque suponemos que es cierto.
3 . R. Este enunciado es cierto porque suponemos que es cierto.
4. H. Este enunciado es cierto porque estamos aplicando el
modus ponenr a lo. enunciados 1 y 3.
5. c. Este enunciado es cierto porque estamos aplicando el
modus poncnr a los enunciados 2 y 4.

He aqu ahora la misma argumentacin usando Jos smbolos de la tabla

XII.
l. R -. H . Pr
2. H -. c. Pr
3. R. Pr
4. H. MP 1, 3
5. c. MP 2, 4

En ambas formas los pasos hacen posible desarrollat una derivacin

l6gica formal de la verdad de e, dada }a Yeracidad de R H, H e y R.
He aqu otro ejemplo, ste rdativo a Jos nmctos naturalt>s.
"Si x > 3 y x < 5, entonces :e = 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 x es mayor que 3 y menor que 5. Queremos IIC'gar a la
conclusin que x es 4. Empleemos estos smbolos:

..4 : x > 3.
B: x < 5.
C; X = 4.

Aqu est la argumentacin.

1 . (A & B) -. C. Pr
2. A. Pr
 MODUS lOLLENS

3. B. Pr
4. A (B C) . L 1 (Vase esto en la tabla.)
5. B C. MP 4, 2
6. c. MP 5, 3

El lector debe examinar algunas veces este ejemplo hasta estar seguro
de que sigue perfectamente toda la argumentaci6n. 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 ha hecho uso de la regla 2 sobre tautologas, vere
mos cmo usamos tal regla un poco ms adelante. Se incluy aqu para dar
una presentacin completa.

Grupo de ejercicios 4
Dgase si cada una de las conclusiones es o no vlida empleando el modu;
ponens.

l . 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 ca de
una escalera.
4. Si voy de tiendas, comprar un sombrero. Comprar un vestido azul si
compro un sombrero. Voy de tiendas. Luego compro un vestido azul.
5. Manifistese la argumentacin que pruebe que )a conclusin en el ejerci
cio 1 es vlida.
6. Proporcinese la argumentacin que pruebe que la conclusin del ejer
cicio 4 es vlida.

odwtollegs
El nombre ms largo para esta regla es el de modus tollendo 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 tennina, mira en una y otra habitacin y descubre
42 REGLAS DE INFERENCIA

que su padre se ha ido. Sin mirar 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
ma que sigue :
R: Llueve.
H: Pe1manecer en casa.

Implicadn: R _, H
Observacin: 1 H
Coneluin: 1 R

El esquema formalizado presenta, pues, dos premisas. Una 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
IQ
por tanto : 1 P
Esta argumentacin est ntimamente relacionada con el modus pone11s.
Consideremos la tabla de verdad para 1 Q _, 1 P. (Vase la tabla XIII.)

TABLA XIII
p Q -, Q -, P I Q I P
V V F F V

V F V F F

F V F V V

F F V V V

Pero esta es exactamente la tabla para P -:, Q (pg. 3 1 ) . Por tanto,

P _, Q y 1 Q 1 P son lgicamente equivalentes, y podra procederse :t
una derivacin formal como sigue ;
L p _, Q. Pr
2. I Q. Pr
3. 1 Q I P. L
4. I P. 1P 3, 2

Acerca de esta nueva forma, podemos decir que el modus to/lf.ns nos
ahorra dos pasos al precio de tener que recordar otra regla de inferencia.
Nosotros adoptaremos aqu el modus tolle.11s como un tipo de argumento y
lo representaremos en las derivaciones formales por ":r...1T".
 MODUS TOLlENS 43

Ensayemos una ligeravariacin del modus tollens. Un profesor dice :

"si no termina su proyecto, le dar una calificacin baja''. El estudiante
obtiene una buena calificacin. De donde conc.luimos que termin su pro
yecto. Usando smbolos, el razonamiento es el que sigue :

P: El c'tudiante te rmina su p royecto.

G: El profesor le da una calificacin baja.

l . ' p G. Pr
2. G. Pr
3. 1 1 P. MT 1, 2
4. P. L 3

La anterior derivacin nos muestra el resultado de tener un antece

dente que era ya una negacin La primera conclusin es una negacin
.

doble. La reemplazamos, como lgicamente equivalente, por el enunciado

dire.cto.

Grupo de ejercicios 5

Dgasc, por medio del uso del modus tollens, si cada una de las conclu
siones es o no correcta.
l . Si voy a Nueva York, viajar en avin.
Estoy viajando en avin.
Por tanto, no estoy yendo a Nueva York.

2. Si 110 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 cnfctmo.
Lu'go estoy en el trabajo .

4. Si no estoy enfermo, l'ntonces no tomar mi medicina.

Tomo mi medicina.
Luego estoy enfermo.

5. Prubese la validez de la conclusin del ejercicio 1.

6. Pmbese la validez d{' la conclusin del ejercicio 2.

44 COMO CONSTRUIR NUESTRAS PROPIAS REGLAS DE INFERENCIA

COMQmNR'!IRf>!'lf&RASeppg!AREGLA
QE INFERENCIA
Hay muchas otras de las llamadas reglas. Sera 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 :

l. Comprubese que el argumento realmente trabaja con enunciados o

proposiciones como unidades. La operacin aritmtica 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 mortales; luego S
crates es mortal. Fonnalmente esto es anlogo a : Scrates E hom
bres. Hombres e mortales. Luego, Scrates E mortales) .

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 MP o MT.

4. Comprubt>se si se puede introducir una tautologa o no, que pu'da

poner el argumento en forma ms estndar.

Veamos algunos ejemplos. Supongamos que tenemos P & Q y queremos

usar ambos, P y Q. 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 palabrll5 "naturalmente"
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, esto es una tautologa. Ya tenemos ahora todo listo :

l. P & Q. Pr
2. (P& Q) P. T
3. P. MP 2, 1

Esto es suficiente para mostrar lo que queremos decir al afinnar que

se pueden construir reglas propias de inferencia sin nece!idad de hacer una
argumentacin fonnal al respecto.
 PRUEBA CONDICIONAl. 45

He aqu dos ejemplos ms.

a) Hoy es viernes o sbado.

No es sbado.
Luego es viernes.
El esquema es
PVQ
Q
p
b) Si aqu llueve, entonces est nevando en las montaas.
Si nieva en las montaas, entonces voy a ir a eaquiar.
Luego, ai llueve aqu, entonces voy :1 esquiar.

El esquema es

Grupo de ejercicios 6
Hgase el esquema de cada uno de los siguientes argumentos:

l . 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 ]a conclusin del ejercicio 1 ?

4. Es vlida l a conclusin del ejercicio 2 ?

eruebasppdjdsnal
He aqu una muestra de argumentac1n dehberadamente complicada:
Si el comit adopta el plan A, entonces, si el gobernador asiste, se cambiar
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:
46 COMO CONTRUIR NUESTRAS PROPIAS REGLAS DE INFERENCIA

A: El comit adopta el plan A.

G: El gob ernador a!iste.
L Secambiar la ley.
H: La comisin d e carreteras puede fundnar.

La marcha dd argumento es la siguiente :

A ( G L"i
H \! A ,
G
por tanto =--j L
Cmo t('.nemos que derivar la conclusin de las premisas? Parece que
se presentan obstculos, porque la nica cosa obvia por hacer es reemplazar
-, 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 A.
J. H. Pr
2. A (G L) . Pr
3. H A. Pr
4. G. Pr
5. A. MP 3, 1
6. G L. MP 2, 5
7. L. :;\.fP 6, 4
Al aadir H a la lista de las presunciones, probamos L. Es decir, dadas
las premisas y supon1endo tambin H, deducimos L. Pero cul es la dife
rencia entre el ltimo enunciado y decir que, dadas las premisas, H impHca
L? Esencialmente ninguna. Cuando hacemos un enunciado como ''o la
comisin de carreteras no puede funcionar o deb" adoptarse el plan A"1 es
dc.cir, H V A, la hiptesis de que es posible que funcione la comisi(m de
carreteras (H) est implcita. Si no fuese este: el caso, la pr<misa (oH
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 Q puede
de-ducirse de un conjunto de premisas y una premisa partcu
i
lar P, entonces P Q puede deducirse de las otras premisas
solas.
 PRUEBA CONDICIONAL 47

As pues, si queremos probar una implicacin, es una prctica estndar

a.adir a las premisas el antecedente de la implicacin, y tratar de deducir
de todo ello el consecuente.
Como regl a 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
merar los componentes separadamente. Si el resultado a probar tiene la
forma de una implicacin, agrguese su antecedente a las premisas. lntn
tese derivar a continuacin el consecuente por MP y MT.
Probemos con otro ejemplo bastante complejo: 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 Sarn tiene
un alib, Jorge es inocente. Luego, si Juan no est implicado, Jorge es

inocente.
Todo claro? Quiz no, as es que vamos a dejar a un lado las palabras
y a meter Jos smbolos. Entonces podremos ver con claridad.

W: El testigo est diciendo la verdad.

S: Sam tiene un alibi.
C: Hny una conspiracin.
J: Juan est complicado.
0: Jorge es inocente.

La forma del argumento, es la siguiente:

ws
J,V V C
e J
s e
-. a
Reemplacemos ahora w V e por -, w e, de acuerdo con nuestro SIS
tema estndar, y agreguemos -, ] a las premisas.

l. -J. Pr
2. w s. Pr
3. -, w e. Pr
4. e . Pr
s. s c. Pr
6. -, c. MT 4, 1
7. -, -, w. 1:T 3, 6
8. w. L 7
9. S. :\fP 2, R
10. c. MP 5, 9
8 COMO CONSTRUIR NUESTRAS PROPIAS REGtAS DE INFERENCIA

Hemos derivado el consecuente G de la premisa -J y las otras premisas.

..
.Esto es lo que necesitbamos.

Grupo de ejercicios 7
l. Encuntrense los errores en la siguiente derivacin.

l. A B. Pr 6. D. MT 5, 4
2. C V D. Pr 7. D. L 6
3 . D B. Pr 8. B. MP 3, 7
4. -. c. Pr 9. -, A. MT 1, 8
5. C -+ -, D. L 2

2. Corrjanse los errores en la derivacin del ejercicio 1 y Jlguese despus

a la misma conclusin.

Neaasiones, contrarresprocas y recprocas

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, PV Q y
" "
P Q. Comencemos con y y "o". Consideremos la afirmacin
Pedro vendr y Quintin vendr.

Podra pensarse que negar esto es simplemente cuestin de negar ambas

proposiciones simples:

Pedro no vendr y Quintn no vendr.

Pero si sometemos estas proposiciones a las evaluaciones de una tabla de

verdad, obtenemos la tabla XIV.

TABLA XIV

1' Q 1' &: Q -, P -, Q - P & - Q

V V V F F F

V F F F V F

F V F V F F

F F F V V V

P: Pedro vendr. -,p: Pedro no vendr..

Q: Quintin vendrA. 1Q: Quinn no vendr.
 NEGACIONES, CONTRARRECIPROCAS Y RECIPROCAS

Al observar las columnas 3 y 6 es posible que nos sorprenda encontrar que

P & Q y -, P & -, 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 ( -, P V -, Q), entonces P & Q es falsa. Lo
anterior nos conduce a someter a la prueba de las tablas de verdad a P & Q
y -, P V 1 Q. (Vase la tabla XV.)

TABLA XV

1' Q. /'& Q -, 1' -, Q. -, P v -, Q.

V V V F F F

V F F F V V

F V F V F V

F F F V V V

Si, como antes, inspeccionamos las colwnnas 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 & Q) y -,p V
-, Q es un hecho.
Esto nos lleva a pensar que corno
-, (P & Q) ;;;;:;: -, p y -, Q,
podra ser que el esquema fuera el mismo para la negaci6n de una compo
sicin con "o". Es decir, podra ser que

-, (P y Q) = -, P & -, Q,
Un ejemplo de esto sera
No es cierto que o Pedro vendr: o Quintn vendrol,
y
Pedro no vendr y Quintn no vendr..

La tabla de verdad para estas proposiciones se muestra en la tabla XVI.

TABLA XVI

p Q PvQ -- P -, Q ..., 1' & ..., Q

V V V F F F

V F V F V F

F V V V F F

J> F F V V V
50 COMO CONSTRUIR NUESTRAf) PROPIAS REGLAS DE INFERENCIA

Como al 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 -, P & Q.
Las proposiciones de equivalencia lgica,
-, (P V Q) == P & Q,
y
(P & Q) == P V Q,

se llaman leyes de De Margan. 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 Juego se reemplaza "y" por "el', y "o"
por "y".

Consideremos a continuacin esta proposicin:

Si Pedro viniera, Quintn vendra.

Cul de entre las siguientes es la negacin correcta?

l . Si Pedro viniera, Quintn no vendra.

2. Si Pedro no viniera, entonces vendra Quintn.
3. Si Pedro no viniera, entonces no vendra Quintn.
4. Si Quintn vniera, entonces Pedro no vendra.
5. Pedro vendr, pero Quintn no vendr.

Lo que queremos obtener es la negacin de P Q. Recurdese que P Q

EiEI -, P V Q. Luego -, ( P Q) == ' (' P V Q ). Apliquemos ahora las
leyes de De Morgan:
(P Q) e= -, (' P V Q) = P & -, Q == P & -, Q.
Y esta es la proposicin 5.
hay de equivocado en la proposicin 1, P Q? Vansc las
Qu
tablas XVII y XVIII 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 XVII TABLA XVIII

p 12 ..... Q. -, (1' .... Q) l' Q p -, Q 1' -+ ., Q

V V V F V V V F F
V F F V V F V V V

F V V F F V F F V

F F V F F F F V V
 NEGACIONES, CONTRARRECIPROCAS Y RECIPROCAS SI

Consideremos an otro par de proposiciones :

Si Pedro viniera, Quintn vendra,
y
Si Quintn m> \"iniera., entonces Pedro no vcndria.

Una tiene la forma P Q; la otra, la forma -, Q -, P. En qu

difieren en valor? Comparmoslas escribindolas ambas en la forma 'o":

P Q == -, p V Q.
Q - P == Q V P = Q V
Pero V es conmutativa, y Q V -, P = -, P V Q, luego

P - Q = Q - -, P.

Cuando nos sea conveniente, es pennisible dar la vuelta a cualquier

implicacin si negamos cada componente, Mencionamos esta cquh-alencia.
cuando mostramos que el MT es derivable del MP. Es en s de considerable
importancia. A 1 Q - 1 P se le llama contrarrecproca de P - Q. Es
frecuente el caso en que una de las dos expresiones parecer ms eviden
te o expresar una idea mejor que la otra, aunque las dos son 16gicamentc
equivalentes. Un caso extremo de diferencia en el modo aparece cuando
formamos la contrarrecproca de "si llueve) permanezco en casat'. La con
trarrecproca lgicamente equivalente es "si no permanezco en casa, no
Hueve".
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.

-, p p -, p p

V V Q F V Q

V F V V

p -:; Q

FIGURA 23
52 LOGICA DE PREDICADOS

Formemos las recprocas de las sib'Uicntcs tres proposiciones:

l. Si un nmero es un mltiplo de 4 entonces es un mltiplo de 2
.

2. Si llueve, me quedar en casa.

3. Si x < y, entonces y > x.

Se tiene:

l . Si un nmero es un mltiplo de 2, entonces es un mltiplo de 4

2. St me quedo en casa, llover.
3. Si y > x, entonces JC < y.

La observacin de que los valores de verdad de las propos1C1oncs ( l ) y

( 1 *) y de las proposiciones (2) y (2* son diferentes [ aunque los valores
par-a (3) y (3*) son iguales] , nos dice que, en general, nunca debemos
mC7.< lar una proposicin y su recproca, aunque haya casos, como sucede
en la proposicin ( 3 1 , en donde ello no importe.
Resumamos la situac.i6n :

lmplieacin: P-Q
Contrarredproca: -, Q - r P (16gicamente equivalente a P-,) Q l
Recproca : Q -:> P (no lgicamente equivalente a P Q)
Negacin: P & -, Q

Grupo de ejercicios 8
Formlese la negacin de cada una de las siguientes proposiciones.

) . Si voy al centro, me comprar un sombrero nuevo.

2. Voy a comer y al teatro .
3. Voy a ir a la playa o a la montaa.
4. Si no me doy prisa, llegar tarde.
5. Juan ir si voy yo.

Fomlillcnsc las rrcpro<:as de:

6. La implicacin del ejercicio l .
7 . L a implicacin del ejercicio 4.
8. La implicacin del ejercicio 5.

LOGICA DE PREDICADOS

Trm inosy0redjsades
Hata el m omc.nto, 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 O.

El nmero 3 es un nmero natural.
Luego 3 es mayor que O.
Ningn perro tiene seis patas.
Rover es un perro,
Luego Rove.r 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 vista 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.
Hasta este momento ha sido posible. explicar las palabras y las estruc
turas de las proposiciones en este estudio comparando su uso con 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".
La forma habitual de describir un predicado es )a 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 mayQrt:s que O" 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 permitir 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 [trmino] ama", "x [trmino] es mayor
que 5 [trmino] ", y as por el estilo.
Necesitamos usar predicados simblicamente. Usaremos una letra ma
yscula para representar un predicado. Cuando queramos mostrar cuntos
trminos pueden estar implicados, pondremos )etras minsculas tales como
X o y a su derecha. Si e 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 XIX
54 lOGICA OE PREDICADOS

aparece una breve lista de algunos ejemplos de este simbolismo que usare
mos n las pginas que siguen.

TABLA XIX

Predicado
Predicado Significado y Significado
trmino

e es un nmero natural Cx x es un nmero natur.ll

e; es mayor que Gxy x es mayor que y
R arre de prisa Rb Rernardo corre de prisa
z es mayor que c.ero Zy '1 es mayor que cero
D s un perro Dx x es un perro
L tu:ne seis patas Lx x tiene seis patas

Xtcsc que los nombres comunes y las descripciones, como distintos de los
nombres propios, fonnan parte de Jos predicados. Un predicado puede
tener o no tales nombr<'s comunes. "Bernardo corre de prisa" tiene "corre
de prisa'' como predicado.
Al simbolizar proposdones, usaremos con frecuencia letras lllnsculas
para representar a los trminos. Por Pjemplo, si R rtpre!enta '\orrc do
prisa", podrnmos poner b por Bernardo, y abrt\viar la sentencia escribiendo
Rb. Sirmpre guardaremos a x, y y .! para uso general, sin <'mbargo, y nunca
las usaremos como trminos particu1ams. Si en alguna ocasin tuvisemos
una proposicin, por ejemplo, "Jcrjes corre de prisa encontraramos alguna
''

letra. por ejemplo, e, para representar a "Jerjes", y CSCJibiramos : Re.

Grupo de eercicios 9

Usando letras maysculas apropiadas por los predicados y h:tras mi

nsculas por los trminos, simbolcese cada una de las siguientes propo
siciones :

l. .\ es igual a y.
2. Rovcr tiene cuatro patas.
3. Bonita da leche.
4. Pussy beb' kche.
 CUANTIFICADORES 55

Q.!gqtjfjcgdgres
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: es un nmero natural
Z: es mayor que cero
D : es un perro
L: tiene seis patas
r: Rover
e: 3

Lo que ahora necesitarnos es alguna forma de decir "todos los nmero&

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

La 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. UsarC.lliOS d smbolo ( V x) para cualesquiera
de las siguientes e.xpresioncs:
Para todo x
Para cada x
Todo .
Todo
Reconsideremos nuestros dos argumentos en forma simblica:
( 'lr;/ .\' ) (Cx Zxi
---------- -
Ct
Zt
y
(Vy) (Dy Ly)
Dr
Lr
Estos parecen, c.-ccepto por un detalle de menor cuanta, exactamente
como el ya familiar modus fJonens. Entraremos en detalJe despus de
una corta discusin sobre el uso de (V x}.
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 (V .'C) Cx

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 Zx entre parntesh 1V x) ( Cx Zx} .

.

Nunca debemos usar variables que se presten a confusin. Una forma

de evitar esto es tener en cada situacin una letra diferente para cada dife
rente categora o tipo de objetos y para cada trmino.
Esto nos lleva a otra regla que necesitaremos.
RP-gla de instanciacin: en cualquier proposicin jJrecedida de
un ruantifirador universal, la variable indicada por el cuanti
ficador puede reemplazarse en toda la proposirin por cual
quier .trminc.
lndicanmos el uso de la regla de instanciacin por "I".
l . ( V :) (Cx Zx) . Pr
2. Ct. Pr
3. Ct Zt. I
4. Zt. MP :. 2
l . { V y) (Dy -, Ly) . Pr
2. Dr. Pr
3. D r 1 Lr. I
4. 1 Lr. .M P 3, 2
En otras palabras, nuestro nuevo sistema es exactamente nuestro vlCJO
sistema, una vez que prescindimos del cuantificador universal al reemplazar
la variable por un trrnino adecuado. Naturalmente, tenemos que elegir d
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".

Grupo de ejercicios 1 O

Escrbase la forma simbJica de cada uno de los siguientes argumentos.

l . 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.
 NEGACION Y EXISTENCIA 57

3. Todas las balandras tienen velas.

"Espuma" es una balandra.
Luego "Espuma" tiene velas.

4. Todo hombre fue nio alguna vel..

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

6 . Escrbase una prueba completa de l a forma simblica para el ejercicio 3 .

Neggdpvexistegsq
Debemos tener sumo cuidado con el uso de los negativos eu conc:xin
con los cuantificadores. Consideremos, por ejemplo, estas proposiciones:

l. No todos los hombres son loco$.

2. Ningn hombre es un loco.

La proposicin ( 1 ) es, evidentemente, la negacin directa de la propo

skjn "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 proposic:.in ( 1 i o a 1a 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 x es un hombre, entonces x no es un loco". Es decir, coloca
mos la ncgacin 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 x) ( -, (Mx & Fx) ) , como puede ver el lector
en la tabla XX.

TABLA XX

Mz Fo: lit.:& F:x: Fz M" -. -, Fz (Md e Fz)

V V V F F F

V F F V V V

F V F F V V

F F F V V V
58 LOGICA Oc PREDICADOS

Qu hay acerca de ( V x) (' (Mx Fx) ) ? Se leer ms fcilmente

esto si recordamos )a fonna de negar una implicacin: V x (Mx & --, F:).
"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" :

-, ( 'V x) (Mx -, Fx) o -, ( V x) (-, (Mx & Fx) ) .

La combinacin simblica -, (V x) -, recibe un smbolo especial 3 (x) 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,

( 3x) (Mx & Fx)
se lee ''hay una x que es a la vez un hombre y un loco", o "para alguna
x, x es a la vez un hombre y un loco", o ''algunos hombres son locos".

Grupo de ejercicios 1 1
Escrbanse las proposiciones en espaol que son las negaciones de las
siguientes :

l. Todos los gatos son blancos.

2. Algunos gatos son blancos.
3. Ningn gato es blanco.
4. Ningn gato es no blanco.
5. Usando smbolos convenientes, exprsese cada una de las anteriores
proposiciones y su negacin.

-- oo--

Para lecturas posteriores

Entre los varios libros valiosos que tratan el tema que aqu hemos
introducido, uno es el EjrrfCBUT!GinMqthepefical Logic de Patrick
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, Massachusctts 02117.
 RESPUESTAS A LOS EJERCICIOS

Grupo de ejercicios 1 (pg. 28)

l. Llueve y no me voy.
2. Si no viene, yo voy.
3. Cuando hace calor, llueve.
4. O hace calor o llueve.
5. No es el caso de que llueva y no vaya yo. (Mejor: 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 s.i no llueve.
9. Hace calor y llueve ; yo voy, pero l viene.
1 O. O yo voy, o l viene, pero no ambas cosas.
11. F ---"' -, H.
12. G H.
13 . (E & -, F) ( G V H ) .
14. F E.
15. E V G.
16. i E i F.
17. H G V E.
18. x es mayor que 5 y x es par.
19. Si no ocurre que x es par y x es menor que 3, entonces x es un ml
tiplo de 4.
20. Si x no es me.nor que 3 o x es un mltiplo de 4, entonces x es mayor
que 5.
21. Si x no es par y x es menor que 3, entonces x no es un mltiplo ge
4 o x es mayor que 5.
22. Si no ocurre que x sea mayor que 5 o que x no sea par, entonces x es
menor que 3 .
23. x no e s menor que 3 y .t: no es u n mltiplo de 4.
24. Si no ocurre que x es par y que .:.: es mayor que 5, entonces x no es un
mltiplo de 4.
25. Si x es un mltiplo de 4, entonces no ocurre que x sea mayor que 5
o que x sea menor que 3.
26. Si :>:: es un mltiplo de 4 o x no es par, entonces x es mayor que 5 o x
no es menor que 3 .
59
60 RESPUESTAS A lOS EJERCICIOS

Grupo de ejercicios 2 (pg. 35)

Si las tablas bsicas se ordenan en la misma forma que las tablas que
preceden inmedjatamente al conjunto de ejercicios, los resultados son:

p Q n 1. 2. 3. 4. 5. 6. 7. . 8.

V V V V V V V V V V V

V V F V V V V F F V V

V F V V V V V F F V V

V F F F V V V F F F V

F V V F V V V F F F V

F V F F F V V F F F F

F F V F F V V F F F F

F F F F F F f F F F F

9. Las proposjciones 1 y 7, 2 y 8, 3 y 4, 5 y 6.

Grupo de ejercicios 3 (pg. 37)

l. p Q -, P (! -, r Q l' ... i-, /' ... Q:t

V V F V V V

V F F F V V

F V V V V V

F F V F :; V

2. p Q P& Q I' & Q - >1'

V V V V

V F F V

F V F V

:: F F V

1' Q -, P I' & Q ....., 1'& Q) 1' ... - (1' & Ql

V V F V F V

V r F F V V

F V V F V V

r f V F V V
 RESPUESTAS A LOS EJERCICIOS 61

4. /' 1'& Q l' v Q (P & Q.l (P v Q.)

a. -+

V V V V V

V F F V V

F V F V V
F F F F V

Grupo de ejercicios 4 (pg. 4 1 }

l. S
2. No
3. No
4. S
5. S : nieva; G: esquiar.
1. s G. Pr
2. S. Pr
3. G. MP 1, 2
6. S: voy de compras ; H: comprar un sombrero; D: comprar un traje
azul.
1. s H. Pr
2. H D. Pr
3. S. Pr
4. H. MP 1, 3
5. D. MP 2, 4

Grupo de ejercicios 5 (pg. 43)

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

l. N P. Pr
2. P. Pr
3. --, N. )..{T

6. H: me pelo ; S: me quedo en casa.

1 . H s. Pr
2. S. Pr
62 RESPUESTAS A LOS EJERCICIOS

3. -, I H. MT 1, 2
4. H. L 3

Grupo de ejercicios 6 (pg. 45}

l. p -. Q
Q
-, p
2. -, p -, Q
Q
p
3. S
4. S

Grupo de ejercicios 7 (pg. 48)

l. Los pasos 5 y 6 son equivocados.
2. Lo siguiente es correcto:
l. A -)o B. Pr
2. C V D. Pr
3. D -)o -, B. Pr
4. -, c. Pr
5. -, c D. L 2

6. D. MP 5, 4
7. -, B. MP 3, 6

8. l A, 1\fT 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 montaa.
4. No me estoy dando prisa, pero no llegar tarde.
 RESPUESTAS A LOS EJERCICIOS 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.

Grupo de ejercicios 9 (pg. 54)

l . E : es igual a ; Exy.

2. F: tiene cuatro patas; Fr.

3. M : d a leche; Jfb.

4. D: bebe leche; D>.

Grupo de ejercicios 1 O (pg. 56)

l. C: es un gato; W : tiene bigotes; t: Tobas.

( V x) (Cx-'> Wx)
Ct
Wt
2. S : es sbado; N : es un da en que duermo hasta el medioda ; t: hoy.

( V x) (Sx Nx)
St
Nt
3. S : es una balandra ; H : tiene velas ; s: "Espwna".
( V x) (Sx Hx)
Ss
Hs
4. M : es un hombre; B : fue nio ; s: el seor Garca.

( V x) (Mx -+ Bx)
Ms
Bs
5.
l. (V x) ( Cx -+ Wx) . Pr
2. Ct. Pr
3. ce ...., wt. 1 1
4. Wt. MP 3, 2
64 RESPUESTAS A LOS EJERCICIOS

6.
l. (V x) (Sx Hx) . Pr
2. Ss. Pr
3. Ss Hs. 1 1
4. Hs. MP 3, 2

Grupo de ejercicios 1 1 (pg. 58)

l. A1gunos gatos no son blancos.
2. Todos Jos gatos no son blancos ; o, ningn gato es blanco.
3. Algunos gatos son blancos.
4. Algunos gatos no son blancos.
5. Cx: >.. es un gato; Wx: x es blanco.

( 1 ) (\/ .xi (Cx Wx) , ( 3 x ) ( Cx & -, Wx) .

(2) ( 3 x) (Cx& Wx), ( V x) (Cx -" ' Wx).
(3) (V x'1 (Cx 1 Wx), ( 3 x) ( Cx & Wx ) .
(4) ( \l x) ( Wx Cx) ( 3 x ) ( Cx & - , Wx) .

Estaofml tennin6 d imPrimirse tJ dla 20 de junio

de 1972, m los tall#res de Offset Rtbostl, S. A.,
Zocahui/l(.CO No. 40, Col. Portales, Mb.ie<1. D. F.

Se lirariin2.(}()() l#mJ>lars
j
mds soranl1s de re/)osici6t
(National Council of Teachers of
Mathematics) que esta serie de cuadr
nos p\leda auxiliar tanto a los maestros
en su ctedra, como a los alumnos en su
aprendizaje.

Titulas que componen esta coleccin:

l. Conjuntos
2. Nl,lmeros 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. Sitemas 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
l2. Lgica
13. Grficas, relaciones y funciQnes
14. Geometria informal
15. Medida
16. Recopilacin, orgnizacin e
interpretacin de datos
17. Sugerencias para resolver problemas
18. Simetra, congruencia y semejanza

OTRO TTULO

.
Manual de lgica rara
etttudiantetJ de matemticat
.
(;unzalo Zuhieta Rutd
Ea una valiosa ayuda para la mejor eompreniin
del lenguaje matemtico. OCrece a loa estudiantes
de mnti:mticaa, el material que nec:ea1tan sobre
tcnici111 de orden lgioo del manejo d,l len1U1j
e
matemtico, eJ empleo de mtoc;loa eficacee de
raonmiento, etc., ya que mucha. de la ditlcul
t.ade11 CCI.n que 'tropiezan ae deben 11 ha Cliltll de
familiaridad con todos eato& factore11.