Explora Libros electrónicos
Categorías
Explora Audiolibros
Categorías
Explora Revistas
Categorías
Explora Documentos
Categorías
IRVIIMC3 M . C O P I
University of Hawaii
VIGÉSIMA REIMPRESIÓN
MÉXICO, 2001
fax pedidos:
(015 ) 561 4063 * 561 5231
e-ffiail:
infoQpatrtaeultural.com .m x
home page:
http://www.patri scu ttural.com, mx
Traducción:
Andrés Sestier Boulier, M. en C.
Lógica simbólica
Derechos reservados respecto a la edición en español;
© 1979, Irving M. Copi/Macmillan Publishing Co.
© 1979, Compañía Editorial Continental, S.A. de C.V.
© 2000, GRUPO PATRIA CULTURAL, S.A. de C.V.
bajo el sello de Compañía Editorial Continental
Renacimiento 180, Col. San JuanTlihuaca
Delegación Azcapotzalco, C.P. 02400, México, D.F.
ISBN 968-26-0134-7
Impreso en México
Printed in México
I. M. C.
Indice de M aterias
Ca p . P ág .
Prefacio.................................................................................. 7
Introducción:
La Lógica y el Lenguaje
y conclusión en el argumento
Todos los animales son mortales.
Todos los hombres son animales.
Luego, todos los hombres son mortales.
Toda proposición puede ser premisa o conclusión, dependiendo del
contexto. Es una premisa cuando se presenta en un argumento en
el que se le supone para demostrar alguna otra proposición, y es
una conclusión cuando se presenta en un argumento que se pre
tende la demuestra basándose en las otras proposiciones que se
suponen.
Es costumbre distinguir entre argumentos deductivos e induc
tivos. En todos los argumentos se pretende que las premisas propor
cionan algún fundamento para la verdad de sus conclusiones, pero
sólo en un argumento deductivo se pretende que sus premisas pro
veen un fundamento absolutamente concluyente. Los términos téc
nicos “válido” e “inválido” se usan en lugar de “correcto” e “inco
rrecto” al caracterizar los argumentos deductivos. Un argumento
deductivo es válido cuando sus premisas y conclusión están relacio
nadas de modo tal que es absolutamente imposible que las premisas
sean verdaderas, amenos que la conclusión lo sea también. La tarea
de la lógica deductiva es la de aclarar la naturaleza de la relación
que existe entre premisas y conclusión en un argumento válido, y
proporcionar las técnicas de discriminación entre los válidos y los
inválidos.
En los argumentos inductivos sólo se pretende que sus premisas
proporcionan algún fundamento para sus conclusiones. N i el tér
mino “válido” ni su opuesto “inválido” se aplican con propiedad a los
argumentos inductivos. Los argumentos inductivos difieren entre sí
en el grado de verosimilitud o probabilidad que sus premisas con
fieren a sus conclusiones, y se les estudia en la lógica inductiva.
Pero en este libro nos ocuparemos solamente de los argumentos de
ductivos y usaremos la palabra “argumento” en referencia exclusiva
a los argumentos deductivos.
Podemos ver que aunque tanto las premisas como la conclusión son
verdaderas, es un argumento inválido. Su invalidez se hace obvia al
compararlo con otro argumento de la misma forma:
Si Rockefeller es presidente, entonces es famoso,
Rockefeller no es presidente.
Luego, Rockefeller no es famoso.
AXAXAXAXAXAXAXAXAXAXAXA-BXBXBXBXBXBXB
más breve e inteligiblemente como
A 12 = B 7
V ~v
T F
F T
Cuando dos enunciados se combinan disyuntivamente insertando
la palabra “o” entre ellos, el enunciado compuesto que resulta es una
disyunción (o alternación) y los dos enunciados así combinados se
llaman disyuntos (o alternativos). La palabra “o” tiene dos sentidos
diferentes, uno de los cuales es la clara intención en el enunciado
"Se perderá derecho a recompensas en caso de enfermedad o desem
pleo”. Aquí la intención es obviamente cancelar el derecho a premios
no sólo para las personas enfermas y las personas desempleadas
sino también para las personas que están enfermas y desemplea
das. Este sentido de la palabra “o” se denomina débil o inclusivo. En
donde la precisión sea esencial, como en los contratos y otros docu
mentos legales, este sentido se hace explícito usando la frase “y/o”.
Es otro el sentido de “o” que se intenta dar en el menú de un
restaurante escribiendo “té o café”, queriendo decir que por el precio
estipulado el cliente puede tomar café o té pero no ambos. Este
segundo sentido de “o” es llamado fuerte o exclusivo. En donde la
precisión es esencial y se quiere dar el sentido exclusivo a la palabra
“o” suele agregarse la frase “pero no ambos”.
Una disyunción que usa el “o” inclusivo afirma que por lo menos
uno de los enunciados disyuntos es verdadero, mientras que una
disyunción que use el “o” exclusivo afirma que por lo menos uno de
los disyuntos es verdadero, pero no ambos son verdaderos. El signi
ficado común parcial, que al menos un disyunto es verdadero, es el
significado todo de una disyunción inclusiva y parte del significado
de una disyunción exclusiva.
En latín la palabra “vel” expresa el sentido inclusivo de la pala
bra “o” y la palabra “aut” expresa el sentido exclusivo. Es costumbre
usar la primera letra de “vel” para simbolizar “o” en su sentido in
clusivo. Si p y q son dos enunciados cualesquiera, su disyunción débil
o inclusiva se escribe p v q. El símbolo "v” , denominado una cuña
(o una v e), es un conectivo de función de verdad y se define por la
tabla de verdad siguiente:
V 9 P v<7
T T T
T F T
F T T
F F F
Un argumento qué obviamente es válido y contiene una disyun
ción es el siguiente Silogismo Disyuntivo:
Las Naciones Unidas serán reforzadas o habrá una tercera guerra mundial.
Las Naciones Unidas no serán reforzadas.
Luego habrá una tercera guerra mundial.
Es evidente que un Silogismo Disyuntivo es válido en cualquiera de
las interpretaciones de la palabra “o” , esto es, sin atención a que su
primera premisa afirme una disyunción inclusiva o exclusiva.
Es usualmente difícil, y a veces imposible, descubrir cuál es el sen
tido de la palabra V ' que se intenta dar en una disyunción. Pero el
argumento válido típico que tiene una disyunción como premisa es,
como el Silogismo Disyuntivo, válido en cualquier interpretación
de la palabra “o” . Por lo tanto, efectuamos una simplificación al
traducir cualquier ocurrencia de la palabra “o” en el símbolo lógico
V — sin atención al sentido que se quiera dar a "o”— . Desde luego,
en donde se establezca explícitamente que la disyunción es exclusiva,
usando la frase adicional "pero no ambos”, por ejemplo, tenemos el
aparato simbólico para simbolizar este sentido, como se explicará
más adelante.
El uso de los paréntesis, corchetes y llaves para la puntuación de
las expresiones matemáticas es familiar. La expresión “6 + 9 -h 3”,
no determina un número único, aunque si la puntuación aclara
cómo agrupar los números que la constituyen, denota 5 o 9. La
puntuación es necesaria también para resolver la ambigüedad en el
lenguaje de la lógica simbólica, porque los enunciados compuestos
son susceptibles de combinaciones para formar enunciados más com
plicados. Hay ambigüedad en p ■q v r, que podría ser o la conjun
ción de p con q v r, o por otro lado, la disyunción de p * q con r. Estos
dos sentidos diferentes los dan sin ambigüedad las puntuaciones di
ferentes : p • (q v r ) y (p • q ) v r. En el caso en que p y q sean falsos
ambos y r verdadero, la primera expresión puntuada es falsa (pues
su primer enunciado conjunto es falso), pero la segunda expresión
puntuada es verdadera (pues su segundo enunciado disyunto es ver
dadero). Aquí, la diferencia de puntuación hace toda la diferencia
entre verdad y falsedad. En la lógica simbólica, como en las mate
máticas, usamos paréntesis, corchetes y llaves para la puntuación.
Sin embargo, para reducir el número de signos de puntuación re
queridos estableceremos el convenio simbólico de que en cualquier
expresión la tilde se aplicará a la componente más pequeña permitida
por la puntuación. De este modo, la ambigüedad de -—p v q, que
podría significar o ( ^ p ) v q o ~>(p v q ), queda resuelta por nuestro
convenio para significar la primera de éstas, pues la tilde puede (y
en consecuencia por nuestro convenio lo hace) aplicarse a la pri
mera componente p y no a la expresión más larga p v q.
La palabra “either” tiene varios usos en inglés.* Tiene fuerza
conjuntiva en “The Disjunctive Sillogism is valid on either interpre-
tation of the word “ ‘or’ Con frecuencia sólo sirve para introducir el
primer enunciado disyunto de una disyunción, como en "Either the
United Nations will be strengthened or there will be a third world
war”. Tal vez la función más útil de la palabra “either” sea la de
puntuar algunos enunciados compuestos. Así, en la oración
More stringent antí-pollution mea sures will be enacted and the laws will
be strictly enforced or the quality o f life w ill be degraded still further.
E J E R C I C I O S 1
2. ~~A v ~ X 12. X v [ A - ( Y v B ) ]
3. — B — Y 13. {~[~-(A X) A] •~ X }
4. ~(B*Y) 14. [ ~ ( A • ~ B ) ■— A ] • ~ A }
* 5. A v ( X - Y ) *15. [(A-X)v ~ f l] - ~ [ ( A - X ) v ~ B ]
6. ( A v X ) * Y 16. [ ( X * A ) v -— Y ] v — [ ( X * A ) v ~ ~ Y ]
9. ( A * X ) v (B* Y ) 1 9 . [ X * ( A v B) ] v ~ [ ( X v A ) • ( X v B) ]
III. Usando mayúsculas para abreviar los enunciados simples, simbolizar los
siguientes enunciados:
EJERCICIOS
(1) U\ W
Tiene la forma • •^
(2) p vq
:.q
■■q
construimos la siguiente tabla de verdad:
p q pvq ~~p
T T T F
T F T F
F T T T
F F F T
V D 9 V D 9
q y
:.p .'.~~q
v q p D q ~<7
T T T F F
T F F F T
F T T T F
F F T T T
Las dos premisas en la Falacia de Afirmación del Consecuente en
cabezan las columnas segunda y tercera, y son verdaderas en el
primer y en el tercer renglón. Pero la conclusión, que encabeza
la primera columna, es falsa en el tercer renglón, lo que muestra
que la forma de argumentar tiene una instancia de sustitución con
premisas verdaderas y conclusión falsa y, por lo tanto, es inválidk.
Las columnas tres y cuatro son las encabezadas por las premisas
en la Falacia de Negación del Antecedente, que son verdaderas en
los renglones tercero y cuarto. Su conclusión encabeza la columna
cinco y es falsa en el tercer renglón, lo que muestra que la segunda
forma argumental también es inválida.
Hay que recalcar que aunque una forma de argumento inválida
tiene sólo argumentos válidos como instancias de sustitución, una
forma de argumento inválida puede tener instancias de sustitución
válidas tanto como inválidas. Así que para demostrar que un argu
mento dado es inválido hay que demostrar que la forma específica
de ese argumento es inválida.
EJERCICIOS
I. Para cada uno de los argumentos siguientes indique cuál de las formas
de argumento del Ejercicio II a continuación tiene a este argumento como
instancia de sustitución, 7 también indique cuál es su forma específica,
si alguna lo es:
*a. A f. A Í D ( N D O ) k. ( A D B ) - ( C D D )
. Av B O D AvC
O D — N . B v D
b. C ’D g. ( P D ^ ) - ( ñ D S ) 1. ( E D F ) - ( G D H )
C :.P D 9 v —G
~ £ v ~~H
c. E D (F-G) h. T D 1/ m. / D J
~ (F *G ) D ( I D C / )v(V -r) (/ D /) D (/ D })
d. H i. W D X n. K D ( L D M )
I .’ . X O (W D X) K D L
fC D JW
*e. JD(K-L) *]. Y v (Z — Y) o. ^ D ( N D O )
/ v (ÍC •L) y N D N
K 'L -(z --y ) : j d o
•'•9d P .\9 P
14. p D (7 D r) ‘ ‘ ‘ Í9 P)
T.pD, p Dq 2L ( P v 9) D ÍP-9)
. d —p :.pD , H pví)
• ■ (p *9)
in. Use tablas de verdad para determinar la validez o invalidez de cada uno
de los siguientes argumentos:
*1. Si Alicia es elegida presidenta de grupo, entonces o Bety es elegida
vicepresidenta o Carolina es elegida tesorera. Bety es elegida vice
presidenta. Por lo tanto, si Alicia es elegida presidenta del grupo,
entonces Carolina no es elegida tesorera.
2. Si Alicia es elegida presidenta del grupo, entonces o Bety no es ele
gida vicepresidenta o Carolina es elegida tesorera. Carolina no es
elegida tesorera. Por lo tanto, si Bety no es elegida vicepresidenta,
entonces Alicia no es elegida presidenta del grupo.
3. Si Alicia es elegida presidenta del grupo, entonces Bety es elegida
vicepresidenta y Carolina es elegida tesorera. Bety no es elegida vice-
presidenta. Por lo tanto, Alicia no es elegida presidenta del grupo.
4. Si Alicia es elegida presidenta del grupo, entonces si Bety es elegida
vicepresidente, entonces Carolina es elegida tesorera. Bety no es
elegida vicepiesidenta. Por lo tanto, o Alicia es elegida presidenta
del grupo o Carolina es elegida tesorera.
*5. Si el catálogo de semillas es oorrecto, entonces si las semillas se
siembran en abril, entonces las flores se abren en julio. Las flores
no se abren en julio. Por lo tanto, si las semillas se siembran en
abril, entonces el catálogo de semillas no es correcto.
6. Si el catálogo de semillas es correcto, entonces si las semillas se
siembran en abril, entonces las flores se abren en julio. Las flores
se abren en julio. ,Por lo tanto, si el catálogo de semillas es correcto,
entonces las semillas se siembran en abril.
7. Si el catálogo de sem illas es correcto, entonces si las semillas se
siembran en abril, entonces las flores abren en julio. Las semillas
se siembran en abril. Luego, si las flores no se abren en julio, en
tonces el catálogo de semillas no es correcto.
8. Si el catálogo de semillas es correcto, entonces si las semillas se
siembran en abril, entonces las plantas florecen en julio. Las plantas
no florecen en julio. Luego, si las semillas no se siembran en abril,
entonces el catálogo de semillas no es correcto.
9. Si Eduardo gana el primer premio, entonces o Federico gana el se
gundo o Jorge queda decepcionado. O Eduardo gana el primer premio
o Jorge queda decepcionado. Luego, Federico no gana el segundo
premio.
*10. Si Eduardo gana el primer premio, entonces o Federico gana el se
gundo premio o Jorge queda decepcionado, Federico no gana el
segundo premio. Por tanto, si Jorge queda decepcionado, entonces
Federico no gana el primer premio.
11. Si Eduardo gana el primer premio, entonces Federico gana el segundo
premio, y si Federico gana el segundo premio, entonces Jorge que
da decepcionado. O Federico no gana el primer premio o Jorge queda
decepcionado. Por tanto, Eduardo no gana el primer premio.
12. Si Eduardo gana el primer premio, entonces Federico gana el segundo
premio, y si Federico gana el segundo premio, entonces Jorge queda
decepcionado. O Eduardo gana el primer premio o Federico no gana
el segundo premio. Por lo tanto, o Federico no gana el segundo pre
mio o Jorge no queda decepcionado.
13. Si el tiempo está agradable y el cielo claro, entonces vamos a nadar
y a pasear en bote. N o es el caso que si el cielo está despejado
entonces vamos a nadar. Por tanto, el tiempo no está agradable.
14. Si hace una temperatura agradable, y el cielo está despejado, en
tonces o vamos a nadar o a pasear en bote. N o es verdad que si el
cielo está despejado, entonces vamos a nadar. Por lo tanto, si no va
mos a pasear en bote, entonces no hace una temperatura agradable.
*15. Si el tiempo está agradable y el cielo despejado, entonces o vamos
a nadar o vamos a dar un paseo en bote. N o es el caso que si no
vamos a nadar entonces el cielo no está despejado. Por lo tanto,
o el tiempo está agradable o vamos a pasear en bote.
V Vv -V
T F T
F T T
En la columna que encabeza la forma sentencial de que se trata
sólo hay valores T, luego todas sus instancias de sustitución son
verdaderas. Cualquier enunciado que es una instancia de sustitu
ción de una forma sentencial tautológica es formalmente verdadero,
y también se le llama tautológico, o una tautología.
Similarmente, aunque los enunciados “Cortés descubrió el Pací
fico” (C ) y “Cortés descubrió el Pacífico y Cortés no descubrió el
Pacifico” (C ■'-'C ) ambos son falsos, descubrimos su falsedad de
dos maneras enteramente diferentes. El primero simplemente ocu
rre que es falso y eso se descubre empíricamente; mientras que el
segundo es necesariamente falso y eso puede saberse independiente
mente de toda investigación empírica. El enunciado C ■ es for
malmente falso, es una instancia de sustitución de una forma
sentencial cuyas instancias de sustitución todas son falsas. Un enun
ciado se dice que contradice, o que es una contradicción de otro
enunciado, cuando es lógicamente imposible que ambos sean verda
deros. En este sentido la contradicción es una relación entre enun
ciados. Pero hay otro sentido, relacionado del mismo término.
Cuando es lógicamente imposible que un enunciado particular sea
verdadero, ese enunciado mismo es llamado autocóntradictorio o
una autocontradicción. Más simplemente, se dice que tales enun
ciados son contradictorios o contradicciones, y ésta es la terminolo
gía que aquí usaremos. Una forma sentencial que sólo tiene ins
tancias de sustitución falsas se dice que es una contradicción o
que es contradictoria, y los mismos términos se aplican a sus ins
tancias de sustitución. La forma sentencial p • ^ p se prueba que es
una contradicción por el hecho de que en su tabla de verdad sólo
hay valores F en la columna que encabeza.
Enunciados y formas sentencíales que no son ni tautológicas ni
contradictorias se dice que son contingentes o que son contingen
cias. Por ejemplo, p, ^ p , p v q , p - q y p D q son formas sentencíales
contingentes; y B, C, ^ B , ^ C , B • C, B v C , son enunciados contin
gentes. El término es apropiado, pues sus valores de verdad no están
formalmente determinados, sino que son dependientes o contingen
tes de la situación.
Fácilmente se demuestra que p D ( q D p ) y ^ p D (p D q ) son
tautologías. A l expresarlas en lenguaje ordinario como “Un enun*
ciado verdadero es implicado por cualquier enunciado” y como “Un
enunciado falso implica cualquier enunciado” parecen bastante ex
trañas. Algunos escritores las han llamado las parodojas de la im pli
cación material. Pero si se tiene presente que el símbolo herradura
es un conectivo de función de verdad que representa la implicación
material y no la “implicación en general” o clases más usuales como
son la implicación lógica o la implicación causal, entonces dichas
formas sentencíales tautológicas no son sorprendentes en lo abso
luto. Y al corregir esas engañosas formulaciones del castellano in
sertando la palabra “materialmente" antes de “implicado” e “implica” ,
entonces desaparece el aire paradójico. La implicación material es
una noción técnica y la motivación del lógico al introducirla y usarla
es la enorme simplificación que resulta en su tarea de discriminar
entre los argumentos válidos y los inválidos.
Dos enunciados se dicen materialmente equivalentes cuando tie
nen el mismo valor de verdad, y simbolizamos el enunciado de que
son materialmente equivalentes insertando el símbolo “W ’ entre
ellos. Tratándose de un conectivo de función de verdad, el símbolo
tres barras se define con la siguiente tabla de verdad:
p 9 p= q
T T T
T F F
F T F
F F T
Decir que dos enunciados son materialmente equivalentes es decir
que materialmente el uno implica el otro, como es fácil de verificar
con una tabla de verdad. Así, el símbolo de las tres barras puede
leerse “es materialmente equivalente con” o “si y sólo si”. Un enun
ciado de la forma p = q se llama bicondicional. Dos enunciados
se dicen lógicamente equivalentes cuando el bicondicional que ex
presa su equivalencia material es una tautología. El “ principio de la
Doble Negación” , expresado como p = '—'—p, con una tabla de ver
dad se demuestra que es tautológico.
Hay dos equivalencias lógicas que expresan importantes interre-
laciones de las conjunciones, disyunciones y negaciones. Como una
conjunción afirma que sus dos conyuntos son verdaderos, su negación
sólo necesita afirmar que uno de los conyuntos es falso. Luego, negar
la conjunción p • q equivale a afirmar la disyunción de las negacio
nes de p y q. Este enunciado de equivalencia se simboliza como
- ' ( p - g ) = ( ^ p v ^ 7) y se demuestra que es una tautología me
diante la tabla de verdad:
p q p*q "-q ~~p v ~~q (p*g) = ( ~ p v
T T T F F F F T
T F F T F T T T
F T F T T F T T
F F F T T T T T
De maneta semejante, como una disyunción meramente afirma que
al menos un disyunto es verdadero, negarla es afirmar que ambos
son falsos. Negar la disyunción p v q equivale a afirmar la con
junción de las negaciones de p y q. Se simboliza como ^ ( p \ q ) =
(s-'p • q ), y con una tabla de verdad fácilmente se prueba que es
una tautología. Estas dos equivalencias se conocen como Teoremas
de De Morgan, por el lógico matemático inglés Augustus De Morgan
(1806-1871), y en lenguaje ordinario pueden enunciarse de manera
j r j i Tconjunción "i
compendiada como: La negación de la < > de dos enun-
Cdisyunción J
—
(P q) (~ P V
q)
F T T T T F T F F T
T T F F T F T T T F
T F F T T T F T F T
T F F F T T F T T F
(1) (2) (3) (4) (5) (6) (V) (8) (9) (10)
E JE R C IC IO S
*1. p D p 6 . ( p mq ) D p
2. (p D — p ) - ( ~ p D p ) 7 . (p D q) D [ ~- í q' r) D ~ »(r p )]
3. p D (p D p) 8 . ( ~ p - q ) - ( q D p)
4. (p D p) D p 9 . [(p D q) D q ] D q
*5 . p D (p - p ) 10 . [(p D q) D p] D p
n. Use tablas de verdad para decidir cuáles de las siguientes son equivalen
cias lógicas:
q\ s
Estas nueve reglas de inferencia son formas válidas elementales
de argumentos cuya validez fácilmente se establece mediante ta
blas de verdad. Pueden usarse para construir pruebas formales de
validez para una amplia clase de argumentos más complicados. Los
nombres de la lista son estándar en su mayor parte, y el uso de
sus abreviaciones permite presentar las pruebas formales con un
mínimo de escritura.
E J E R C I C I O S
*1. (A D D D) 9. ( F D ~ C ) 3) ( ~ / / v - / )
: , A D - B F D ~ G
.'. -//v
2. E 3 *10. [-~(J-K) D - L ] - ( M D ~~N)
(E D ~ ~ F ) v ( ~ G D H)
.'. —L v —-N
3. (/ = —/ ) - ( / = —/) 11. O D ~ P
/=-/ —p d q
.\(O D - P ) - ( - P D g)
4. K v ( L v M) 12. (—íí = S) v (T v C7)
. [ K v ( L v M ) ] v [ K v ( L v M) } (— fí = S) /
T v (7
II. Cada una de las siguientes es una prueba form al de validez para el ar
gumento indicado. Enuncie la “ justificación,> de cada renglón que no
sea una premisa:
*1. 1. ( A-B) D [A D ( D- E) ] 5. A
2. {A-B)-' C / / . D v E 6. D- E
3. A- B 7. D
4. A D ( D- E) 8. DvE
2. 1. F v ( G v H) 7. - A v - C
2. ( GDI ) - ( HDJ ) 8. ~ C
3. ( I v J ) D ( F v H ) 9. ~ ( £ - F )
4. ~~F /. . H
5. G v H 7. 1. ( G D H ) D (1 = 1)
6. / v / 2. K v — (L D M)
7. F v H 3. (G D H ) v ~~K
8. H 4. N D (LD Ai)
5. - ( * = = / ) / .\ ~ N
3. 1. /£ D L 6. ~ ( G D H )
2. M D N 7.
3. ( O D ^ ) f D L) 8. - * - ( L D M )
4. (~iV v v '--O) 9. — N
/ . '. ( - O v - P ) - ( - M v - K )
5. ( M D N ) m( K D L ) 8. 1. ( O D ~ P ) - ( ~ g > D fl)
6. — i V v — L 2. ( S D T ) - ( ~ ~ U D — V)
7. ~~A/ v 3. (— P D S ) - ( f l D
8. — O v — P 4 . ( 7 1v — V ) 3 (W -X)
9. ( - O v - P ) - ( - M v - K ) 5. O v ~ Q /:. w - x
6. - P v f l
4. 1. P D (i¡ D S) 7. S v — U
2. ( f l D S ) D T 8. T v — V
3. (S* (7) D - V 9. W -X
4. ~ V D (fl — ~~W)
5. ~ r v ~(fl = ~ W ) 9. 1. [(A v —B) v C ] D [ D D ( E = F)}
2. ( A v - B ) D [ ( F = = G ) D //]
6. pD r
//. ~ g v ~ ( s - i/ )
3. A 3 [(£ = F) D (F = G)]
8 . [<? D T ] - [ ( S - C 7 ) 3 ( f l = -W )] 5. A v — B
9. ~ ~ g v ~(S-C0 6 . ( A v — B) v C
7. D D (E = F)
*5. 1. ( ~ X v - Y ) D [A D (? • ~ £ ) ] 8. ( E ~ F ) D (F = G)
2. ( — X — Jl ) D [ ( P — p ) D Z] 9. D D ( F ~ G )
1 0. ( F = G) D H
3. ( ~ X - ~ f l ) * ( — Z v A )
11. D D H
/.'.A D Z
4. ~ X •~ fl
5. (P— 0 D Z
*10. 1. H D (J D /)
6. ~ X 2. K D ( I D J)
3. ( ~ H - ~ ~ K ) D ( ~ L v — M )
7. ~Arv — Y
4. ( ~ L D ~¿V)-(~M D — O)
8. A D ( P - — 9 )
5. (P D D O)
9. A D Z
6. — (1 D J ) / . — P v — Q
0. 1. A D B 7.
2. C D D 8.
3. — B v ~ D 9.
4. ~~-A 10. — L v ~ Vf
5. (E*F) D C ~(£-F) 11. — N v — O
6. ( A D B ) * ( C D D ) 12. - P v - <?
III. Construir una prueba form al de validez para cada uno de los siguientes
argumentos:
- L - —K . . -fí v
4. M D A7
9. V D W
A7 D O
X D Y
(M D O) =) (_¿V D f; z 3 w
D A
Vvfl [(D v £) v F] D (G v H)
■ '• - T v —U (G v H) D ~~D
6. A D (fl*C) E D ~G
~ A D [(£> D E ) ‘ (F D G)] B
( B ' C ) v [( ~ A D D )*(~ A D F)] H
IV. Construir una prueba formal de validez para cada uno de los siguientes
argumentos, utilizando las abreviaciones que se sugieren:
EJERCICIOS
2. ( - E v F ) - ( C v - f í ) 4. M D ~(jV v —O)
:.(ED F ) - ( G v - t f ) MD ——O)
*5. [ F D ( p v R ) ] v [ P D ( p v R ) ]
P D (Q v R)
6. [S-(T- C/)J D ( V = " - W)
t(s-r)-c/] d (v = ~w)
7. [X -(Y -Z )] D (A = ~ B )
.• J D [(y - Z )D (A = ^ ]
8. (C -—D) D (E = ~~F)
.\<C— D) D [ ( £ . ~ F ) v < ~ £ - ^ ~ F ) ]
9. (G v H ) - ( I v J )
:.[(G v f í)- / ]v [(G v J / )- / ]
*10. (K -L) D {A f-[(W -0 )*P ]}
.\ (K - L ) D {M -[(0 - N )- F ]}
11. - ( ( ? v ~ [ ( f l — S )*(T v — L7)]}
.\ ~ {0 v [~ (fl — S )v - (T v - t/ )]}
12. — V D { W D [ ~ ( X - Y ) D ~~Z]}
. ’ . ~ V D {[W - ~ (X - Y )] D ~ Z }
13. [A v (B v C)] v [(D v D) v E]
[A v (B v C )]v [D v (D v £ )]
14. (F D G )*{[(G 3 H ) ' { H D G)] D ( H D /)}
: . ( F D G ) '( ( G - / Í ) D ( / / D / ) }
*15. /== ~ {[(íC — L) v L) v —Ar]}
II. Cada una de las siguientes es una demostración formal de validez para
el argumento indicado. Enunciar la “justificación” para cada renglón
que no sea una premisa.
'1. 1. ( A v B ) D ( C - D ) 2. 1. (E-F)-G
2. ~C / . ’. —B 2. (F = G) D ( f/vJ) /. . I v H
3. ~ C v ~~D 3. E-(F-G)
4. ~ ~ (O D ) 4. (F-G )*£
5. — (AvB) 5. F-G
6. —A*—B 6. (F*G) v (—F *—G)
7. ~~B— A 7. F ~ C
6. ~~B 8. H v /
9. I v H
1. ( J - K ) D L 5. ( C - C ) D ~ D
2. ( / D L ) D M 6. C D ~ D
3. v N /:. K D (M-N) 7. - C v - D
4. ( K- J ) D L 8. ~ ( C - D )
5. K D (} D L) 9. ( C - D ) v ( — C - - D )
6. K D M 10. ~~C— D
7. — K v M
8. 1. F -(F vG )
8. ( ~ ~ K v M ) - ( ~ ~ K v N )
2. (E*G ) D
9. — K v ( M * A 7)
3. ( - / / v — /) D (F -F )
10 . K D (M*N)
/ .'.
1. ( O D — P) ’ { P D Q) 4. ( £ > G ) D ( — //■— / )
2. Q D O 5. — (//•/) D — ( E ’ F )
3. ~ R D ? R 6 . ( E ' F ) D (H - I )
4. v O 7. [(£*F) D ( íí-7 )]-[(£ -G ) D ( ~ H /)]
5. O v - ( ? 8. ( £ * F ) v ( £ • G )
6. ( 0 D ~ P ) * ( ~ p P -F ) 9. ( / / * / ) v ( — / / • — /)
7. - P v — F 10 . / / = /
8. — F
9. 1. / v ( ~ f C v /)
9. ------- R
2. K v (— / v K ) / / . (/-K )v(~ ~ /-~ ÍC )
10. R
3. K v / ) v /
1. S D ( T D U) 4. - K v ( / v / )
2. U D — 17 5. — K v /
3. (V D S ) ' ( W D T) V D 6. K D }
4. ( S - T ) D U 7. (~ /v/C )vK
5 . — 17 v — U
8. — / \ ( K v K )
6. — U 9. — / v K
7. — (S * T )
10. J D K
8. - S v - T 11. (JD K)-(K DJ)
9. — V v ~~\ V 12. ] ~ K
10. V D ~ w 1 3 . ( J ' K ) v (— /■ — fC)
l . X D ( Y D Z ) 10 . 1. ( L v M ) v ( N - O )
2. X D ( A D B) 2. ( - L * 0 ) - ~ ( — L - M ) / .'. — L - N
3. X - ( Y v A ) 3. ~ L -[0 -~ (~ L -M )]
4. ~ Z /:. B 4. - L
5. (X -Y) D Z 5. L v [ M v ( N * 0 )]
6. ( X - A ) D B 6. M v ( N - O )
7. ( X - Y ) v ( X - A ) 7. ( A i v A 7) * ( M v O )
8. [ ( X - Y ) D Z ] - [ ( X - A ) D B] 8. A i v A 7
9. Z vB 9. -L -(M v N )
10. B 10 . ( - L - M ) v ( - L - i V )
1. C D (D D ~ C ) 11. — (~ L -M )-(~ L *0 )
2. C = D /:. — C — D 12 . ~ ~ ( ~ L * M )
3. C D ( ------- C D — D ) 13. — L 'N
4. C D ( C D — D)
III. Construir una demostración formal de validez para cada uno de los ar
gumentos siguientes:
*1. — A 2. C
A D B : . D D C
3. E D ( F D G) (0 = P) D ( Q- R)
. ' . F D ( E D G) ( L v K ) D (fl- 0
4. H D (/■/) 14. S D T
: . h d i SvT
*5. K D L T
. . K D (L v M ) *15. U v V ) ' ( { ! v W)
-X 3 —w
O
n
6.
.’ . V v X
( N- P) D O
16. A D ( B D C)
7. ( Q v R) D S
C D ( D' E)
Q D S
A D (B D D)
8. T D — ( U D V)
17. E D F
: . t D U
G D F
9. w d (x * — y) .'.(EvG) D F
W D (Y D X)
18. [ ( H' I ) D J ] - [ ~ ~ K D ( / • - / )]
‘ 10. A D —(B Z> C) H D K
( D' B) D C
D
19. [L * (M v N) ] D (M - N )
—A
. ■. L D ( M D N)
11. £ D F
ED G
/. E D ( F ' G)
20. O D (P D Q)
12. H D ( l v j ) F D ( Q D R)
—/ O D ( P D R)
.'.HDJ
21. (S D T ) ' ( U D V)
13. ( K v L ) D — ( M ‘ N) W D ( S v U)
(■--'Ai v — TV) D ( 0 ~ F ) W D ( T v V)
IV. Construya una demostración formal de validez para cada uno de los
siguientes argumentos, utilizando en cada caso la notación sugerida.
EJERCICIOS
~p = 2 - p
p ’q — máx(p, q)
pvq = m ín(p, q)
p D q = m ín(2 - p, q)
p= q — m áx(m ín(2 — p, q), inín(2 — q, p))
(1) P D (A D C )
es una tautología. Si podemos deducir la conclusión A D C de las
premisas conjuntas en P por una secuencia de argumentos válidos
elementales, habremos así demostrado la validez del argumento y
que el condicional asociado ( 1) es una tautología. Por el principio
de Exportación, ( 1 ) es lógicamente equivalente a
(2) (P-A) D C
A D (B D C )
B D (C D D )
.‘ . A D ( B D D )
será una demostración de validez para
AD (BD C)
BD(CDD)
A
:.B D D
y como el último tiene una conclusión condicional, se le puede dar
una demostración condicional demostrando la validez de
A D ( B D C)
B D ( C D D)
A
B
d
Cada uso del método condicional debiera ser señalado con una diago
nal adicional y un signo “por lo tanto”, además de la notación
“ (C.P.)*- La demostración sugerida se escribiría:
1. A D (BD C )
2. B D (C D D) / / .A D ( B D D)
3. A /.'. B D D (CP.)
4. B /.'.D (C.P.)
5. BDC 1,3, M.P.
6. C 5,4, M.P.
7. CD D 2,4, M.P.
8. D 7,6, M.P.
La regla de Demostración Condicional es una genuina contribu
ción a las herramientas de demostración de las Secs. 3.1 y 3,2. No
solamente permite construir demostraciones más breves de la validez
de los argumentos, validez que podría demostrarse haciendo llamado
a las diecinueve Reglas de Inferencia exclusivamente, sino que tam
bién nos permite establecer la validez de argumentos válidos cuya
validez no podría demostrarse con referencia a la lista original sola.
Por ejemplo, en la Sec. 3.4 se demostró que el argumento obviamente
válido
ADB
.‘.A D ( A’ B)
no se puede demc/strar utilizando la lista original de diecinueve Re
glas tan sólo. Pero se le demuestra fácilmente usando, además, la
regla de Demostración Condicional. Su demostración condicional de
validez es
1. A D B f . ' . A D (A-B)
2. A //.A-B (C.P.)
3. B 1,2, M.P.
4. A' B 2, 3, Conj.
EJERCICIOS
1. A D {B'C)
2. (B v D) D E
3. D vA .E
4. —E I.P. (Demostración Indirecta)
5. ~~(B v D) 2, 4, M.T.
6. ~~B-~~D 5, De M.
7. —D — B 6, Conm .
8. 7, Simp.
9. A 3, 8, D.S.
10. B 'C 1,9, M.P.
11. £ 10, Simp.
12. ~ B 6, Simp.
13. B ' —B 11, 12, Conj.
El renglón 13 es una contradicción explícita, luego, la demostración
es completa, pues la validez del argumento original se sigue por la
regla de Demostración Indirecta.
Es fácil demostrar que de una contradicción es posible deducir
válidamente cualquier conclusión. En otras palabras, cualquier argu
mento de la forma
P
1. A v ( B - C ) 4. (M v N) D (O F )
AD C (O vQ )D (~~R S )
C ( R v T ) D (M- U)
2. (D v E) D (F D G) *5. ( v d —w )*(x d y)
(~~G v H) D (Z>F) (~ W D Z )*(Y D — A)
G (Z D — B)*(~~A D C )
v-x
E J E R C I C I O S
*1. P D (Q D P)
2. [P D (Q D H)] D [(P D £>) D (P D K)]
3. [P D (Q D fí)] D [Q D (P D R)]
4. (P D 0 D ( - Q D ~ P )
*5. — P D P
0. P D — P
7. ( A D B) D [(B D C) D (A D C)j
8. [(A D B)-(A D C)] D [A D (B v C)]
9. [(A D B)*(A D C)] D [A 3 (B-C)]
*10. (A D B) D [A D (A-B)]
11. (A D B) D [(~ A D B) D B]
12. (A D B) D [(A-C) D (B-C)]
13.[(A D B) D B ] D {AvB)
14. ( B D C ) D [(A v B) 3 (C v A )]
*15. [A D (B*C)] D {[B D (Z>£)] D (A D D )}
16. [(A vB ) D C] D ( [ ( C v 0 ) D E) D (A D £ )}
17. [(A D B ) D A ] D A
18. PD (P'F)
19. (P-Q) D P
20. ( P D ^ ) D H ( < ? * H ) = » H B - F ) ]
II. Con el método de demostración indirecta verifique que las siguientes san
tautologías:
*1. (A D B) v (A D —B)
2. (A D B) v (~~A D B)
3. ( A D B ) v ( B D A)
4. (A D B) v (B D C)
*5. (A D B) v (~~A D C)
0. A v (A D B)
7. p = = _ ~ p
8. A = [A *(A v B)]
9. A = [A v (A ■B)]
10. ~ [(A D ~ A ) - ( ~ A D A)]
E J E R C IC IO S
E J E R C IC IO S
(x)Mx
y como
Existe cuando menos un x tal que Mx.
(3ac)[fíac*Mac]
E JE R C IC IO S
EJERCICIOS
2. (x)[Cx D D x] 6. (x)[¿Vx D O x ]
(x)[Ex D — D x ] (x)[Px D Ox]
. ( x)[Ex D — Cx] W p iv P x ) D Ox]
4. ( x) [ I x D Jx] 8 . ( x ) [ S x D ( T x D (7x)j
Ox)\Ix'~~Jx} ( x ) [( 7 x D ( V x * W x ) ]
. \ ( x ) [ J x D Jx] . ' . ( x ) [ S * D ( T x O Vx )]
9. ( x ) [ ( X x v Yx) D ( Z x - A x ) ]
(x )f(Z x v A x ) D (Xx-Yx)]
(x)[Xx = Zx]
fx) [ Wx D Hx]
(*)[£x O Hx]
.'. (r)[Wx D Ex]
En el caso de un modelo que contiene exactamente un individuo,
digamos a, el argumento dado es lógicamente equivalente a
Wa D Ha
Ea D Ha
Wa D Ea
que se demuestra inválido asignando el valor de vendad T a y
“Ha” y F a "Ea” . (Esta asignación de valores de verdad es un método
abreviado de describir el modelo en cuestión como uno que contiene
solamente el único individuo a que es un W (una ballena) y H (pe
sado), pero no E (un elefante ).)6Luego, el argumento original no
es válido para un modelo que contenga exactamente un individuo,
y es, por lo tanto, inválido.
Hay que enfatizar que al demostrar la invalidez de argumentos
que involucran cuantificadores no se hace uso de nuestras reglas de
cuantificación. Para un modelo que sólo contenga el individuo a
no inferimos el enunciado "Wa D Ha” del enunciado “ (x )[W x D H x ]”
por UI; esos dos enunciados son lógicamente equivalentes para ese
modelo porque en el mismo “W a D Ha” es la única instancia de
sustitución de la función proposicional “W x D Hx”.
8 A q uí suponemos que las funciones proposicionales sim ples " A x “t “ B x " , " C x ” . . . no son
ni necesarias, esto es, lógicam ente verdaderas, p ara todos los individuos (p o r ejemplo,
* es idéntico a sí m ism o), ni imposibles, esto es, lógicam ente fa lsa s para, todos los
individuos (p o r ejemplo, X es diferente de sí m ism o). T am bién suponemos que las únicas
relaciones lógicas entre las funciones proposicionales sim ples son las afirm adas o ló
gicamente im plicadas por las prem isas del argum ento que se dem uestra inválido. El
propósito de estas restricciones es perm itir la asignación arbitraria de valores de verdad
a las instancias de sustitución de estas funciones proposicionales sim ples sin Incon
sistencia, pues nuestras descripciones por modelos deben, desde luego, ser consistentes.
Puede ocurrir que un argumento inválido que involucra cuantifi
cadores sea lógicamente equivalente, para cualquier modelo que exac
tamente contenga un individuo, a un argumento válido función
de verdad, aunque será equivalente, para todo modelo que contenga
más de un individuo, a un argumento inválido función de verdad.
Por ejemplo, consideramos el argumento.
Todas las ballenas son pesadas.
Algunos elefantes son pesados.
Por lo tanto, todas las ballenas son elefantes.
(x)[Wx D Hx]
(3 x )[E x -H x ]
. ’ . (x)[ W x D Ex]
Wa D Ha
E a 'H a
.'. W a D Ea
que es válido. Pero para un modelo que consiste en los dos indivi
duos a y i? es equivalente a
(Da-Pa)v(Db-Pb)
(D a'Sa ) v (D b'Sb )
. ‘. (Pa • Sa) v (Pb ■Sb)
Ac ( x)[Mx D — Fx]
Be 7. (x)[£>x D ( K x - S x ) ]
(x)[Ex D Fx] 8. ( x ) [ U x D ( V x D W x } ]
(x)[V x D ( U x D ■
— W x )]
(x)[G x D Fx]
(3x)[Ux'Wx]
. \ ( x ) [ E x D Gx]
( 3 x ) [ U x * Vx]
( x ) [ H x D — l x]
9. ( 3 x ) [ X x ' Yx]
(3x)[]x‘ l x]
(x)[X x 3 Zx]
( x ) [ H x D Jx]
(3x)[Z x-~ X x]
( 3 r ) [ X x ‘ Lx] .\ (3 *)[Z x * ~ rx ]
*1. Todos los astronautas son valientes. Jaime es valiente. Luego Jaime
es un astronauta.
2. Ningún vaquero es un novato. Bill no es un novato. Luego, Bill es
un vaquero.
3. Todas las siemprevivas son fragantes. Algunos árboles de chicle no
son fragantes. Luego, algunas siemprevivas no son árboles de chicle.
4. Todos los paganos son idólatras. Ningún pagano es alegre. Luego
ningún idólatra es alegre.
*5. No hay gatitos grandes. Algunos mamíferos son grandes. Luego los
gatitos no son mamíferos.
6. Todos los novelistas son observadores. Algunos poetas no son obser
vadores. .Por lo tanto, ningún novelista es poeta.
7. Todos los hombres de estado son inteligentes. Algunos políticos son
inteligentes. No todos los políticos son inteligentes. Luego ningún
estadista es político.
8. Todos los estadistas son inteligentes. Algunos políticos son inteligen
tes. No todos los políticos son inteligentes. Luego, todos los estadistas
son políticos.
9. Todos los hombres de estado son políticos. Algunos hombres de es
tado son inteligentes. Algunos políticos no son hombres de estado.
Luego, algunos políticos no son inteligentes.
10. Los caballos y las vacas son mamíferos. Algunos animales son. ma
míferos. Algunos animales no son mamíferos. Luego todos los caba
llos son animales.
UI. Demostrar la validez o Invalidez de cada uno de los argumentos:
*1. Todos los aviadores son valientes. James es valiente. Luego James
es un aviador.
2. Todos los investigadores son joviales. Smith es investigador. Luego
Smith es jovial,
3. Ningún educador es tonto. Todos los apostadores son tontos. Luego
ningún educador es apostador.
4. Ningún historiador es analfabeto, Todos los analfabetos son margi
nados. Luego ningún historiador es marginado.
*5. Sólo los ciudadanos votan. No todos los residentes son ciudadanos.
Luego algunos residentes no votan.
6. Sólo los ciudadanos votan. N o todos los ciudadanos son residentes.
Luego algunos que votan no son residentes.
7. Los automóviles y los furgones son vehículos. Algunos autos son
Ford. Algunos automóviles son camiones. Todos los camiones
son vehículos. Luego algunos Ford son camiones.
8. Los automóviles y los furgones son vehículos. Algunos automóviles
son Ford. Algunos automóviles son camiones. Todos los vehículos son
camiones. Luego algunos Ford son camiones.
9. Los automóviles y los furgones son vehículos. Algunos automóviles
son Ford. Algunos automóviles son camiones. Algunos furgones no son
vehículos. Luego algunos Ford son camiones.
*10. Todos los tenores son u obesos o afeminados. Ningún tenor obeso
es afeminado. Algunos tenores son afeminados. Luego algunos teno
res son obesos.
11. Todos los tenores o son obesos o son afeminados. Ningún tenor
oheso es afeminado. Algunos tenores son afeminados. Luego algunos
tenores no son obesos.
12. Ningún solicitante será contratado o considerado si es o inexperi-
mentado o sin entrenamiento. Algunos solicitantes son novatos in-
experimentados. Todos los solicitantes que son mujeres se sentirán
decepcionados si no son contratados. Todo solicitante es una mujer.
Algunas mujeres serán contratadas. Luego algunos solicitantes se
sentirán decepcionados. ♦
13. Ningún candidato será elegido o llamado si es o liberal o radical.
Algunos candidatos son liberales ricos. Todos los candidatos que son
políticos se sentirán decepcionados si no son elegidos. Todo candidato
es un político. Algunos políticos son elegidos. Luego algunos candi
datos no se sentirán decepcionados.
14. Los abates y los obispos son clérigos. Ningún miembro del clero es
desaliñado o elegante. Algunos obispos son elegantes y fastidiosos.
Algunos abates no son. fastidiosos. Luego, algunos abates son desali
ñados.
15. Los abates y los obispos son clérigos. Ningún clérigo es desaliñado
y elegante. Algunos obispos son elegantes y fastidiosos. Algunos
abates no son fastidiosos. Luego algunos abates no son desaliñados.
4.4. Proposiciones Múltiplemente Generales
E JERCICIO S
1. (/*)<&/!
2. $>v 1, UI
3, (3fi)^>fi 2, EG
i.
i. 3>p
k.
k+ 1. Dp j -k , C.P.
k + 2. (*')[<!>*' D p ] k + 1, UG
k + 3. Dp k + 2, equivalencia (E)
k + 4. p k + 3, i, M.P.
La discusión precedente puede verse como proporcionando una
justificación informal para la regla de Instanciación Existencial que
ahora se puede enunciar como
El: (3/x)$/x
<t>v
sea permitida por El, porque v ( “y” ) no ocurre libre en ( “Fx • Gy” )
en todos los lugares en que ft ( “x ” ) ocurre libre en f y ( “F x • G x f);
por lo tanto, “Fx • Gj/” no es un <t>v legítimo para usarse en la apli
cación de El donde (3 / i)fy es " ( 3 x ) ( F x ■G x )” . Debiera ser obvio
que el argumento es inválido: el que una cosa sea un F y un G
claramente no trae consigo que cada cosa sea un F.
La restricción que v no ocurra libre en cualquier renglón an
terior a s>v asegura que v no ocurre libre en (3 ¿a) f y y, por lo tanto,
si v es diferente de v no ocurre libre en f y tampoco. El convenio
general nos asegura ya que no hay ocurrencia libre de fi en &v.
De modo que la restricción presente hecha sobre El junto con el
convenio general implica la restricción asociada con la equivalencia
lógica (E ) , que v ocurre libre en <í>v en todos los lugares y solamente
en los lugares en que /¿ ocurre libre en fy .
La restricción que v no ocurra libre en p sirve para evitar todo
uso (erróneo) subsecuente de la Generalización Universal para de
ducir (¿O fy como conclusión de (3 ^ ) f y como premisa que por otro
lado sería posible: porque si p se permitiese que contuviera una
ocurrencia libre de v podría ser misma, de lo que UG podría
usarse para deducir la conclusión (¿¿)fy-
La restricción que v no ocurra libre en ningún renglón anterior
a <í>v sirve para prevenir que El dé lugar a una “demostración’’ erró*
nea como
1. (x)(3y ) ( F x = ~ F y ) / .• .( 3 x )( F x = ~ F x )
2. (3i/)(Fx = ~ F y ) 1.UI
- »3 . Fx ~ —Fx (incorrecto como parte de E l)
4. (3x)(Fx = — Fx) \ EG
porque » ( “x " ) ocurre libre en el renglón 2 que precede a «&v ( “Fx <=
<~'Fx") en el renglón 3. Luego, “F x e ^ F x " no es una legítima
para usaise en la aplicación de E l donde (3/t)4>/t es “ (3 t/)(F x ss
~ F y )” . Es obvio que el argumento es inválido: falla para un modelo
que contenga cosas que son F y otras cosas que no son F, lo que
haría verdadera la premisa mientras que la conclusión es falsa
en todo modelo porque es una autocontradicción.
U G :----------
bajo la condición que d sea ana variable que no ocurre libre en ( 4»i*.)
o en cualquier supuesto dentro de cuyo alcance esté
EJERCICIOS
1. r*l. F x
2. {yWy 1, U G
3. F x D (y)Fy 1-2, C.P.
•ti
Ti
H
4. 3, U G
u
2. 1. (3x)(Fx*Gx) (3 x)Fx
r>2. F x ' C x
r*4. Fx
Fx 2, Simp.
1, 2 -3, E l
5. (3x)Fx 4, E G
7. 1. (3x)Fx
2. (3 x)G x / .\ (3 * )(F x - G x )
—~>3. F y
r»4 . G y
5. F y G y 3, 4. Conj.
6. (3 x)(F x -G x) 5, E G
7. (3 x)(F x-G x ) 2 ,4 -6 , E l
8. (3 x)(F x-G x ) I, 3-7, E l
c
1. (3 x )(F r*G x )
2. (3 * )(~ F x - G x ) / .\ (3 x )(F x - - F x )
3. F x -G y
4. Fx 3, Simp.
5. Fx 1 ,3 -4 , E l
r>6. — F x * G x
7. — Fx 6, Simp.
8. — Fx 2, 6-7, E l
9. Fx*~~Fx 5, 8, Conj.
10. (3 x ) ( F x - -Fx) 9, E G
10. 1. (x)[{Fx D Gx)— Ga) / .\ (x )~ F x
r>2. (x)[(Fx D G x)-~ G y]
3. (Fz D G z)*~ G y 2, UI
4- (y)[(Fy G y )-~ G y ] 3, UG
5. (Fu D Gu) — Gu 4, UI
6. Fu 3 Gu 5, Simp.
7. ’~~Gu‘ (Fu D Gu) 5, Conm.
8. —Gu 7, Simp.
~~Fu
9. ~F u 6, 8, M.T.
10. (x)~Fx 9, UG
11. (x)[(Fx D Gx)— Cy] D (x)~Fx 2-10, C.P.
12. (iü){(í:)[(Fx D Gx)’ ^-Gw] D (x )~ F x } 11, UG
13. (x)[(Fx D Gx)-~~Gc] D (x) ~ F x 12, U I
14. (x) —Fx 13,1, M.P.
II. Al construir una demostración formal de validez para cada > de los
argumentos que siguen, usar en cada caso la notación sugerida pi 'rando
que las fórmulas simbólicas sean tan paralelas al castellano como se t oda:
1. Ningún acróbata es torpe. Por lo tanto, si Alberto es un mesero y si
todos los meseros son torpes Alberto no es un acróbata. ( Ax , Tx,
Mx, a.)
2. Todos los perros falderos son mansos. Por lo tanto, si algunos perros
son excitables y ningún perro excitable es manso, entonces no son
perros falderos. (Fx, Mx, Px, Ex .)
3. Todos los acusados son culpables. Todos los convictos serán colgados.
Por lo tanto, si todos los que son culpables son convictos, entonces
todos los acusados serán colgados. (Ax, Gx, Cx, H x.)
*4. Si hay genios entonces todos los grandes compositores son genios. Si
alguien es temperamental, todos los genios son temperamentales. Por
lo tanto, si alguien es un genio temperamental, entonces todos los
grandes compositores son temperamentales. (G x: x es un genio. Cxi
x es un gran compositor. Px: x es una persona. T x : x es tempera
mental. )
5. Cualquier automóvil que tenga buenos frenos es seguro para el ro\i-
ductor y seguro para los pasajeros. Por lo tanto, si un automóvil es
nuevo, entonces, si todos los automóviles nuevos tienen buenos fre
nos, es seguro para el conductor. ( A x; x es un automóvil. Fx; x
tiene buenos frenos. Cx; x es seguro para el conductor. Px: x es
seguro para los pasajeros. N x : x es nuevo.)
6. O todos los invitados se divirtieron o algunos invitados disimularon
sus sentimientos. Ninguna persona honesta debiera disimular sus sen
timientos. Por lo tanto, si todos los invitados son personas honestas
entonces todos los invitados se divirtieron. ( I x : x es un invitado. Dx:
x se divirtió. Dx: x disimula sus sentimientos. Hx-. x es honesto.
Px; x es una persona.)
7. Cualquier hombre de negocios que sea un poeta debe ser rico. Todos
los hombres ricos son conservadoras. Si algún conservador no ama la
poesía entonces ningún poeta es conservador. Por lo tanto, si hay
un hombre rico que no ama la poesía entonces ningún hombre de
negocios es poeta. (N x : x es un hombre de negocios. Px: x es un
poeta. Hx: x es un hombre rico. Cxi x es un conservador. Ax: x ama
la poesía.)
*8. Todas las sustancias radiactivas o son de corta vida o tienen valor
médico. Ningún isótopo del uranio que sea radiactivo tiene una
vida corta. Por lo tanto, si todos los isótopos del uranio son radiacti
vos, entonces todos los isótopos del uranio tienen valor médico. (R x :
x es radiactivo. Sx: x tiene una vida corta. M x: x tiene valor médico.
Ux: x es un isótopo del uranio.)
9. Ningún testigo cuerdo mentiría si su mentira lo implicase en un
crimen. Por lo tanto, si cualquier testigo se implicara en un crimen,
entonces, si todos los testigos fuesen cuerdos, ese testigo no mintió.
(C x : x está cuerdo. T x : x es un testigo. Mx-. x miente, l x : x se im
plica en un crimen.)
10. Si falta alguna joya, entonces, si todos los sirvientes son honestos
será devuelta. Si cualquier sirviente es honesto todos lo son. De modo
que si falta alguna joya, entonces si al menos un sirviente es honesto,
será devuelta. (J x: x es una joya. Fx: x falta. Sx: x es un sirviente.
Hx-. x es honesto. D x: x será devuelta.)
11. Si hay liberales todos los filósofos son liberales. Si hay humanistas,
entonces todos los liberales son humanistas. Por lo tanto, si hay hu
manistas que sean liberales, entonces todos los filósofos son huma
nistas. (L x : x es un liberal. F x : x es un filósofo. Hx: x es un hu
manista. )
*12. Si algo se pierde entonces si cada cual aprecia sus pertenencias se
sabrá que se ha perdido. Si alguien aprecia sus pertenencias, entonces
todos las aprecian. Por lo tanto, si algo se pierde, entonces, si alguien
aprecia sus pertenencias entonces algo se habrá perdido. (H x : x se ha
perdido. P x : x es una persona. A x: x aprecia sus pertenencias. Mac:
x se sabrá que se ha perdido.)
i—►1. A
2. AvB 1, Ad.
3. A D (A vB) 1-2, C.P.
j->1. (x)Fx
2. Fy 1, UI
3. (3x)Fx 2, EG
4. (x)Fx D (lx)Fx 1-3, C.P.
1. ~ (3 x)~~Fx
2. -F y
r 3. (3x)~Fx
4. —Fy D (3x)-F x
2, EG
2-3, C.P.
5. Fy 4,1, M.T., D.N.
6. (x)Fx 5, UG
7. —(3x)—Fx D (x)Fx 1- 6, C.P.
Dadas las verdades lógicas establecidas por las dos demostracio
nes precedentes, las conjuntamos para obtener la equivalencia
“( x ) F x = 3 x )r-'F x ”, que es una verdad lógica ya señalada en
la Sec. 4.1. Como nuestra demostración de esta equivalencia no de
pende de las peculiaridades de la función proposicional “Fx” , la equi
valencia es válida para toda función proposicional. Y como nuestra
demostración no depende de las particularidades de la variable “x” ,
la equivalencia es válida no solamente para cualquier función pro
posicional sino también para cualquier variable individual. La forma
de equivalencia (v)<j>v = 3v ) ^ 4>v se ve así que es lógicamente
verdadera y puede agregarse a las otras equivalencias de nuestra
lista de Reglas de Inferencia. Nos permite intercambiar válidamente
( v )* v y —•( 3v ) *l>v siempre que ocurran. Esta conexión entre los
dos cuantificadores por medio de la negación se adoptará ahora
como una regla adicional de inferencia, y puede usarse al construir
demostraciones formales de validez y demostraciones de verdad ló
gica. Cuando se use así las letras “QN” (para negación de cuantifi
cador) debieran escribirse indicando el principio al que se está
recurriendo. Debiera ser obvio que las formas
-— = (3p)~~<I>v
(v)~~í>v = —(3r)í>v
= (3^)í>r
son lógicamente equivalentes entre sí y con la forma QN y, por lo
tanto, son lógicamente verdaderas.
Algunas verdades lógicas obvias se enuncian en forma simple y
con facilidad se demuestran con nuestra herramienta simbólica pre
sente. Un bicondicional lógicamente verdadero para cualesquier
fundones proposicionales "Fa" y “G xf es
[ ( x )F x - ( x ) G x ] e e ( x ) ( F x - G x )
-»• 1. (x)Fx
2. Fz 1 ,U I
3. (x)Fx D Fz 1-2, C.P.
4. (f/)[(x)Fx D Fy] 3, U G
La segunda corresponde a EG al afirmar que si cualquier individuo
dado y tiene el atributo F entonces algo tiene F. La tercera y la
cuarta correspondientes a UG y E l no son tan obvias de forma inme
diata, pero son lógicamente verdaderas y se demuestran con mucha
facilidad. Puede darse una explicación intuitiva por referencia al
general y estadista ateniense Arístides, con frecuencia llamado "El
justo". Tan sobresaliente era Arístides por su rectitud que los ate
nienses adoptaron el dicho:
Si alguien es justo, Arístides es justo.
1— 1. - ( 3 ¡ , ) [ F i , 3 (x)Fx]
2. (y)~~[Fy D (x)Fx] 1, Q N
3. ~~{Fy => (x )F x 1 2, U I
4. Fy • ~-(x)Fx 3, Im p l.
5. py 4, Simp.
6. (x)Fx 5, U G
7. (x)Fxv(3y)[Fy D (x)Fx) 6, Ad.
8. — (x)Fx 4, Simp.
9. ( 3 y)[Fy D (x)Fx] 7, 8, D.S.
10. ~ ( 3 í/)[rt/ D (x)Fx] D (3y)[Ft/ D (x)Fx] 1-9, C.P.
11. (ly)[Fy 3 (x)Fx]v(3y)[Fy D (x)Fx] 10, Im pl.
12. (3y)[Fy D (*)**] 11, Taut.
E J E R C I C I O S
1. (x)(Fx D Q) = [(3x)Fx D Q]
2. (3x)(Fx'Gx) D [{3x)Fx-(3x)Gx\
3. (x)(Fx D Gx) D [(x)Fx D (x)Gx\
*4. [(3x)Fx D (3x)Gx] D (3x)(Fx D Gx)
5. (3x)(Q D Fx) e [ ? D (3x)Fx]
6. (3x)(Fx-Q) = [(3x)F*-Q3
7. (i)(Fr v ^ ) E [(*)Fx v Q]
*8. (3x)(Fx v Q ) = [(3x)Fx v p]
9. (3i)(Fx D Q) = [(x)Fx D p]
10. (y)[Fy ^ (3x)Fi]
1 1 . (3y)[(3x)Fx D Fy]
12. [(3r)Fx v (3x)Gx] = (3x)(Fx v Gx)
13. (x)(ly)(Fx-Gy) = (3y)(x)(Fx-Gy)
14. (x)(3y)(Fx v Gy) = (3t/)(x)(Fi v Gy)
15. (x)(3y)(Fx D Gy) D [(x)Fx D (3t/)Gy]
5
La Lógica de las
Relaciones
5.1. Símbolos para las Relaciones
Relaciones como éstas que pueden darse entre dos individuos son
llamadas binarias o diádicas. Otras relaciones pueden relacionar
tres o más individuos. Por ejemplo las proposiciones
Detroit está entre Nueva York y Chicago.
Elena presentó a Juan, a María.
Norteamérica le ganó las Filipinas a España.
4. Lhd D Lht 2, U I
5. Lht 4, 1, M.P.
6. Lht D Gt 3, U I
7. Gt 6, 5, M.P.
“a atrae todo”
“todo es atraído
*a atrae algo”
"algo es atraído
“todo atrae a”
"a es atraído
Pero el problema de simbolizar se hace más complejo cuando deja
mos por completo de usar las constantes individuales y consideramos
proposiciones relaciónales que son completamente generales. Las
más simples proposiciones de esta clase son
1. Todo atrae todo.
2. Todo es atraído por todo.
3. Algo atrae algo.
4. AJgo es atraído por algo.
5. Nada atrae cosa alguna.
6. Nada es atraído por cosa alguna.
que se simbolizan con las fórmulas:
1. (x)(i/)Axt/
2. (y)(x)Axy
3. {3x)(3ij)Axy
4. {3y)(3x)Axy
5. (*)(y)~~Axy
6. (y)(x)~Axy
1. {x)(y)Axy >1.
2. ( y)Awu 1>U I *2. (3y)Awy
3. Awv 2, U I 3. Awv
4. (x)Axv 3, U G 4. (3x)Axv 3, E G
5. (y)(x)Axy 4, U G 5. (3y)(3x)Axy 4, E G
6. (x)(y)Axy O (y)(x)Axy 6. (3y)[3x)Axy 2, 3 -5 , E l
8. (3x)(3y)Axy 3 (3y)(3x)Axy
1-7, C.P.
5. (3y)Auy 1, 2-4 , E l
6. (x)(3y)Axy 5, U G
o que
Todo lo que sea de hierro es atraído por todos los imanes.
(*)(y)[My D Avx]
donde “Mx” abrevia ux es un imán” ; la segunda se simboliza
(x)[Ix D (y)(M y D Ayx]
primeramente como
( 3 x ) [ ( x es un profesional) • (x puede vencer a todos los aficionados)]
luego como
( 3 x ) { ( x es un profesional) * ( y ) [ ( y es aficionado) D ( x puede vencer
a y )J }.
(3x)[Pi-(y){Ay D Bxy)}
El mismo método es aplicable en casos más complejos en los que
se ve involucrada más de una relación. Podemos simbolizar la pro
posición
Cualquiera que prometa todo a todos está seguro de decepcionar a alguien.
(x )[(G x *M x ) 3 ( 3 í/)Fxí /]
(x)[(Bx'Mx) 3 ~ ~ (3 y)F xy]
(3 x )f [M x* ~ ( 3y)(Wy Hxy)] • (3 z)Fxz]
afirma que todas las veces en que Ricardo y Martha se separan son
veces en que Ricardo escribe a Martha. Esto se puede simbolizar
usando ‘T x ’ para “x es un tiempo (o una v e z )”, “W xyz”, para “x es
cribe a y en el tiempo 2” y “Sxyz” para simbolizar “x y y están sepa
rados en el tiempo 2”, de la forma
E J E R C I C I O S
Fórmulas
*1. (x)[Dx => ( 3 i / ) ( Y y B y x ) ]
2 - W í ( 3 i / ) ( P y - F x y ) D (z ) ( P z 3 Fxz)]
3 . ( x ) [ ( f ix - S x ) D (y)(My D ~~Gxy)]
4. (x)[(Fx'Axx) D (A g .t)]
* 5 . ( x ) [ ( P x ' Z x ) D { y ) { Uy x ) \
6. ( x ) [ H x D ( y ) ( Q y D ~ R y x )]
7. (*)[(ír-~ M rg ) D (y)(~-Nxy)]
8. ( x ) [ ( P x - ~ ~ C x x ) D [y)(Py D ~ C x y ) ]
9. (x ){C x D ( 3 y ) [ ( A y K y ) - B y x ) }
*10 . (x)[Px D ( y ) ( Q x y D O xy ) }
1 4 . ( x ) { [ P x '( y ) ( L x y D S x y ) ] 3 (3 z)(Hxz-~~Lxz)}
19 . (x ){P x D (3y)[Py{3z)(Bxzy)]}
2 1 . (x ){P x D (y )[P y 3 (í ) ( — B x z y ) ] }
22 . ( x ) { P x D ( y ) [ P y 3 ( 3 z ) ( ~ B « y ) ] }
2 3 . (x )[(M t* D x ) 3 ( y )( L xy D M y x )]
2 4 . ( x ) [ P x D ( 3 y ) ( P y X y x ) ] ‘ ( 3 u ) [ P u ‘ (v)(Pv D —Xuu)]
25. (x ){[^ x ’ (y ){[(P y *W y x ) * ( z ) ( Kyz)] D By}] D
(u){[(Ptt-Wtt*)-(ü)(Kuü)] D O u }}
II. Simbolizar las siguientes oraciones usando en cada caso los símbolos
indicados:
* 1. Los hombres muertos no cuentan cuentos. (D x : x está muerto.
M x; x es un hombre. T x : x es un cuento. Txy: x cuenta y.)
2. Un abogado que aboga por su propio caso tiene a un tonto como
cliente. ( A x: x es un abogado. T x : x es un tonto. Axy: x aboga por
el caso de y. Cxy: x es un cliente de y, )
3. Un león muerto es más peligroso que un perro vivo. (L x : x es un
león. Vx: x está vivo. Px: x es un perro. P x y : x es más peligro
so que y .)
4. Difícilmente miente una cabeza que porta corona. (M x : x míente
difícilmente. Cx: x es una cabeza. D x : x es una corona. Pxy:
x porta y.')
*5. Cada rosa tiene su espina. (R x : x es una rosa. T x : x es una espina.
Hxy: x tiene y.)
6. Cualquiera que consulte a un siquiatra debiera hacerse examinar de
la cabeza. (P x : x es una persona. Sx: x es un siquiatra. Dx: x debiera
hacerse examinar de la cabeza. Cxy: x consulta a y . )
7. Nadie aprende nada si no se lo enseña a sí mismo. (P x : x es una
persona. A xy : x aprende y. Exyz: x le enseña y a z . )
8. Dalila llevaba un anillo en cada dedo, y tenía un dedo dentro de
cada pastel, (d : Dalila. A i : x es un anillo. Dxy: x es un dedo de y.
E xy: x está en y. Px: x es un pastel. íx y : x está dentro de y.)
9. Cualquier hombre que odia a los niños y a los perros no puede «er
completamente malo. (H x : x es un hombre. N x : x es un niño. Px:
x es un perro. M x . - x es completamente malo. Oxy, x odia a y )
* 10. Cualquiera que logre algo será la envidia de todos. (P x : x es una
persona. Axy: x logra y. E x y : x envidia a y . )
11. Para pescar algún pez hay que tener alguna camada. (P x : x es una
persona. Fx: x es un pez. Cx: x es una camada. Pxy: x pesca y. Txy:
x tiene y .)
12. Todo estudiante hace algunos problemas pero ningún estudiante hace
todos los problemas. (E x : x es un estudiante. Px: x es un problema.
Hxy: x hace y.)
13. Todo concursante que conteste todas las preguntas que se le hagan
ganará cualquier premio que elija. (C x : x es un concursante. Qx: x
es una pregunta. Px: x es un premio. Cxy: x contesta y. Hxy: x se
le hace a y. Gxy: x gana y. Exy: x elige y .)
14. Todo hijo tiene un padre, pero no todo padre tiene un hijo. ( P x : x
es una persona. Hx: x es un hombre. Pxy: x es padre de y .)
*15. Una persona mantiene un estorbo si tiene un perro que le ladra a
cualquiera que visite a su dueño. (P x : x es una persona. Nx-, x es
un estorbo. Mxy: x mantiene y. D x: x es un perro. Bxy: x ladra a y.
Vxy: x visita y. Hxy: x tiene y .)
16. Un doctor que trata un paciente sin enfermedad no tiene escrúpulos.
(D x: x es un doctor. Ex: x es un escrúpulo. H x y : x tiene y. Px: x
es un paciente. Fx: x es una enfermedad. Txy: x trata a y .)
17. Un doctor que trata a una persona que tiene todas las enfermedades
tiene un trabajo que nadie le envidiaría. (D x : x es un doctor. Px: x
es una persona. Txy: x trata a y . Ex: x es una enfermedad. Hxy:
x tiene y. T x : x es un trabajo. Exyz: x le envidia a y su z.)
18. Si un granjero sólo cría gallinas ninguna de ellas pondrá huevos que
valga la pena incubar. (G x: x es un granjero. Cxy: x cría y. A x: x
es una gallina. H x: x es un huevo Pxy: x pone y. Vx-, vale la pena
incubar x .)
Al simbolizar las siguientes, usar solamente las abreviaciones: Px: x es
una persona. T x : x es una tienda. Cxyz: x compra y en z.
(3x)Fx
(x)Fx py Fx Fy
.\ F y ’
P
y después como
( x ) í ( x es una cabeza de un caballo)
D ( x es una cabeza de un animal)]
(x)[Py){Ey'Hxy) D (3y)(Ay-Hxy)]
E J E R C I C I O S
I. Construir una demostración formal de validez para cada uno de los argu
mentos siguientes:
*1- ( 3 x ) ( y ) [ ( 3 z ) A y z D A y x ]
(y)(3 z ) A y z
i^*)(y)Ayx
2 . { x ) [ ( 3 y ) B y x D (z ) B x z }
(y)(z)(flyz D Bzy)
3 . (x)(Cax D D x b )
(3 x)Dxb D (3 y)D by
(3 x)Cax D (3 y)D b y
4 . ( i ) [ E x D ( y ) ( F y D G x y )]
( 3 x ) [ F x - ( 3 í/) — G x y ]
(3 x) — F x
* 5. ( 3 x ) [ H x - ( y ) ( I y D J x y ) ]
(x)(Hx D Ix) D ( 3 y ) ( l y - ] y y )
7 . ( x ) [ M x D ( y ) ( iV y 3 O x y )]
(x )[P x 3 (y)(Oxy D Qy)]
( 3 x ) ( M x - P x ) D ( y ) ( N y D £ r/)
8. ( x ) [ ( R x * ~ S x ) D (3 { / )(T x í/ -[7 y )J
(3 x )[V x -R x -(y )(T x y D V y )]
( x )(V x D ~Sx)
(3 x )(V x-E /x)
9 . (x )(W x D X x )
(x )[(Y x -X x ) D Z x]
(x )(3 y )(Y y A y x )
(* )(tf)[(A y x -Z y ) D Z x]
(*)[(y )(A y x D W y ) D Zx]
10. (i ){[B x -(3 !/)[C !/* D [/X '(3 z )(£; i *F x2;}]] D (3 uj)G xujx }
(x )(y )(//x y D D y x )
(x )(y )(F xy D F yx)
( x ) ( íx D E x )
( x ) { B x D [[ ( 3 y ) ( C y * í / x y ) * ( 3 a ) ( / z * F x 2)] 3 (3 u )(3 iu )G x u ju ]}
II. Construir una demostración form al de validez para cada uno de los si
guientes argumentos:
Por el otro lado, una relación asimétrica es una relación tal que, si
una cosa está en esa relación con una segunda cosa, entonces la
segunda no puede estar en esa relación con la primera. Las siguien
tes frases designan varias relaciones asimétricas: “está al norte de”,
“es mayor que” y “pesa más que” . Una función proposicional “Rxy”
designa una relación asimétrica si y sólo si
(x)(y)(Rxy D *Ryx)
(* ) ( í/ ) ( z ) [ ( f i * í r % ¿ ) 3 Rxz\
Una relación intransitiva por el otro lado, es una relación tal que
si una cosa está en esa relación con una segunda, y la segunda con
una tercera, entonces la primera no puede estarlo con la tercera; las
frases siguientes corresponden a relaciones intransitivas: “es madre
de”, “es padre de” y “pesa exactamente el doble que” . Una función
proporcional “Rxy” designa una relación intransitiva si y sólo si
(x)Rxx
Por otro lado, una relación se dice reflexiva si cualquier cosa a está
en esa relación consigo misma si existe una cosa b tal que Rab o
Rba. Ejemplos obvios de relaciones reflexivas los designan las fra
ses: “tiene el mismo color de cabello que” , “tiene la misma edad
que” y “es un contemporáneo de” . Una función proposicional “Rxy"
designa una relación reflexiva si y sólo si
(x)[(iy)(R*yvRy*) 3 Rxx]
Es obvio que todas las relaciones totalmente reflexivas son reflexivas.
Una relación irreflexiva es tal que nada está en esa relación
consigo mismo. Una función proposicional “Ron/’ designa una rela
ción irreflexiva si y sólo si
(x)~~Rxx
!• (*Xy)(K*y D —Ryx)
De esta premisa es posible deducir que R es irreflexiva, es decir, que
(x ) R xx:
2. {y){Rxy D ~ Ryx ) 1, U I
3. Rxx D Rxx 2, U I
4. ~ H x x v — lixx 3, Im p l.
5. '~~,Rxx 4, Taut.
6. (x )~ flx x 5, U G
Wtd
Wdh
(x)(y)(z)[(Wxr Wyz) D Wxz]
Wth
el método de demostración de su validez es obvio, de inmediato.
Hemos dicho que el argumento “podría” enunciarse de la manera
indicada. Pero esta manera de enunciar el argumento seria más la
excepción que la regla. La manera ordinaria de proponer un argu
mento tal sería enunciar las dos primeras premisas y la conclusión
solamente fundándose en que cualquiera sabe que pesar lo mismo
que es una relación transitiva. Los argumentos relaciónales a me
nudo se usan y muchos de ellos dependen esencialmente de la tran-
sitividad o la simetría o alguno de los otros atributos de las rela
ciones que se involucran. Pero que la relación en cuestión tenga el
atributo pertinente rara vez, si acaso alguna vez, se enuncia explí
citamente como una premisa. La razón es clara. En casi todas las
discusiones se puede presuponer un gran número de proposiciones
que se suponen del conocimiento general. La mayoría de los oradores
y escritores se evitan molestias no repitiendo proposiciones bien co
nocidas y a veces tan triviales como verdaderas que de sus oyentes
o lectores puede perfectamente bien esperarse que las proveerán
por sí mismos. Un argumento que está expresado de manera incom
pleta, siendo “sobreentendida” una parte del mismo, es un entimema.
Al ser incompleto, es necesario tener en cuenta las premisas
suprimidas de un entimema cuando surge la cuestión de su validez.
En donde falte una premisa necesaria la inferencia es técnicamente
inválida. Pero si la premisa no expresada es fácil de proveer y obvia
mente verdadera con toda justicia debiera incluírsele como parte del
argumento al tratarse su apreciación. En tal caso se supone que el
que hace el argumento tenía más “en mente” de lo explícitamente
enunciado. En la mayoría de los casos no hay dificultad en proveer
la premisa tácita que el orador tenía en mente, pero no expresó. Así,
el primer modelo de argumento enunciado al principio de este
capítulo:
Alberto es mayor que Guillermo.
Guillermo es mayor que Carlos.
y
Booth mató a Lincoln.
y
Mark Twaln era Samuel Clemens.
Usándolos símbolos “g'\ “f\ “M x”, íeW x if, *WxT para abreviar “George
Eliot” , “The MUI on the Floss” , “Mary Ann Evans", “x escribió y” y
“x es una mujer", podemos formular y demostrar la validez del ar
gumento dado como sigue:
1 A q u í estamos usando las letras mu y nu p ara representar cualesquier símbolos
Individuales constaste* o variables.
1. Wgf
2. g - m
3. Wm (3x)(Wx-Wxf)
4. Wg 2, 3, Id.
5. W g* W g f 4 ,1 , Conj.
6. (3 x)(Wx-Wxf) 5, EG
Una demostración alternativa para el segundo argumento sería la
siguiente:
4. Wmf 1,2, Id.
5. W m •W m f 3, 4, C onj.
6. (3 x)(Wx-Wxf) 5, EG
Una tercera ilustración es la que provee el argumento:
Sólo un hombre calvo porta una peluca. Kaplan es un hombre que porta
una peluca. Este hombre no es calvo. Por lo tanto, este hombre no
es Kaplan.
Usando los símbolos “t", "k”, “M x“, “Bx”, W , para abreviar “este
hombre”, "Kaplan”, “x es un hombre” , vx es calvo” y “x porta una pe
luca” , podemos simbolizar este argumento y demostrar su validez
como sigue:
1. (x)[{Mx-Wx) D Bx]
2. Mk'Wk
3. ~~fít /:.‘~(t = k)
4. (Mk'Wk) D Bk 1, UI
5. Bk 4, 2, M.P.
6. ~ ( f = k) 3, 5} Id.
Esta última demostración sirve para mostrar que usamos el principio
de Identidad no sólo para inferir $v de y v « ¡i sino también
para inferir — ( v = ¿ i ) a partir de $ v y Para ser completos, y
por conveniencia incluimos en nuestro enunciado del principio de
Identidad su simetría y su reflexividad total, aunque su simetría
rápidamente se deduce de las otras propiedades. Nuestra formu
lación es
Id. <!>¿t
V — fl v = ¡i v p
/i) . . fi = v fi
1 " ------- í — ------------ — -------------9— ;----- 5J -
~ (y = .'. = pi
Oaa
que es falso porque ser más rápido que es una relación irreflexiva.
La fórmula precedente no traduce la proposición dada, sino más
bien la proposición necesariamente falsa:
Alberto está en el equipo y es más rápido que cualquiera de sus miembros.
y
María puede tolerar a cualquiera menos a Juan,
como
Ljm'(x)(x 7^/3 —Lxm )
y
~ ~ T m i ‘ (x)[(Px*x /') D Tmx]
( *)( */ ) ( *) [ ( V x ’ V y V z ) D (x = z V IJ = z V X = y)'\
(3 x )A x
(3x)(3y)[Ax*Ayx ¿ y]
Y el enunciado
Cada estado elige dos senadores.
significando exactamente dos, se simboliza usando “Sx” por “x es un
estado” , “N x” por “x es un senador” y “Exy” por “x elige y” , como
(x ){S x D (3y)(3z)[N y N z - E x y Exz' y z*
(w)[Hw D (w = x v w — y v w = z)])
La notación presente es adecuada para simbolizar enunciados arit
méticos respecto a los individuos, pero simbolizar proposiciones de
aritmética pura requiere una herramienta lógica más poderosa como
la que se sugiere en la sección siguiente.
Es muy raro que un individuo tenga dos nombres propios dife
rentes v y ¡l, de modo que ¿i = v sea un enunciado significativo e
informativo. Sin embargo, a menudo se refiere a los individuos por
medio de frases descriptivas y no por medio de sus nombres propios.
Así, cuando se ha cometido un crimen y la policía no ha encontrado
todavía al que lo cometió los periódicos no por eso quedan en silen
cio sino que se refieren al individuo en cuestión como “el secues
trador del hijo de Lindbergh” o “el conductor del automóvil desa
parecido” .
La palabra “el” (la, lo, etc.) tiene varios usos. En un sentido
tiene la fuerza de “todos” o “cualquiera”, como en "La ballena es un
mamífero”. Pero en otro sentido sirve para indicar existencia y uni
cidad, como en las frases
El autor de Fuente ove juna.
El hombie que mató a Lincoln.
La ciudad más grande de Yucatán.
y finalmente que
Tal individuo fue un genio.
1 Véase "O n Denotíng", M ind , n.s. Vol. 14 (1 905). £1 artículo d e R ussell junto con los
tratamientos alternativos debidos a G. Frege y P. F. Strawson está reim preso en la Parte
m de Contem porary Readinge in Logical Theory, editado por I. M . Copi y J. A. Gould,
N e w Y ork y London, The M ac n u lla n Company, 1967.
Las tres partes de su significado se pueden simbolizar — sin el uso
de la iota— como sigue:
( 3 x ) ( x escribió W averley)
( y ) ( y escribió Waverley D y = x )
y
x fue un genio.
Juntando estas 3 frases, se obtiene
( 1 x ) { ( x escribió Waverley) • ( y ) ( y escribió Waverley
D y = x ) • (x fue un g en io)}
Tenemos aquí una traducción simbólica del enunciado dado que no
contiene la palabra un tanto problemática “el” ni sinónimo alguno
de la misma. En general, cualquier enunciado de la forma
El tal y tal es cual y cual.
(íx)(<Í>x)
o que
(2 ) ~ ( 3 x ) { < í> x * ( f/ ) ( < í> y D p x ) * '! '* }
E J E R C I C I O S
Fx
y ( 5 ) afirma que
Todo atributo pertenece a toda cosa.
y ( 8 ) afirma que
Algún atributo pertenece a alguna cosa.
y
Algunos atributos deseables no son útiles.
y
(3F)(D F* ~~UF)
Finalmente, la proposición
Tomás tiene todas las buenas cualidades de su madre.
o como
(3x){Mxt-(y)(Myt D y — x)-(F )[(Fx-G F) D Ff])
E J E R C I C I O S
1. [(xi(F)Fx] = [(F)(x)Fx]
•2. [(3x)(3F)Fx] = [(3F)(3x)Fx]
3. [(3x)(F)Fx] D [(F)(3x)Fx]
4. [(3F)(x)Fx] D [(x)(3F)Fx]
5. [(3R)(x)(3y)Rxy] D [(x)(3i/)(3fi)flx{/]
*6. Toda relación (d iá d ica ) que sea transitiva e irreflexiva es asimétrica.
7. Todas las relaciones diádicas intransitivas son irreflexivas.
8. Cualquier relación diádica que tenga todo individuo con algún indivi
duo (o algún otro) es totalmente reflexiva si es tanto simétrica como
transitiva.
9. De la premisa “ ( x ) ( y ) { ( x = y ) ~ ( F ) ( F x = Fz/)]” (que es verda
dera por definición ), deducir que la relación de identidad es simé
trica no usando el principio Id.
*10. A partir de la misma premisa de 9 y bajo la misma restricción dedu
cir que la relación de identidad es totalmente reflexiva.
11. De la misma premisa que el ejercicio 9 y con la misma restricción
deducir que la relación de identidad es transitiva.
12. Si los círculos son elipses, entonces los círculos tienen todas las pro
piedades de las elipses.
13. Todas las relaciones (diádicas) que son tanto simétricas como transi
tivas son reflexivas.
e
Sistemas Deductivos
Un Cálculo Proposicional
Estos son los únicos símbolos que contendrá nuestro cálculo pro
posicional,2 y al demostrar los teoremas y deducir las conclusiones
de las premisas dentro del sistema deberán considerarse como
completamente no interpretados. Se puede pensar, antes de asig
narles significados, que son marcas repetibles y reconocibles y no
“símbolos” — aunque será conveniente referirse a ellos cómo “símbo
los”.
Desde luego, al establecer nuestro sistema logístico nos guiamos
por la interpretación que pensamos darle finalmente. Esta inter
pretación controla nuestra selección de símbolos primitivos, y tam
bién gobierna nuestra definición sintáctica de una “fórmula bien for
mada”. Una fórmula de nuestro sistema se define como cualquier
secuencia finita de símbolos primitivos de nuestro sistema. El con
junto de todas las fórmulas de nuestro sistema incluye secuencias
tales como:
(A)* (A)
~ (D )~ (~ )
~ ((A 1)-(C,))
B2B3A7~ ( )( )■( )
)))((
~ ((A M ~ (U )))
E J E R C I C I O S
1. (-(A ^M A ,)
2. - ( - ( ( J ^ H - ^ ) ) ) )
3. ~ ( ~ « B 2H ~ ( » 4)))
4. ~ ( ( ~ ( D 3) W ~ ( D 4)))
*5. ( ~ ( ( ~ H C 2)))* (~ ((B 3H B 3)))
6. ~ « (A )* (B )W ~ (B )))
7. ~ ( ( A H B ) H ~ ( ( A ) * ( A ) ) ) )
8. ( ~ ( ~ ( A ) ) * (B) •(C)))) ■(((~ (A )) •(B)) •(~ (C )))
9. ~ (('-*' ((A ) • -(B)))) •( ~ ( ( ~ ((B) •(C ))) •( ~ ( ~ « C ) ■(A ))))))
*10. H ( M ( A W M B ) ) ) W A ) ) - M ~ ( ( A ) - ( ~ ( B ) ) ) ) ) )
E J E R C I C I O S
E J E R C I C I O S
Pl P2 Pn-l Pn ftPyPy-'Pn-l'Pn)
Renglón 1: T T T T
Renglón 2: T T ... T F
sv ~ ( p 1-p2- . . . - p n_1- pj
S2: ‘(Pi' P‘¿* ‘ mm' 1" ’ Pji)
S 2B: PJ
f ( 1)
para cualquier m arbitrario, si f ( m ) entonces f (m 4- 1)
por lo tanto f ( m ) para todo m
Es frecuente usarla al demostrar teoremas del álgebra elemental.
Por ejemplo, uno demuestra que la suma de los n primeros enteros
impares es igual a n2 demostrando en primer lugar las dos premisas
del esquema anterior y luego sacando la conclusión general indicada.
La primera premisa que llamaremos el ‘ caso a” se establece aquí como
la ecuación trivial 1 — l 2. Entonces la segunda premisa, que llama
remos el “caso /?” , se establece suponiendo que f ( m ) es verdadera
para un entero arbitrario m y de esta hipótesis derivando la conclu
sión que f ( m + 1) es verdadera. En esta demostración particular, la
hipótesis del caso /3 es
1 ■+ 3 + 5 + • • - + (2 m — 1 ) = vi 2
La conclusión deseada se obtiene sumando (2 m -f 1 ) a ambos lados
de la ecuación y haciendo una reagrupación y factorización elemen
tal de los términos:
1 -|- 3 + 5 + ■ • ■ + (2 m — 1) + (2m + 1) = m2 + (2 m + 1)
1 + 3 + 5 + ■ ■ ■ + (2 m — 1) + [2 ( m + 1) — 1] — (m + l ) 2
f ( 1) f(2)
si f ( 1 ) entonces f ( 2 ) ; f ( 2 ) entonces f ( 3 ) ; . . .;
7 7 (2 ) 77f(3)
f(m)
si f(rrc) entonces f(?n + 1 ); . . .
: . f ( m + 1)
El término “inducción fuerte” se usará para referirse a la in
ducción matemática, un tanto menos frecuente, cuyo esquema es
f(l)
para un m arbitrario, si f ( k ) para todo k < m, entonces f ( m )
por lo tanto f ( m ) para todo m
La inducción fuerte puede también pensarse que resume una suce
sión ilimitada de argumentos de la forma Modus Ponens:
f(i) f ( i ) y f ( 2)
si f ( l ) entonces f ( 2 ) ; si f ( l ) y f ( 2 ) entonces f ( 3 ) ; . . .;
7 7 (2 ) 7 .7 (3 )
f ( l ) y f ( 2) y . . . y f ( m - 1)
si f ( l ) y f ( 2) y . . . y f ( m —1), entonces f ( m ) ; . . .
. ' • f ( m)
Para ilustrar el uso de la inducción fuerte, demostraremos que
una lógica simbólica basada en los símbolos proposicionales P, Q, fí,
S, . . . y los operadores • y v no es funcionalmente completa. Esto lo
hacemos demostrando que ninguna fóm iula bien formada7 del sis
tema que se basa en ■, v y P, Q, R,S, . . . puede expresar una fun
ción de verdad que tiene el valor verdadero cuando todas sus variables
tienen el valor falso. En nuestra demostración usamos la inducción
fuerte en el número de símbolos de la fórmula bien formada g( P,
Q, R , . . .), ignorando los paréntesis, y contando cada ocurrencia
o aparición de P, Q, R , y v como un símbolo.
c a s o a : En el caso en que g ( P, Q , R , . . . ) contiene sólo un
símbolo, para ser bien formada debe ser P solo, o Q solo, o R solo,. . .
Si las variables P, Q, R , . . . tienen todas el valor falso, g ( P , Q, R , . . .)
tendrá también el valor falso, pues es una de ellas. Así, cualquier
1 Suponemos una definición recursiva como la dada en la Pág. 207.
fórmula bien formada del sistema estudiado ahora que contenga exac
tamente un símbolo no puede tener el valor verdadero cuando todos
sus argumentos tienen el valor falso.
c a s o Aquí suponemos que cualquier fórmula bien formada
( 3:
5x(P, Q, Q, R , . . . )
o
E J E R C I C I O S
*1. v y 3. D y ^
•2 0 y • 4. D y v
5, y - f , donde -f es el símbolo de la disyunción exclusiva, definido por
la tabla de verdad para f 7, de la Pág. 213.
D y + 9. + y •
7. v y -|- 10. = y ^
8. + y ~ 11. s y D
12. 3 y ;/), donde f ) es el símbolo de la no implicación (m aterial) 8 definido
por la tabla de verdad para f 13 en la Pág. 213.
13. D y <¡L, donde (£_ es el símbolo de la no implicación recíproca, definida
por la tabla de verdad para f 12 de la Pág. 213.
14. ~f> y^
15. ¿Cuáles, si se da el caso, de los dieciséis operadores funcionales binarios,
fj, f 2, . . . , f lfi definidos en las Págs. 212 y 213, pueden agregarse a los
símbolos proposicionales P, Q, ít, S, . . . y los paréntesis, para dar un sis
tema logístico completo con un solo símbolo de operador?
* Así denom inada por Alonzo Church en Introduerion to Mathematical Logic, Vol. I,
Princeton, 1956, Pág. 37.
y una infinidad más de w ff de R.S. De hecho, designa toda wff de
R.S. que tenga el patrón indicado; y es decidible de modo efectivo,
respecto a cualquier secuencia finita de símbolos de R.S., el que sea
de este patrón o no lo sea. Se dan tres patrones, y toda wff de R.S. que
sea un caso o ejemplo de alguno de estos patrones, se supone como
axioma.
Estos axiomas son hipótesis razonables como lo pone en eviden
cia el hecho de que en la interpretación normal de los símbolos ^
y ■ todos son tautologías.
Lo que se busca es que la interpretación de nuestro sistema lo-
gístico sea adecuada a la formulación de argumentos. Los argumen
tos, como ya se sabe, consisten en premisas y conclusiones, todas
ellas expresadas en enunciados. Correspondientes a estos argumen
tos tenemos, en nuestro sistema logístico, las secuencias de fórmulas
bien formadas de las cuales la última es la “conclusión” Se desea
establecer un criterio que nos permita distinguir de manera formal
entre dos clases de secuencias de w ff en el sistema R.S.: las que se
convierten en argumentos válidos cuando se les interpreta normal
mente y las que no lo hacen.
En el Cap. 3 se caracterizó un argumento válido como uno para
el que podía darse una demostración formal. Una demostración
formal de la validez de un argumento se definía como una secuen
cia de enunciados, cada uno de los cuales era o una premisa o se
infería de los enunciados precedentes por un argumento válido
elemental, y cuyo último enunciado era la conclusión del argumento
que se demostraba válido. Así, la cuestión de la validez de cualquier
argumento se “reducía” al problema de la validez de ciertas formas
de argumento elementales o reglas de inferencia. Algo por el estilo se
propondrá respecto a R.S., pero no es deseable hacer hipótesis al por
mayor respecto a las inferencias elementales válidas, como en el
Cap. 3, en donde se postularon diecinueve reglas de inferencia, ade
más de las reglas de Demostración Condicional y Demostración
Indirecta. Sin embargo, alguna regla de inferencia deberá ser su
puesta en nuestro sistema logístico, o no habrá inferencias legítimas
en el mismo. Una regla de inferencia será suficiente para hacer
válidos todos los argumentos y (por lo tanto) para la demostración
de todos los teoremas, dentro del sistema R.S. Suponemos Modus
Ponens y lo enunciamos (en nuestro Lenguaje Sintaxis, claro está),
como
r e g l a 1. De P y P D Q inferir Q.
Ejemplos de argumentos en R.S. que el supuesto de esta regla de in
ferencia hace válidos son
~ ((A )-(~ (B ))) '- (((A 1) ’ (A2» ' h ( ~ ( C ) ) ) )
A y (AjHA,,)
B ~ (C )
El supuesto de Modus Ponens como Regla 1 (abreviada R 1) de
nuestro sistema logístico, por sí mismo, permite sólo una clase espe
cial de argumentos con dos premisas para ser considerados válidos.
Pero R.S, es adecuado a la expresión de todos los argumentos for
malmente válidos que se pueden certificar por medio de tablas de
verdad, incluyendo los argumentos extendidos que contienen cual
quier número de premisas. Así, es deseable introducir un método
que dé validez a los argumentos extendidos en R.S. mostrando cómo
sus conclusiones se siguen de sus premisas por aplicaciones reite
radas de R 1. Nuestro tratamiento es aquí, a grandes rasgos, análogo
al que se da para los argumentos extendidos presentado en el Cap.
3, aunque con ciertas diferencias importantes. Definimos una de
mostración de la validez de un argumento que tiene como premisas
las fórmulas P,, P2, . . ., Pn y como conclusión la fórmula Q, como
una secuencia de fórmulas bien formadas Su S2, . . S* tal que: cada
Si es o una de las premisas Pt, P 2, . . . , P„, o uno de los axiomas de
R.S. o se sigue de dos S precedentes por R 1; y tal que S* es Q. Como
antes, un argumento se considerará válido si y sólo si existe una
demostración de su validez. Se introduce una notación especial (en
el Lenguaje Sintaxis) para representar esta idea. Introducimos el
símbolo especial “ !-w (que puede leerse “d a ") de modo que
Pv P2, . . . , P n YQ
asegura que existe una demostración de la validez del argumento
que tiene Pi, P2> . . ., P„, como premisas y Q como conclusión. Por
ejemplo, todos los argumentos, infinitos en número, designados
por
PD Q
~(Q R )
~(RF)
son válidos porque P D Q, — (Q íí) h — ( R P ) , y la demostración con
siste en la siguiente sucesión de S (eses):
si: ( P D Q ) D M Q R ) D (RP)]
S2: P D Q
S3: ~~(QR) D -(R P )
S4: ~~{QR)
S5: -(R P )
en donde Sx es el Axioma 3, S¡¡ es la primera premisa del argumento,
Ss se sigue de S! y S2 por R 1, S4 es la segunda premisa, S5 se sigue
de S3 y S4 por R 1, y S5 es la conclusión. Cualquier secuencia se
mejante de S (eses) será llamada una demostración de que Pi, P2,
. . ., Pw I- Q y cada St se llamará un renglón de la demostración.
Cuando se da una demostración de la validez de todos los argumen
tos en R.S. en cierta forma, como en el ejemplo mencionado, todo
argumento particular de esa forma puede considerarse como conva
lidado por esa demostración, y la forma general puede considerarse
como una regla de inferencia derivada.
La definición de demostración que se acaba de dar debiera ha
ber aclarado que los axiomas de R.S. funcionan como premisas
“subentendidas” de todo argumento formulado dentro del sistema.
Cuando dichos axiomas son las únicas premisas del argumento, la
conclusión es un teorema del sistema. El que una fórmula dada
Q sea un teorema se expresa escribiendo “ h Q". La notación “ I- Q” se
define más estrictamente como afirmando que existe una demos
tración de Q, que es una secuencia de fórmulas bien formadas Si,
S......... Sft, tal que: cada S* es o un axioma de R.S. o se sigue de dos
S (eses) precedentes por R 1, y S* es Q.
Debiera observarse que la demostración, ya sea de un teorema
o de la validez de un argumento, es una noción efectiva. Dada
cualquier secuencia de S, no importa qué tan larga sea, puede de-
cidirse de manera mecánica, en un número finito de operaciones,
si es o no es una demostración. Se puede decidir efectivamente de
cualquier S si es o no es un axioma (y si es o no es una de las
premisas, en caso de haber un argumento involucrado). Y si algún
S, digamos Sf, no es ni un axioma ni una premisa, entonces, como
sólo un número finito de S preceden S? en la sucesión, después de un
número finito de inspecciones se sabrá si dos de los renglones
precedentes son S{ y S» D S,, pues sólo si éstos ocurren en la suce
sión, anteriormente,, será Sj una consecuencia de dos renglones
precedentes, por R 1.
Con esta definición de teorema, los tres axiomas y la regla (única)
de R.S. pueden considerarse como una especie de máquina sim-
bóliea para generar fórmulas bien formadas. Cada axioma, por sí
mismo, genera un número infinito de w ff y por aplicaciones reitera
das de R 1 a las mismas se produce una infinidad más de w ff como
teoremas. Es natural preguntarse ahora. En primer lugar, ¿es con
sistente el sistema?, y en segundo lugar, ¿son todos los teoremas,
tautologías (en la interpretación normal de los símbolos primitivos)?
Un sistema logístico que es un cálculo proposicional (como lo es
R.S.) se llamará analítico si y solo si todos sus teoremas se con
vierten en tautologías en sus interpretaciones normales. R.S. es
analítico en esta definición, a condición de que b P implique que
P es una tautología. Ahora demostraremos que R.S. es analítico.
M e t a t e o r e m a II. R.S. es analítico ( esto es, si b P, entonces P
es una tautología).
C o r o l a r io : R.S. es consistente.
Prueba: La fórmula P • es una w ff de R.S., pero no es una
tautología, así que por el Metateorema II no es un teorema de R.S.
Luego R.S. contiene una fórmula que no es demostrable como un
teorema, por tanto, R.S. es consistente por el criterio de Post.
Definimos la “completud deductiva” de un sistema logístico para
el cálculo proposicional como la propiedad recíproca de la analiti
cidad. Un sistema analítico es aquél cuyos teoremas son todos tau
tologías; un cálculo proposicional se llamará deductivamente com
pleto en el caso en que todas las tautologías sean demostrables como
teoremas dentro del mismo. La completud deductiva de R.S. es más
difícil de establecer que los dos primeros Metateoremas y requiere
que primero desarrollemos algunos teoremas del sistema. La demos
tración, entonces, se pospondrá hasta la Sec. 7.6, posterior al desa
rrollo de R.S. mismo en la Sec. 7.5, después de demostrar la inde
pendencia de los axiomas de R.S. en la siguiente sección.
P —P P Q P-Q
0 0 0
0 1 1
0 2 2
1 0 1
1 1 2
1 2 2
2 0 2
2 1 2
2 2 2
P Q PDQ
0 0 0
0 1 1
0 2 2
1 0 0
1 1 0
1 2 1
2 0 0
2 1 0
2 2 0
(P • Q) D p
0 0 0 0 0
0 1 i 0 0
0 2 2 0 0
1 1 0 0 1
1 2 1 0 1
1 2 2 0 1
2 2 0 0 2
2 2 1 0 2
2 2 2 0 2
D [~ (<? • fl) D
0 0 0 0 2 0 0 0 0 2 0 0 0
0 0 0 0 1 0 1 1 0 1 1 1 0
0 0 0 0 0 0 2 2 0 0 2 2 0
0 1 1 0 1 1 1 0 1 2 0 0 0
0 1 1 0 0 1 2 1 1 1 1 1 0
0 1 1 0 0 1 2 2 0 0 2 2 0
0 2 2 0 0 2 2 0 2 2 0 0 0
0 2 2 0 0 2 2 1 1 1 1 1 0
0 2 2 0 0 2 2 2 0 0 2 2 0
1 0 0 0 2 0 0 0 0 1 0 1 1
1 0 0 0 1 0 1 1 0 0 1 2 1
1 0 0 0 0 0 2 2 0 0 2 2 1
1 0 1 0 1 1 1 0 0 1 0 1 1
1 0 1 0 0 1 2 1 0 0 1 2 1
1 0 1 0 0 1 2 2 0 0 2 2 1
1 1 2 0 0 2 2 0 1 1 0 1 1
1 1 2 0 0 2 2 1 0 0 1 2 1
1 1 2 0 0 2 2 2 0 0 2 2 1
2 0 0 0 2 0 0 0 0 0 0 2 2
2 0 0 0 1 0 1 1 0 0 1 2 2
2 0 0 0 0 0 2 2 0 0 2 2 2
2 0 1 0 1 1 1 0 0 0 0 2 2
2 0 1 0 0 1 2 1 0 0 1 2 2
2 0 1 0 0 1 2 2 0 0 2 2 2
2 0 2 0 0 2 2 0 0 0 0 2 2
2 0 2 0 0 2 2 1 0 0 1 2 2
2 0 2 0 0 2 2 2 0 0 2 2 2
La característica fácilmente se ve que es hereditaria con respecto
a R 1 de R.S. consultando la tabla dada para “ D ” . En el único
renglón en que tanto P como P D Q tienen el valor 0, Q también
tiene el valor 0. Por lo tanto, si la característica pertenece a una o
más w ff también pertenece a todas las w ff que se deducen mediante
R 1.
Finalmente, es fácil ver que la característica en cuestión no per
tenece al Axioma 1. Cuando P tiene asignado el valor 1, P D (P • P )
tiene el valor 1 y no el valor 0 dado que I D ( 1 - 1 ) es I D 2, que es 1.
Luego el Axioma 1 es independiente.
Al tratar de demostrar la independencia de un axioma en un
cálculo proposicional naturalmente surgen tres preguntas. Primera,
¿cómo decidir qué tan grande debe ser el modelo usado? Segun
da, ¿cómo decidir qué valores (elementos del m odelo) asignar al
hacer una tabla para los símbolos primitivos del sistema? Tercera,
¿cómo decidir qué elemento (o elementos) del modelo designar como
característica hereditaria? N o existe una respuesta efectiva o me
cánica para estas preguntas. La metodología es todavía aquí cuestión
de prueba y error. Por sencillez y economía debiera tratarse de usar
un modelo de tres elementos. Si funciona, tanto mejor. Si no es
así, hacer la prueba con un modelo de cuatro elementos, etc. Las
respuestas a las preguntas segunda y tercera están interrelacionadas.
Para probar la independencia del Axioma 1 se quería que tomara
un valor no designado en al menos un caso en que los otros axiomas
sólo toman el valor designado (o los valores designados) en todos
los casos, y el valor designado es hereditario con respecto a R 1.
Esta necesidad nos conduce a asignar, cuando menos en un caso,
un valor diferente para P ■P del designado para P (asignando un
valor diferente (2 ) a P - Q para al menos un caso en el que P y Q
toman simultáneamente el mismo valor ( 1 ) ) . Entonces, para que
el Axioma 1, a saber, P D (P • P ) tome un valor no designado en al
menos un caso, especificamos que el condicional con (v a lo r) ante
cedente 1 y (va lor) consecuente 2 tome un valor no designado, en
este caso 1. Para mostrar la independencia del Axioma 2, a saber,
( P * Q ) D P, esto es, para hacer que tome un valor no designado
en al menos un caso, hacemos que su antecedente P • Q tome un
valor designado en cuando menos un caso en el que su conse
cuente P tome un valor no designado. Es posible hacer varias asig
naciones tales, desde luego, pero cualquiera que se elija debe ser
consistente con las otras restricciones para lograr que los otros axio
mas tomen solamente valores designados y hacer el valor designado
hereditario con respecto a R 1.
Para probar la independencia del Axioma 2 de R.S. usamos el
mismo modelo de tres elementos y la misma tabla para “^ P ”. La
diferencia está en la tabla de “P • Q” siguiente, junto con la tabla
que se deriva para "P D Q”.
P Q P 'Q POQ
0 0 0 0
0 1 0 2
0 2 2 2
1 0 0 0
1 1 0 2
1 2 2 2
2 0 2 0
2 1 2 0
2 2 2 0
P D (P - F)
0 0 0 0 0
1 0 1 0 1
2 0 2 2 2
P <2 p -g PD
0 0 0 0
0 i i 1
0 2 2 2
1 0 2 0
1 1 2 0
1 2 2 0
2 0 2 0
2 1 2 0
2 2 2 0
P D (P ‘ F)
0 0 0 0 0
1 0 1 2 I
2 0 2 2 2
(P ■ 9) D P
0 0 0 0 0
0 1 i 0 0
0 2 2 0 0
1 2 0 0 I
1 2 1 0 1
1 2 2 0 I
2 2 0 0 2
2 2 1 0 2
2 2 2 0 2
E J E R C I C I O S
Para cada uno de los siguientes conjuntos de axiomas para cálculos propo
sicionales, pruebe la independencia de cada axioma:
Axioma 1. ( P v F ) D P
Axioma 2. P D ( P v Q )
Axioma 3. [p v (Q v fl)] D [^ v (P v R)]
Axioma 1. ( Pv P) D F
Axioma 2. P D (P v Q)
Axioma 1. P D(p D P)
Axioma 3. ( P D p ) D ( —Q D P)
Axioma 4. — D P
Axioma 5. P D ---P
Axioma 1. P D (Q D P)
DR 1. P D Q, Q D R h RF).
Su demostración requiere una secuencia de solamente cinco fórmu
las bien formadas, la tercera de las cuales escribimos dos veces,
una vez abreviada, y no abreviada la otra:
si: ( P D Q ) D [~ (Q ~ R ) D M - '* * ) ]
S2: P D Q
S3: Z> ~ ~ (~ ~ flf)
S': (Q D f l ) D ~ ( ~ f l f )
S4: Q D f l
S5: ~ { ~ R P )
S,: (P 3 Q) D [ - « ? - * ) D ~ ( ~ f l f ) ]
Ax. 3: (P D Q) Z> [ ~ (QR) Z> — (flP )]
así como
~ ( (A W ~ ( A ) )) ~ ((( A M B ) W ~ ( ~ (C ) )) )
~ « A M ~ (A ))) y ~ «~ (C )W ~ ( W * W ) ) )
~ ( (~ ( A ) W A )) *(D2))) •((A) •(B)))
T e o r e m a 1. h ~ (~ P P )
Sjí P D P P Ax. 1
S2: PPD P Ax. 2
S3: (P D P P)D [~ (P P ~ P ) D — ( — FP)J Ax. 3
S4: ~ {P P ~ P ) D ~~(~~PP) R 1
S¿: (PP D P ) D ~~(^PF)
S5: - ( - P P ) R 1
T e o re m a 3. I- — (QR) o (R o — Q)
Prueba: h— Q D Q Teo. 2
h (------ Q => Q) => [ — (Q R ) D - ( R — Q)] Ax. 3
h — (Q R ) 3 - (R — 0) R 1
h ~~(QR) D (R D ~Q) df.
T e o re m a 4 . b R z>
T e o r e m a 5. I~ ( QD P) o (~~P D ~£)
DR 2. D ~ Q \ -Q D P
DR 3. PD QhRPD QR
DR 4. P D Q , R D S h —[—(QS)(FR)]
Prueba: P D Q premisa
SPD QS DR 3
R D S premisa
PR D SP DR 3
- M e s x p R )] DR 1
DR 5. PDQ, QDR, R D S Y P D S
Prueba: R D S premisa
( R D S ) D (~~S D ^ R ) Teo. 5
~s d R 1
(~ S D - i? ) D [~ (~ f? P ) D ~ (P - S )] Ax. 3
— (~ R P ) D — (P ~ S ) R 1
PD Q premisa
QD R premisa
~~(~~RP) DR 1
(P—S) R 1
PD S df.
D R 7. P D Q, R D S\- PR D QS
T e o re m a 10, C o r. I- P ( Q R ) d ( P Q) R
-DR 9. P 3 R, Q 3 S b ( P v Q ) D ( R v S)
*DR 10. P 3 R, <p D R b (P v g ) D R
T e o re m a 11. b(P vQ )3 (Q vP )
T e o re m a 12. b ( P v Q ) v R 3 P v ( Q v R)
Estos dos últimos teoremas son las dos mitades del principio de
Exportación, pero antes de obtener el principio mismo a partir
de ellos hay que establecer el principio de Conjunción (com o DR 14).
DR 11. P D Q, P 3 ( Q 3 R ) b P D R
T e o re m a 15.. b P 3 ( Q 3 P Q)
T e o re m a 16. b P 3 ( Q 3 P)
T e o re m a 17. \- P D (Qv P)
‘ T e o re m a 17, C o n . hPD (Pvp)
T e o r e m a 18. I- (Pv Q)R d (PR v QR)
Las pruebas del grupo final de teoremas del sistema R.S. serán
dejadas al lector como ejercicios.
hQ = P ^ T
Por el mismo razonamiento podemos mostrar que hay una w ff, lla
mémosla Y', tal que
hR = P ^ Y '
Cada una de las zuff 7V y Y', contiene los n — 1 factores P2, P3, ...,
P„, de modo que por el supuesto del caso (3
h r = Y'
Por el Teo. 7 y DR 14 tenemos h Pi = Pi, así que por DR 16 tenemos
I~Q = R
T T T T
T T F T
F F T T
F F F T
Cualquier tabla tal tiene 2Wrenglones, cada uno de los cuales repre
senta una asignación diferente de las T y F a los Pi, y aparecen
todas las asignaciones posibles. El que sólo haya T en la columna
bajo S indica que toda asignación posible de las T y F a las P¡ debe
asignar una T a S.
Para mostrar que f- S para todo S tal, establecemos lo siguiente:
primero, que cada renglón de su tabla de verdad, esto es, cada
asignación de valores de verdad a las P,-, puede representarse por
una w ff de R.S., el primer renglón por Qly el segundo por Q2, . . ., y
el último o 2n-ésimo por Q2n;
a ) Si n = 1, 2” = 2, y Qx es Pi y Q2 es ^ P i. Aquí tenemos
h Pj v ^ P j por el Teo. 7, Cor., que es (-(Q i v Q2).
que es l- Qy D S.
que es h Qj D —S.
caso 1. S es Sj • S2.
que es (- Qj Z) S.
caso 2. S es ~ S 3.
X. R.S. es deductivamente
M e t a te o r e m a completo ( esto es,
si S es una tautología entonces h S).
Prueba: Si S es una tautología, entonces cada posible asigna-
ción de valores de verdad a sus componentes P lt P 2, . . . , P«, debe
asignar T a S. Luego por M T IX:
l-^ D S
h <?2„ D S
y por el M T VIII,
P D Q = df —P \ Q
P-Q = df Pv ~~Q)
PQ = df P-Q
P = Q = d¿(P D Q)(Q D P)
Continuaremos usando los mismos convenios respecto a los pa
réntesis, que se adoptaron en el capítulo precedente.
Se suponen cuatro (patrones d e) axiomas o postulados en H.A.
P 1. (P v P ) D P
P 2. P J (P v p )
P 3. (P v Q) D ( £ v P)
P 4. (P D (?) D [(R v P) D (R v Q) ]
R 1. De P y — ( p ^ Q ) , inferir Q.
R' 1. De P y - P v Q , inferir Q.
Pv P2, ... , P„ Ih a Q
De manera semejante, el que la fórmula P sea un teorema de H.A.
se escribe
que afirma que hay una sucesión de w ff Sl5 S2, . . . , St (de H .A.),
cada una de las cuales o es un postulado P 1, P 2, P 3 o P 4, o se
sigue de dos precedentes S por R ' 1, y tal que Sf es P.
La completud funcional de H.A. es fácil de establecer. (Fue el
Ejercicio 1 de la Sec. 7.2 del capítulo precedente.) Una prueba de la
analiticidad de H.A. se da fácilmente usando tablas de verdad para
mostrar que cualquier postulado P 1, P 2, P 3, P 4 es una tautología,
y luego probando que cualquier w ff que se sigue de tautologías por
aplicaciones reiteradas de R' 1 también debe ser tautológica.
La independencia de los postulados de H.A. se establece por los
siguientes modelos.
Para probar que el Postulado 1 es independiente usamos el mo
delo de tres elementos {0, 1, 2} de los que 0 es el elemento designado,
y los valores asignados a las w ff lo son de acuerdo con las tablas:
P ~P P Q Pv Q PDQ
0 2 0 0 0 0
1 1 0 1 0 1
2 0 0 2 0 2
1 0 0 0
1 1 0 0
1 2 1 1
2 0 0 0
2 1 1 0
2 2 2 0
Para probar que el Postulado 2 es independiente usamos el mo
delo de tres elementos {0, 1, 2}, con elemento designado 0, y las
tablas:
P P Q Pv Q PDQ
0 1 0 0 0 0
1 0 0 1 0 1
2 2 0 2 0 1
1 0 0 0
1 1 1 0
1 2 1 0
2 0 0 0
2 1 1 1
2 2 1 1
Para probar la independencia del postulado 3 usamos el modelo
de tres elementos {0, 1, 2} con 0 designado, y las tablas:
P —P P Q PvQ P D Q
0 2 0 0 0 0
1 0 0 1 0 2
2 1 0 2 0 2
1 0 0 0
1 1 1 0
1 2 0 0
2 0 0 0
2 1 2 1
2 2 2 0
Para probar la independencia del Postulado 4 usamos el modelo
de cuatro elementos {0, 1, 2, 3} con 0 designado y las tablas:
? —P P Q PvQ P D Q
0 1 0 0 0 0
1 0 0 1 0 1
2 3 0 2 0 2
3 0 0 3 0 3
1 0 0 0
1 1 1 0
1 2 2 0
1 3 3 0
2 0 0 0
2 1 2 3
2 2 2 0
2 3 0 3
3 0 0 0
3 1 3 0
3 2 0 0
3 3 3 0
La completud deductiva de R.S. se probó en el Cap. 7 mostrando
que todas las tautologías eran deducibles por su regla R 1, a partir
de sus tres axiomas. Podría pensarse que para probar la completud
deductiva de H.A. bastaría deducir los tres axiomas de R.S. como
teoremas de H.A. y la regla R 1 de R.S. como regla derivada de H.A.
¿Pues no mostraría eso que todas las tautologías son deducibles, vía
esos tres teoremas y una regla derivada, a partir de los cuatro pos
tulados de H.A., por su regla R' 1? Esta no es una cuestión sim
plemente retórica. La respuesta, de hecho, es negativa. La dificultad
es que los sistemas H.A. y R.S. tienen símbolos primitivos diferentes.
A pesar de que R.S. y H.A. son deductivamente completos, no todas
las tautologías pueden derivarse por la regla R 1 de R.S- a partir
de los tres axiomas de R.S., cuando se considera a éstos como cons
truidos o formulados en la base 'primitiva de H.A., y no en la de R.S.,
esto es, con — y v como símbolos indefinidos en lugar de — y ■. Esto
puede mostrarse probando que la tautología P v ~ P es independiente
de las formulaciones de H.A. de los tres axiomas de R.S.: — [P*^(P-
P)]> - l ( P * Q ) - - P ] y ----- [ - ( Q - f í ) — ^ ( f í - P ) ] } , en el
sentido de no ser derivable de ellas por la formulación de H.A. de
la Regla de R.S.: P, —- (P —-Q ) Íh á Q.
Para probar que una tautología especificada no puede probarse
en un sistema de axiomas dado se procede como para probar que
un axioma de un sistema es independiente de los otros axiomas. Se
considera la tautología especificada como si fuera un axioma del
que se fuera a probar la independencia, y se intenta mostrar que
no se sigue de los (otros) axiomas del sistema por la regla dada del
sistema, tal como se describió en la Pág. 226.
Para probar la independencia (n o derivabilidad) de la tautología
P v — P usamos el modelo de seis elementos {0, 1, 2, 3, 4, 5}, con las
tablas para ^ y v ( y la tabla de derivación para •), dadas a conti
nuación.
P-Q
P Q P\Q —P ~Pv~Q ~ (~ P v ~ g )
~ 0 0 0 5 5 5 0
0 1 0 5 5 5 0
o 2 3 5 4 5 0
o 3 3 5 I 0 5
o 4 0 5 0 0 5
o 5 0 5 0 0 5
0 0 5 5 5 0
1 0 5 5 5 0
2 3 5 4 5 0
3 3 5 1 0 5
4 0 5 0 0 5
5 0 5 0 0 5
2 0 3 4 5 5 0
2 1 3 4 5 5 0
2 2 3 4 4 5 0
2 3 3 4 1 0 5
2 4 3 4 0 0 5
2 5 3 4 0 0 5
3 0 3 1 5 0 5
3 1 3 1 5 0 5
3 2 3 1 4 0 5
3 3 3 1 1 0 5
3 4 3 1 0 0 5
3 5 3 1 0 0 5
4 0 0 0 5 0 5
4 1 0 0 5 0 5
4 2 3 0 4 0 5
4 3 3 0 1 0 5
4 4 5 0 0 0 5
4 5 5 0 0 0 5
5 0 0 0 5 0 5
5 1 0 0 5 0 5
5 2 3 0 4 0 5
5 3 3 0 1 0 5
5 4 5 0 0 0 5
5 5 5 0 0 0 5
En este modelo de tres elementos 0, 1, 2, los tres son elementos
designados. La característica de tomar valores designados es heredi
taria con respecto a la regla: De P y ^ ( P - inferir Q: y las tres
formulaciones en H.A. de los axiomas de R.S. sólo toman valores
designados. Pero para el valor 2 para P, tenemos P v = 2 v ~2 =
2 v 4 = 3 que no es un valor designado.2
Para probar la completud deductiva de H.A. primero establecemos
algunos teoremas, reglas derivadas y metateoremas para este sistema.
T e o r e m a 1. |h á (Q d R) d [(P d Q) d (P d R )]
DR 1. PDQ,QD R |h a P D R
Prueba: 1. (Q D R) D [(P D Q) D (P D fí)] Teo. 1
2. £> D fí premisa
3. (P D 0 D ( P D R) R 'l
4. P D Q premisa
5. P D R R' 1
T e o re m a 2. |h a P D (£ > v P)
Prueba: 1. P D ( P v Q ) P2
2. ( P v Q ) D ( Q v P ) P 3
3. P D (QvP) D Rl
Demostración: 1. (Q 3 R) 3 [(P v ^ ) D ( P v R ) ] P 4
2. Q D R p r e m is a
3. (PvQ) D ( P v f l ) R' 1
T e o r e m a 3. \h a P D P
Prueba: 1. P D ( P v P ) P 2
2. (Pv F) D P P 1
3 . P D F DR 1
DR 3. P v £ > [s a ^ v ?
T e o r e m a 4. Ih a P v ^P
Prueba: 1. P D F Teo. 3
2. ~ P v P df.
3. P v ~ P DR 3
T e o r e m a 5. Ih a P d — —P
Prueba: 1. ~ P v Teo. 4
2. P D ------P df.
T e o r e m a 6. |h a ~ ^ p d P
Prueba: 1. f l D ( P v f l ) Teo. 2
2. ( < ? v f l ) D [ < p v ( P v ñ ) ] DR 2
3. [ P v ( @ v f l ) j D { P v [Qv(PvR)]} DR2
4. { P v [ < p v ( P v ñ ) ] } D {[(p v (P v fl)] v P ] P 3
5. [Pv(QvR)] D { [ g v ( P v f i ) ] v P > D R 1 (3, 4)
6. P D (PvR) P 2
7. ( P v f l ) D [ g D ( P v f l ) ] Teo. 2
8. P D [g D ( P v R ) ] D R 1 (6, 7)
9. {[Qv(Pv R)]v P] D
{ [Q v (P v fl)] v [<? v (P v f l ) ] } D R 2 (8)
10. { [ ( ? v ( P v f í ) ] v [ < ? v ( P v f í ) ] } D
[p v (P v fí)] P I
11. {[Qv(PvR)] v P } D [< ? v (P v fí)] DR 1 (9, 10)
12. [P v (<? v R)] D [Q v (P v i?)] DR 1 (5,11)
D R 4. P, £> b x P (?
T e o re m a 15. (h a (PQ) D Q
Prueba: 1. (—Qv —F) D (—P v —Q) P3
2. —(—P v —Q)D —('—'Q v —-P) DR5
3. (PQ) D (QP) df.
4. (QP) D Q Teo. 14
5. (PQ) D Q DR 1
DR 6. PQ [h a P
DR 7. PQ Ih á Q
DR 8. P=q\ha — ~Q
Prueba: 1. P= Q premisa
2. (P D Q)(Q D P) df.
3. PDQ DR6
4. —Q D —P DR5
5. QDP DR 7 (2)
6. —P D —Q DR5
7. (- P D -Q X -Q D -P ) DR4
8. —P e e —Q df.
DR 9. P = Q , Q = R \h\ P = R
Prueba: 1. P= Q premisa
2. (P D Q)(Q D F) df.
3 .PDQ DR6
4. Q DP DR 7
5. Q = R premisa
6. (Q D R)(R D Q) df.
7. Q D R DR6
8. R D Q DR 7
9. P D R DR 1 (3, 7)
10. R D P DR 1 (8, 4)
11. (P D ñ)(ñ D P) DR 4
12. P = K df.
T e o re m a 16. (ha P = ( P v F)
Prueba: 1. P D (Pv P) P2
2. (P v P) D P P 1
3. [ P D (Pv P)][(Pv F) D P\ DR 4
4. P ee (F v F) df.
DR 11. PD D S (h a (P v R) D ( Q v S)
Prueba: 1. R D S premisa
2. ( P v ñ ) D ( S v í ’) D R 10
3. P d () premisa
4. (SvP) D ( g v S ) DR 10
5. (Pvñ) D ( p v S ) DR 1 (2,4)
DR 12. P = Q , R = S bíÁ(Pvfí) = ( g v S )
Prueba: 1. P=Q premisa
2. (P D Q)(Q D P) df.
3. PD p DR6
4. g D P DR 7
5. fí = S premisa
6. (R D S)(S D f l) df.
7. «D S DR6
8. SD R DR 7
9. (PvR) D (Q v S) D R 11 (3, 5)
10. ( QvS) Z) ( PvR) D R 11 (4, 8)
11. [ ( PvR) D (£ v S)][(Q v S) D ( PvR) ] DR 4
12. ( PvR) = ( QvS) df.
En esta etapa resultará útil probar la Regla de Reemplazo como el
primero de nuestros metateoremas.
M etate o r:e m a I.( La Regla de Reemplazo). Sean P u P2, , P„
cualesquier fórmulas bien formadas, y Q cualquier fórmula bien
formada que no ocurre en ninguna P, y S cualquier fórmula bien for
mada que no contiene componentes que no sean Q y Pi (1 < i < tí ).
Si S* es cualquier fórmula bien formada que resulta de reemplazar
cualquier número de ocurrencias de Q en S} por R , entonces Q = R
(ha S = S*.
Prueba: Inducción fuerte sobre el número de símbolos en S,
contando cada ocurrencia de v, Q, o cualquiera de las Pi como
un solo símbolo.
entonces Q= ~ R , S [ha S*
La prueba de este corolario es obvia.
Con unos cuantos teoremas y reglas derivadas más nos acercare
mos aún más a una prueba de la completud deductiva para H.A.
T e o r e m a 18. ( h a (P v Q) = (Q v P)
Prueba: 1. (Pv Q) D (Q v P) p3
2. ( Q v P ) D (Pv Q ) P3
3. [(PvQ) D ( ( ? v ® v P ) D ( PvQ) ] DR 4
4. ( PvQ) = (QvP) df.
DR 13. P D Q, P D R (h a P D (Qfl)
Prueba: 1. P D Q premisa
2. ~ Q D —P DR5
3. P D A premisa
4. ~ f l D — P DR5
5. ( ~ Q v ~ f l ) D ( - P v — P) DR 11
6. -— (P v — P ) D — (— Q v —-A) DR 5
7. (PP) D (Q fl) df.
8. P D (Q fl) M T I, Cor., T eo . 17
T e o re m a 1 9. [h a [ P v (Q fl)] D [ ( P v Q X P v ^)]
D R 14. P D (Q D f l ) Ih a Q Z> (P D f l )
T e o re m a 23. ^ (P v Q ) = (~~P—Q)
Prueba: 1. —(Pv Q) = ~~(PvQ) Teo. 13
2. - ( P v g ) = ^ ( -----P v -----Q) MT I, Cor., Teo. 11
3. ~ (p v Q) = (~ P ~ Q ) df.
DR 16. P [h a P v Q
Demostración: 1. P 3 (Pv Q) P2
2. P premisa
3. P v Q R' 1
[h a R = (P1V Y')
Cada una de las wff T' y Y' contiene n — 1 disyuntos P2, P3, . . ., P n,
así que por el supuesto del caso /3
\ha Q = H.
EJERCICIOS
Probar que cada uno de los cálcalos proposicionales descritos en los ejer
cicios de la Sec. 7.4 es un sistema modelo de la lógica.
(P D Q) D [ ( RvF) D ( R v Q ) }
sigue estando sin ambigüedad al reescribirla como
P~y Q ) D [ R v P ) D ( R v Q
conviniendo en que dos puntos ligan con más fuerza que uno solo.
Usando tres puntos como signo de puntuación, de mayor alcance
que uno o dos puntos, la fórmula
[ P v ( Q v R ) ] D { P v [ Q v ( P v R) ] }
se puede escribir
Q v R . D : Qv . Pv R D y. P v . Q v R : D : . P v : Q v . P v R
suele escribirse
P.D .Q ^ P
1. P D [ ( Q . Q ) D P )
2. [ P D ( Q . Q ) } D P
3. [(P D Q).Q] D P
4. P D [ Q . ( Q D P } )
pueden escribirse en forma distinta y no ambigua como
V. P D Q.Q : D P
2'. P D : Q.Q -.. D P
3'. P D Q.Q : D P
4'. P D : Q.Q D P
EJERCICIOS
P Q P\Q
T T F
T F T
F T T
F F T
~~P = d f P\P
P.Q = d f P\Q.\.P\Q
P v Q = df P j P . I . Qj Q
PD Q = df P.|.<?|<?
P Q PjQ
T T F
T F F
F T F
F F T
EJERCICIOS
T e o r e m a 1. \ñ Q:. \:.T. |.T] T: I :S::. I ::.S: I :T. \.T\T:. I :.Q:: ] ::S: |:T. \.T\
T e o r e m a 2. |í T T . |.T|T
Prueba: El renglón 1 es el Teorema 1 con T. |.TjT en lugar de Q,
y con S|T: |:T|S.|.T!S en lugar de S. El renglón 2 es el Axioma
de Nicod con T. \.T\ T:: j v.T. \,T\ T:. |:.Sj Ti \:T\S. |.T| S en lugar de P, con
S| T:| :T\S. |.T|S:. |:.T. |.T| T::\ ::T. |,T\T en lugar de Q y de R, y con
S|r:::|:::S|T:|:T|S.| .T 'S :. |:.7\ |,T\T::\::S::.\::.S\T:\:T\S.\ .T | S :.}:.T .| .T|T::|
| \.T\ T en lugar de S. El renglón 3 es el resultado de aplicar
la Regla de Nicod a los renglones 1 y 2. El renglón 4 es el Axioma
de Nicod con S| T: \:T| S. |.T| S:. 1:.T. \.T\T en lugar de P, con T en
lugar de Q, y con T|T en lugar de R. El renglón 5 es el Teorema 1
con S|T: 1:T| S. ¡ .T| S:. |:.7\ |.T¡ T:: ¡ ::7\ |.T| T en lugar de Q y con S\T-.\
:::SjT:|:T|S.|.r|S:.|:.r.|.T|T::|::S::.|::.S|T:|:r|S.|.T|S:.¡:.T.|.T|T::|::S en
lugar de S. El renglón 6 es el resultado de aplicar la Regla de Nicod
a los renglones 4 y 5. El renglón 7 es el resultado de aplicar la Regla
de Nicod a los renglones 3 y 6. El renglón 8 es el Axioma de Nicod
con T en lugar de P, de Q y de R. El renglón 9 es el resultado de
aplicar la Regla de Nicod a los renglones 7 y 8.
T e o r e m a 4. [ñ P|P.|.P
Prueba: El renglón 1 es el Teo. 3 con P|P en lugar de P y con
P en lugar de S. El renglón 2 es el Teo. 2 con P en lugar de T. El
renglón 3 es el resultado de aplicar la Regla de Nicod a los renglones
1 y 2.
T e o r e m a 5. k íP | P :j:S | P .| .S | P
T e o re m a 11. \ñ Q-..\:.Q\P.\.P:\-.Q\P.\.P
= D V '
)~ )(
(x)(AHx))
((3y)(B2(xy)))Z>(CHa))
(3 v - =
<?*(«*>
de las cuales vamos a querer incluir la segunda y la tercera entre
las bien formadas, esto es, considerarlas con significación en la in
terpretación normal o pensada para el sistema.
Ahora definimos una fórmula bien formada de RSi por las si
guientes reglas recursivas:
a) 1.Si F es un símbolo proposicional, entonces F es una wff.
2. Si F es un símbolo predicado n-ádico y x ly x 2, . . . , x n son n
(n o necesariamente distintos) símbolos individuales (donde
n <= 1, 2, 3, . . .)» entonces F ( x 1, x*, . . . , x n) es una wff.
j8) 1.Si F es una wff, entonces ^ ( F ) es una wff.
2. Si F es una wff y G es una wf f , entonces (F )- (G ) es una
wff.
3. Si F es una wff y x es una variable individual, entonces (x )
( F ) es una wff.
Ninguna fórmula de RSi es una wff si no lo es por las reglas pre
cedentes, o por estas leyes junto con las definiciones de los símbolos
definidos que se han dado.
Ahora que contamos con un criterio efectivo para las wf f , limi
taremos nuestra discusión en lo que resta del capítulo a las wff, que
son las únicas fórmulas que nos interesan.
En este punto resulta conveniente introducir algunos términos
especiales más. (N o se pierde generalidad al frasear las definiciones
en términos de los símbolos indefinidos solamente porque los tér
minos definidos son siempre eliminables,)
Df. Si x es una variable individual, entonces ( x ) si no viene
inmediatamente precedido por un símbolo predicado, es el cuantifi
cador universal de x (o sobre x ).
Df. Si Q es una w ff que es un componente de una wff P,
entonces Q es una parte bien formada de P.
Df. Una ocurrencia de una variable x es una w ff P se dirá que
es una ocurrencia ligada de x en P si está en una parte bien formada
de P de la form a (x )Q .
Df. Una ocurrencia de una variable x en una w ff P se dirá que
es libre ocurrencia si no está ligada.
Suponemos una infinidad de postulados para nuestra lógica obje
to. Toda w ff de cualquiera de los esquemas (patrones) siguientes,
es un postulado:
P 1. P D (P*P)
P 2. (P- Q) D P
P 3. ( P D Q ) D [ ~ ( Q - R ) D ~ ~ ( R - P ) ]
P 4. (x)(P D Q) D [P D (x)Q], donde x es una variable individual
cualquiera, P es una w ff cualquiera que no contiene ocurrencias
libres de x, y Q es cualquier wff.
P 5. ( x ) P d Q donde x es cualquier variable individual, y es
cualquier variable o constante individual, P es cualquier wff, Q es el
resultado de reemplazar cada ocurrencia libre de x en P por y, y
si y es una variable, entonces debe ocurrir libre en Q en todas las
posiciones en que x ocurre libre en P (o sea, que ninguna ocurrencia
ligada de y en Q es el resultado de reemplazar una ocurrencia libre
de x en P por y).
Las restricciones que se formulan en P 4 y P 5 son para evitar
que se incluyan ciertas falsedades manifiestas (en la interpretación
a que se destina el sistema) tales como
(*)[<* = 1) D (ac + z = 2)] D [(* = 1) 3 (*)(* + x = 2)}
que tiene antecedente verdadero y consecuente falso, pero que no
es una instancia de P 4 , pues x ocurre libre en (x = 1). También
se evita una falsedad como
p1,p2, . . . , p n i-g
asegura que hay una sucesión finita de las wf f Si, S2, . . . S> tal que
para toda S y(l < ; < t ) se tiene alguna de las situaciones:
a ) S} es uno de los postulados P 1-P 5, o
b ) Sj es una de las premisas P i ( l < i < n ) , o
c ) Sj es resultado de aplicar R í a dos S precedentes de la
sucesión, digamos S¡ y St donde i < ] y k < j, o
d ) Sj resulta de aplicar R 2 a una Si anterior de la sucesión, de
modo que Sj es (x )S i donde i < j;
y St es Q.
(A )D ((A )-(A ))
A continuación enunciamos y probamos el siguiente:
Le m a : Si I- F entonces F° es una tautología (de tabla de verdad).
Prueba 1. Empezamos mostrando que todo postulado de RSi
sólo tiene tautologías como f.p.ia. Una f.p.a. de cualquier instancia
de P 1 es de la forma P° D (P °-P °), que es una tautología. Lo aná
logo ocurre con P 2 y P 3. La f.p.a. de cualquier instancia de P 4
tiene la forma (P ° D Q ') D (P ° D Q °) que es una tautología. En
P 5, dado que Q difiere de P solamente en los símbolos individuales
que contienen, sus f.p.a. son idénticas, luego la f.p.a. de cualquier
instancia de P 5 tiene la forma P° D P° que es una tautología.
2. A continuación se muestra que cualquier w ff obtenida por
aplicación de las reglas de RSi a una fórmula bien formada que
tiene una tautología como f.p.a. tiene una tautología como f.p.a.
Por R 2 deducimos ( x ) P de P. Pero ( x ) P y P tienen idénticamente
la misma f.p.a. Por lo tanto, si la de P es una tautología, también
lo es la de (x )P . Por R 1 deducimos Q a partir de P y P D Q, De
modo que si P° y P° D Q° son tautologías, también lo es Q°.
Como todos los teoremas de RSj se siguen por las reglas a partir
de los postulados, todos los teoremas de RSj tienen tautologías como
f.p.a. Y con esto concluye nuestra prueba del lema.
La consistencia de RSi se enuncia como
M etateo rem a I. RS1 es consistente.
Prueba: (Aquí usamos el criterio de Post para la consistencia:
un sistema es consistente si contiene una w ff que no es un teorema.)
La fórmula “ (A )* (~ (A ))” es una w ff de RSi que tiene una f.p.a. (ella
misma) que no es una tautología. Luego, por nuestro lema, no es
un teorema de RSi luego RSt es consistente. La consistencia de RSX
se sigue también de su analiticidad, que (de pasada) señalamos en
la Sec. 9.6.
premisa
S2: (x)(P D Q) R2
S3: (x)(P D (?) D [P D [x)Q] P4
S4: P D (x)Q R 1
Ahora de A y B,
b [(x)(P-Q) D (*)P* (*)<?].
[(x)P-(x)Q D <*)(P'<?)] ®
\-(xXP'Q) = (x)P-(x)Q d f.
T e o r e m a 2. h (x)(P D Q) D [ ( x ) P D ( x ) p ]
DR 5. (x)[F(x) D G(x)] b ( x ) F ( x ) D ( x ) G ( x )
Prueba■
■ (x)[F(x) D G(x)], (x)F(x) b (x)G(x) DR 2
(x)[F(x) D C(x)] h (x)F(x) D (x)G(x) D.T.
Los siguientes son algunos teoremas adicionales que es fácil
establecer usando el Teorema de Deducción,
T e o r e m a 3. b (x)(P = (?) ^ [(x)P = (x)Q]
‘ T e o r e m a 4. b(x)(P D Q) D [(3x)P d.(3x)Q]
P ru eba : b (y)P D P P 5
b (x)[(y)P D P] R 2
b (x)(y)P D (x)P DR 5
b (x)(y)P D (y)(x)P DR 1
P rueba: b (x)P D P
b(*)< ? D Q
\-[(x)Pv(x)Q] D ( P v Q )
b [(* )P v (*)<?] D (x)(P v (?) DR 1
9.3. Dualidad
Si W y U son w ff cualesquiera:
2. (W- U)* = WA v
3. (W v [/]A = W 4 *[/A
4. ((x )W )A = (3 x) W a
5. ((3 x )W )* = (x )W A
T e o re m a 13. b (3 x )(P -@ ) 3 (3 x )P * (3 x )Q
T e o re m a 15. b (3x)Q = Q
T e o re m a 17. b (3 x )(P v Q) = (3 x )P v Q
*D R 6. P D Q b (3x)P D Q
b (x)~P D ~P . P 5
-------- P
1 D ~~{x)~~P ®
b P D ~~{x)~P ®
b P D (3 x)P df.
b (y)P D P P 5
\-(y)PD(3x)P ®
b (y)P D (y)(3x)P DR 1
b (3x)(y)P D (y)(3x)P DR 6
Prueba: b (x)F(x)
F( y) D P 5
(y)F(y)
b (x )F (x ) D D R 1
Obtenemos \-(y)F(y) d (x)F(x) déla misma manera y entonces
tenemos 1
“ (x)F(x) = (y)F(y) p0r ^
Prueba: Q premisa
Q D (3x)P Teo. 27
(3x)P R 1
La regla UG corresponde a grandes rasgos a R 2, aunque desde
cierto punto de vista parece más débil que R 2, y desde otro, más
fuerte que R 2. La segunda restricción sobre UG evita que se le
use para inferir a partir de <£v donde v es una variable de
ocurrencia libre en una hipótesis dentro de cuyo alcance se encuen
tre $V. Pero no hay una restricción semejante sobre R 2 . Dicha
restricción sobre UG, sin embargo, sólo sirve para limitar su apli
cación en el contexto de una Prueba Condicional. En RSi se impone
la misma limitación haciendo la restricción sobre la Regla de De
mostración Condicional misma, en nuestro enunciado del Teorema
de Deducción — que no permite el paso de ? (- Q a I- P D Q si R 2
se usa sobre una variable que ocurre libre en P— . Luego, en el con
texto de RSjt la segunda restricción sobre UG se aplica a R 2 aunque
se enuncia para el Teorema de Deducción más que para R 2 misma.
Así, UG no es realmente más débil (más restringida) que R 2.
UG parece más fuerte que R 2 en que permite un cambio de
variable en su aplicación, cosa que R 2 no hace. Pero en presencia
de todo el resto del sistema RS l5 UG se prueba con facilidad como
regla derivada combinando la fuerza de R 2 y del Teo. 25. El con
venio general respecto a Sy y <5v del Cap. 4 y la primera restricción
sobre UG (que v no ocurra libre en (¿0$/0 en conjunto son equiva
lentes a las condiciones enunciadas para el Teo. 25, que y <í>v
sean exactamente iguales, excepto en que ¡t es libre en en los
lugares y sólo aquellos lugares en que v es libre en $v. Tenemos
F (x ) b ( x ) F ( x ) directamente por R 2 y luego por el Teo. 25 tenemos
DR 9. Si F (jc) y F (y ) son exactamente iguales, excepto en que x
es libre en F ( x ) en aquellos y sólo en aquellos lugares en
que y es libre en F (y ), entonces F ( x ) I- ( y ) F ( y ).
En RS! podemos hacer mediante DR 9 todo lo que antes podíamos
hacer mediante UG.
En el Teo. 0 y DR 0, y en DR 7, DR 8, DR 9 y el Teorema de
Deducción, se ve que el sistema RSi comprende toda la fuerza de
ductiva disponible en nuestras diecinueve Reglas de Inferencia, Re
glas de Cuantificación UI, EG, UG y el principio reforzado de la
Prueba Condicional.
En vez de tratar de formular una regla derivada en RSi corres
pondiente a El, probamos un metateorema que legitimiza cualquier
uso de El en una prueba sometida a las restricciones que se involu
cran en su enunciado.
M e t a t e o r e m a V. (E l es legítima, o mejor aún, E l es eliminable
o evitable.)
Si hay una sucesión de fórmulas bien formadas que constituirían
una demostración de que P t, P2, . . . , Pn I- Q si no fuera porque al
gunas de las fórmulas de la sucesión se derivan de las precedentes
por medio de El ( construida aquí simplemente como la regla de que
si R se puede derivar en un contexto dado, de F ( y ) , entonces se le
puede derivar en ese contexto de ( 3 x ) F ( x ) de.modo que:
1. haya m usos de E l de los cuales el i-ésimo es la inferencia
de Ri a partir de ( 3xi )F (o:i ) sobre la base de haberle de-
¿Lucido de F i ( y i), donde las x ¡ libres en F í ( x í ) exactamente
corresponden a las y i libres en F i ( y i ) , y
2. ninguna y» ocurra libre n i en Q, ni en cualquier premisa Ph
ni en cualquier w ff de la sucesión que precede a F i ( y i ) , ni
en la wff Ri que se deduce de F í ( t/í );
entonces existe una demostración genuina de que Pj, P2, . . . , P„ h Q
que no hace uso de El. Y en esta última ( genuina) demostración no
se hace uso de R 2 para cuanüficar variables libres en Pu P „ . . . , P*}
que no fueran ya cuantificadas por R 2 en la sucesión original o
“cuasidemostracián” .
Prueba: En cualquier cuasidemostración semejante cada w ff F¿
(y i) está precedida por una w ff (3 % í)F í(;c í) y seguida por una wff
Ri. Exceptuando las m fórmulas F l ( yí ), F 2( y 2) , . . . , Fm(ym) cada
w ff de la sucesión indicada o es un axioma o una P¡ o se sigue de las
precedentes w ff por R 1 o R 2. Supongamos que hay exactamente t
usos de R 2 de los cuales el g-ésimo es la inferencia de S* ( — (*>,)
Su ) a partir de S?v
Definimos S \ como ( x h ) . . . ( x u , ) ( x u J . , . ( x t,)S kl que es
(*/*) • • • 0 ^ ) 0 ;^.) • • ■ ( * j , ) ( * í , ) s V Dado <3ue skq h por t ~ 1
usos de P 5 y R 1, es obvio de la existencia de la cuasidemostración
original que existe una demostración genuina de que
>- (yJlFm(yJ D Q]
y después
h (lymWmiVm) D Q
y finalmente
Dado que está precedida por en la cuaside-
mostración original, tenemos también
h (3xm)Fw(xJ
y finalmente por R 1
*-Q
Luego tenemos una demostración de que
(2) Pv P2, . . . , Pn, S'kl, S'k2, S ' kt, F M , F2(y2) , . . . , hQ
en donde R 2 no se usa para cuantificar ninguna variable libre en
ninguna de las premisas S'fcj> S'*,, . . . , S \ , Fx( yi ) , F 2( y2) , . . . ,
Fm-iCl/m-i). El argumento anterior se puede usar m veces para obte
ner una demostración de que
M Pv P2, . . . , P n, S'kl, S'kt, . . . , S ' í[t\-Q
en la que no se usa R 2 para cuantificar ninguna variable libre en
ninguna de las premisas S'k¡, . .. , S'k¡. Luego podemos usar
nuevamente el Teorema de Deducción para obtener
r1- 1
5kt
S'
y finalmente por R 1
^Q
Así, tenemos una demostración de que
(m + l) Pi,P 2
, . . . , P n, S^, Sí........SíM h g
en donde R 2 no se usa para cuantificar variables que sean li
bres en cualquiera de las premisas S'*,, S'*2, . . . , S'kf. El argumento
anterior se puede usar t veces para obtener una demostración genui-
na de que
(m + t) P1, P2, . . . , P n h Q
en la que no se usa R 2 para cuantiñcar variables libres en P u P2,
.. ., P* que no fueran cuantificadas por R 2 en la cuasidemostra
ción original. Esto completa la prueba de nuestro Metateorema V.
La discusión precedente basta para mostrar que nuestro cálculo
funcional de primer orden RSi es una axiomatización de la lógica
usada en el Cap. 4 y las tres primeras secciones del Cap. 5. Se puede
mostrar que no contiene más de lo que allí se usaba, dando de
mostraciones (en el sentido anterior de “demostración” ) de los pos
tulados de RSx.
Surge por supuesto la pregunta de qué tanta lógica hay con
tenida en RSlt Presentaremos una prueba de que RSi es deductiva
mente completo en el sentido de que todas las proposiciones lógi
camente verdaderas que sólo involucran cuan tifie ación de variables
individuales son susceptibles de probarse como teoremas, dentro del
mismo. Este sentido se especificará con más precisión en la Sec.
9.6. Sin embargo, antes de probar la completud de nuestro cálculo
funcional de primer orden desarrollaremos algunas nociones y me-
tateoremas concernientes al tema de las “Formas Normales”.
(C * i)K ? * 2) • * •( C r i) • ••(Q x i) ■ ■ ■
• • ■(<?Xn)G
el grupo de los cuantificadores ( Q x i) ( Qx2) . .. (Qac») es el prefijo
y la fórmula G, libre de cuantificadores, es la matriz.
EJERCICIOS
3 . ( x )[F (x ) D G (x )] D [ ( x) F( x) D ( x )C (x )]
* 4 . ( y ) ( 3 x ) F ( x , y) D (3 x )(t/ )F (x , y)
M e t a t e o r e m a VIII.
Para cualquier w ff F puede encontrarse una
cwff R que esté en forma normal prenex y empiece con un cuanti
ficador existencial y tal que h F si y sólo si R.
EJERCICIOS
Para cada una de las siguientes wff construir una fórmula de tipo R que
sea un teorema si y sólo si la wf f dada es un teorema:
*1. ( x) ( y) ( z ) { [ H ( x ) v H ( y ) } V H(z)}
2 - F( x v x 2 ..................x n) D C(z)
*3. ( 3 x ) G ( x , y) v F ( z )
4. (3z)F(z,z) D (x)G(x,y)
5 . ( x ) F ( x , y) D G ( z )
* L a regla que rige u n a sustitución tal (r e g la de sustitución p ara v ariables fu n cio n ales)
es difícil y de expresión complicada. Como es ésta m uestra única aplicación de la misma,
no la enunciaremos aquí. Puede encontrarse un estudio de las form ulaciones alternativas
en A. Church, Introduction to Mathematical Logic I, Princeton, 1956, Págs. 235 y sigs.,
34-2 y sigs. 351 y sigs.
luego, por la Regla de Reemplazo,
EJERCICIOS
*3. ( x ) ( 3 y ) F ( x , y )
4 . (x ) ( y ) ( 3 z ) ( 3 x ) { [ [ F ( x ) * G ( y ) ] v H ( z ) ] D I (w)}
Por ser S una fórmula bien formada cerrada podemos usar el Teo
rema de Deducción para obtener
f - ~ S D ~~P *P
de lo cual
h — (— P -P ) D ------S
y finalmente A \- ~~F'F
De este nuevo postulado junto con los otros postulados, reglas, teo
remas, reglas derivadas y metateoremas de RSi con que ya contamos,
podemos deducir los siguientes resultados concernientes a la iden
tidad.
T e o r e m a I- I : I- [(x = y ) -Fx] d Fy
(x = y) -Fx h ( y) { Fy = (3*)[(x = y )* F x ]} P 6
(x = y ) ‘ Fx\- Fy = (3 x )[x = y) ' Fx] DR 7
(x = y)-Fx\- (3 x )[x = y) -Fx] D Fy ®
(x = y ) ‘ Fx h {x = y ) ‘ Fx premisa
(x = y) - Fx\- ( 3x) [ ( x = y) -Fx] DR 8
(x = y)-Fx h F y R 1
h [(x = y) ' Fx] O Fy D.T.
T e o r e m a 1-2: hy = y
(y) l~(y= y)
= ( d* )l(* = = y) JJ F 6
~~(y - y) = (3x)[(x = y) • ~ ( x = y)] DR 7
(y = y) = ~ {3 x )[(x = y) ' ~~( x = y)] ©
~ [ ( x = y)-~~{x = y)] ©
(x )~ [(x = y) ' ~~( x = y)] R 2
~~(3x)[(x = */)— (x = t/)] T e o . 8 & R.R.
y= y ©
T e o r e m a 1- 5 : I- (x = y) = (y — x)
DR 1 - 1 . x = y\~ y = x
Prueba: x = y premisa
y = x Teo. 1-5 & R.R.
Prueba: y= x premisa
x= y D R 1-1
Fx premisa
(x = y)'Fx ®
[(x = y)'Fx] D Fy Teo. i - i
% R 1
• Probado por Kurt Gfidel en “ Ü ber form al unentscheidbare SStze der P rincipia Ma-
thematica und verwandter Systeme” . Monatshefte fü r Mathematik und Physik, Vol. 38
(1 9 3 1 ), Págs. 173—198. Puede verse una traducción en “From Frege to Gódel, A Source
Booh in Mathemathcal Logic, 1879-1931 Ed. Jean V an Heijenoort, Cam bridge, Mass.,
1967, Págs. 596-616. Para, una exposición inform al de la prueba de Godel, por Em est
N a g e l y James B. N ew m an , puede verse Contemporary Readings in Logical T heory, editado
por I. M. Copl y J. A . Gould, N u e v a York y Landres, T h e M se m illan Com pany, 1967, Págs.
51-71.
APENDICE
JOl
Formas Normales
y Expansiones Booleanas
y
[ P v (</r92‘ • , 9j 3 = [ ( p v q 1) ‘ (p v < / 2) ‘ . . . - ( p v q j ]
Suelen usarse las letras griegas mayúsculas pi y sigma para
expresar los productos lógicos generalizados (las conjunciones) y
las sumas lógicas generalizadas (las disyunciones). Definimos
n
I I Pi = d f( pr p2* ... -pJ
i -1
y
n
2 Pi = df ( Pj v p 2 v . . . v pn)
i—1
Dadas estas notaciones podemos expresar nuestros teoremas de
De Morgan generalizados como
n pi = ¿ p ; y Í > , = Qp-
i ~l i=l i= 1 i= 1
p - S ^ ^ S p * ^ y p ' T f r i ^ O p ^ i )
í—1 Í= 1 1 -' 1 i= l
Es conveniente tener otros cuatro principios de equivalencia ló
gica disponibles para los propósitos de la manipulación y la trans
formación algebraicas. Primero, los principios de Conmutación, ex
presados como
p~(pvp) y pEE(p-p)
p = [p-(qyq) ]
Nuestro cuarto y último principio es la equivalencia lógica
p = [ p v ( 9 - 9)3
(p D 9) = (p v 9) y (p = q) = [ ( p-q)v( p-q)]
es siempre posible eliminar los condicionales y bicondícionales ma
teriales en favor de, o que se les puede expresar en términos de,
conjunciones, disyunciones y negaciones. Aún más, por aplicaciones
reiteradas de los Teoremas de De Morgan y la Doble Negación es
posible reemplazar cualquier forma por una forma lógicamente equi
valente en la cual no haya signo de negación aplicado a una parte
compuesta. Así
P'Kq vr )-(s-i)]
usando repetidamente los principios de De Morgan y la Doble N e
gación setransformacomo aparece a continuación:
p v [(q v r)*{s*Ó]
pv[(gvr)v(s-í)]
pv [(9v r) v ( í v í ) ]
p v [(9v r) v (s v f)]
que por el principio de Asociación se convierte en,
p v q v rvJv t
( 2) (p * r ) v ( 9 T ) v (p * í) v ( 9 *s)
en la que los símbolos de conjunción conectan solamente variables
aisladas. Y la expresión
(3) (p-q) v (r-s)
y después a
( p v q ) v ( p = q)
{p v q ) v K p ' q ) v ( p - q ) ]
(p-q)v(p-q)v{p-q)
Aunque se encuentra ya en forma normal disyuntiva, puede sim
plificársele aún más por medio de las siguientes transformaciones.
Primero, aplicamos el principio de Tautología para reemplazar el
primer disyunto por su “doble” obteniendo
(p-q)v(p-q)v(p-q)v(p'q)
[p'(qvq)\v(p-q)v(p-q)
P v [(p vp)*qf]
y por último
pvq
1 Claude E. Shan non hizo una aplicación de las form as norm ales a los circuitos eléc
tricos (representando la conexión en paralelo por “v ” y la conexión en serie por “ .” ),
“A Sym bolic An alysis of Relay and Switching Circuits” , Transactions of The Am erican
Institute of Electrical Engineers, Vol. 57 (1 9 3 8 ). Págs. 713-723.
En el articulo de John E. P fe iffe r “ Symbolic L ogic", en Scientific American, Vol. 183,
No. 6 (diciem bre de 1950) se puede encontrar u n a exposición in fo rm al de ésta y m uchas
otras aplicaciones interesantes. Véase también “Logic M achines” por M artin Gaídner,
Scientific American, Vol. 186, N o . 3 (m a rzo d e 1952).
en forma normal booleana disyuntiva, o que es una Expansión
Booleana Disyuntiva siempre que esté en forma normal disyuntiva,
o que cada disyunto tenga exactamente una ocurrencia de ca^g varia
ble (o la variable o su negación), las variables aparezcan en orden
alfabético en cada disyunto y no haya dos disyuntos iguales. La
Expansión Booleana disyuntiva de p v q se form a al reemplazar, pri
mero, la variable p por p ■ {q v q ) y q por (p v p ) • q para obtener
la expresión equivalente p*(q v q ) v (p v p)*q, y después usando las
reglas de Distribución y Asociación para obtener (p’ q) v (p*<D v ( P' 9) v
(p'q), y, finalmente, cancelando las repeticiones del mismo conjunto
para obtener por la reglas de Conmutación y Tautología, lo que da
( p ' q ) v ( p - q ) v ( p- q ) . La Expansión Booleana disyuntiva de cualquier
forma sentencial contradictoria puede obtenerse por el mismo mé
todo general.
Una forma sentencial que contega las variables p, q, r, . . . se
dice que está en forma normal booleana conyuntiva o que es una
Expansión Booleana conyuntiva, a condición de que esté en forma
normal conjuntiva, cada conjunto contenga exactamente una ocu
rrencia de cada variable (y a sea la variable, ya sea su negación),
las variables ocurran en orden alfabético en cada conjunto y no
haya dos conjuntos iguales. La Expansión Booleana conjuntiva de
P 'q se forma al reemplazar, primero, p por p v ( q r - ^ ) y q por
(p • p ) v <7para obtener [p v (9*9)]*[{p*p) v 9], luego usando las reglas de
Distribución y de Asociación para obtener (p v q)*(p v q) ' ( p vq)*(pv q),
y por último cancelando las repeticiones del mismo conjunto por las
reglas de Conmutación y Tautología lo que da como resultado
(p v q)'(p v q)*(p v q ) . La Expansión Booleana conjuntiva de cualquier
forma sentencial no tautológica se obtiene con facilidad por el mismo
método general y puede usarse para decidir si la forma original es
contradictoria.
Cualquier Expansión Booleana conjuntiva que contenga n varia
bles y 2n conjuntos es reducible a una contradicción explícita. Así,
la Expansión Booleana conjuntiva (p v q)‘ (p v q ) m(p v q)’ (p v q) es equi
valente, por la regla de Distribución, a [p v (<7*<7)]*[p V(<T<7)]» que es
equivalente a la contradicción explícita p • p. Es igualmente obvio
que la Expansión Booleana conjuntiva de cualquier contradicción
contendrá 2* conjuntos si involucra n variables. Luego, la regla ge
neral es que cualquier forma sentencial que contenga n variables es
contradictoria si y solo si tiene una Expansión Booleana conjuntiva
que contiene 2* enunciados conjuntos.
La negación de una Expansión Booleana conjuntiva puede redu
cirse, mediante aplicaciones reiteradas del Teorema de De Morgan
y la Doble Negación a una Expansión Booleana disyuntiva lógica
mente equivalente que contiene las mismas variables, y el número
de sus disyuntos es igual al número de conjuntos de la Expansión
Booleana conjuntiva original. Luego la Expansión Booleana conjun
tiva (p v q v r ) ' ( p v q v r ) ‘ ( p v q v r) tiene como negación ( p v q v r)*(p v q
v r ) ’ ( p v q v r ) que es lógicamente equivalente a la Expansión Booleana
disyuntiva { p ' q m r ) v (p' g*r) v (p * q r r ). Dado que la negación de una con
tradicción es una tautología y una Expansión Booleana conjuntiva
que contiene n variables es una contradicción si y sólo si contiene
2n conjuntos, se sigue que una Expansión Booleana disyuntiva que
contiene n variables es una tautología si y sólo si contiene 2"
disyuntos.
El hecho de que una Expansión Booleana disyuntiva tal debe
ser tautológica puede verse, tal vez más claramente, gracias a las
siguientes consideraciones. En primer lugar, como sólo nos con
ciernen los enunciados compuestos función de verdad, hablar de
sustituir enunciados por las variables sentencíales de una forma
es equivalente a hablar de una asignación de valores de verdad a
las variables de esa forma. Ahora, así como cada renglón de una ta
bla de verdad con n columnas iniciales o guía representa una
asignación diferente de valores de verdad, a las n variables sen
tencíales involucradas, así también cada uno de los disyuntos
de una Expansión Booleana representa una asignación diferen
te de valores de verdad a las variables que contienen. Y así como
2" renglones de una tabla de verdad con n columnas iniciales o
columnas guía representan todas las asignaciones posibles de va
lores de verdad a sus variables, así los 2" disyuntos de una Expan
sión Booleana disyuntiva representan todas las asignaciones posibles
de valores de verdad a sus variables. Dado que los 2" disyuntos re
presentan todas las asignaciones posibles de valores de verdad a
sus variables, al menos uno de ellos debe ser verdadero. Y corno
sólo afirma que uno de los disyuntos es verdadero, cualquier Expan
sión Booleana disyuntiva que contiene n variables y 2" disyuntos
es tautológica. Esto se aclara de manera un tanto diferente en la
Sec. 7.6 y de nuevo en la Sec. 8.2.
Se indicó en el Cap. 2 que un argumento de función de verdad
es válido si y sólo si su enunciado condicional correspondiente (cuyo
antecedente es la conjunción de las premisas del argumento y cuyo
consecuente es la conclusión del argumento), es una tautología.
Como el contar el número de disyuntos de su Expansión Booleana
disyuntiva nos permite decidir si una forma dada es o no es
una tautología, esto nos proporciona un método alternativo para
decidir la validez de los argumentos. Así, la forma de argumento
Pv • • 9 se prueba que es válida construyendo la Expansión
Booleana disyuntiva de su correspondiente condicional [(p v g ) • p]
D q y observando que el número de sus disyuntos es 22.
Como la negación de una tautología es una contradicción, un
argumento es válido si y sólo si la negación de su correspondiente
condicional es una contradicción. Luego, otro método para decidir
la validez de un argumento es formar la Expansión Booleana con
juntiva de la negación de su correspondiente condicional y contar
el número de sus conjuntos. Si contiene n variables distintas y tiene
2* conjuntos, entonces el argumento es válido; de otra manera, es
inválido.
EJ E R CI CI OS
Para cada una de las siguientes, encontrar una equivalente tan simple
como sea posible:
1 . V v (9 -jó) * 6. ( p - q ) v ( q ' r ) v ( p - r ) v r
3. q ' l p v i y ) 8. p v { p D [</ v ( q D r ) ] }
4. p - ( p v q ) 9. ( p v q ) D [ ( p D q ) D ( y v q) }
5 . ( p v q ) - ( q v r) * (p v r ) * r *10 . ( p- q) D [{p D q) D ( f ^ ) ]
1 1 . {p*[(q-r) vp] j v { ( p - q ) * [ r => ( p - ’ r ) ] } y { p ' [ p 3 ( p - q - r ) ] }
12 . ( p - q ) v ( p - q - r ) v ( p - q ) v { p - q ‘ T) v ( p ' t j ) v ( p - q - r ) v ( p - q - r )
APENDICE
El Algebra de Clases
(a U fi) U y = a U (/? U y) y (a / J )y = a (/ fy )
a U /3 = afi y a/3 = a U /?
1= 0
Las dos ecuaciones siguientes son consecuencias inmediatas de las
definiciones precedentes:
a U a = 1 y a a = 0
a U 0 = a , a l = a , a 0 = 0, y a U 1 = 1
aft = 0
La proposición A : Todo a es (3, afirma que no hay nada que perte
nezca a « pero no a f3, lo que significa que el producto de a con el
complemento de fí es vacío. La proposición A se simboliza entonces
como
afi — 0
Para simbolizar las proposiciones categóricas I y O debemos in
troducir el signo de desigualdad donde “a =£ f í ’ afirma que o «
contiene un objeto que no pertenece a (3 o (3 contiene un objeto
que no es un miembro de «. La proposición I : Algún a es (3 afirma que
hay al menos un miembro de a que es un miembro de (3, esto es, que el
producto de <x y (3 no es vacío. En símbolos, la proposición I aparece
como
afí 0
La proposición O : Algún a no es {3, afirma que hay cuando menos un
miembro de a que no es miembro de ¡3, es decir, que el producto
de a y (3 no es vacío. En símbolos, la proposición O se expresa como
afi ^ 0
A l formularlas en la notación de clases es completamente obvio que
las proposiciones A y O son contradictorias como lo son las proposi
ciones E e l .
Algunas de las “inferencias inmediatas” tradicionales que invo
lucran proposiciones categóricas están ya contenidas en la notación
del álgebra de clases. Así, cada proposición tiene la misma simboli
zación que su obversa, esto es, “a/? — 0” simboliza tanto Todo <x es J3
como Ningún « es un no (3. Y la conversión, donde sea válida, es
una consecuencia del principio de conmutación, es decir, Algún a
es p y Algún p es a se simbolizan mediante “a p =/=0” y O” , res
pectivamente, que es obvio que son equivalentes porque ap — /?« por
conmutación.
Cuando nos ocupamos de las “inferencias mediatas” del simbo
lismo categórico tradicional podemos dividir todos los silogismos
categóricos en dos clases: los que sólo contienen proposiciones uni
versales {A y £ ) y los que al menos contienen una proposición
existencial ( I u O ). Con facilidad se muestra que todos los silogis
mos válidos de la primera clase tienen la forma
«yS = 0 , (3y ~ 0 . ay = 0
a/i ^ 0 ,0 y = 0 .’. ay ^ 0
Los axiomas:
Axioma 1. Si « y (3 están en C entonces <x U ¡3 está en C.
Axioma 2. Si « y ¡3 están en C entonces « n
¡3 está en C.
Axioma 3. Hay una entidad 0, en C, tal que a U 0 = a para cual
quier a en C.
Axioma 4. Hay una entidad 1, en C tal que a n 1 = a para cual
quier a en C.
Axioma 5. Si a y ¡3 están en C entonces « U j8« jí U a.
Axioma 6. Si a y (3 están en C entonces a (3 = B n «. n
Axioma 7. Si «, (3, y están en C entonces « U ( / 3 n y ) = ( a U / ? ) n
(a u y).
Axioma 8.
Si a, {3> y están en C entonces a fl (|3 U y ) = ( « n / ? ) U
( a n y).
Axioma 9. Si las entidades 0 y 1 que satisfacen los axiomas 3 y 4,
son únicas, entonces para cada a en C hay un —a en C
tal que
a U —a = 1 y a O —a = 0
Axioma 10. Hay un « en C y un (3 en C tales que a ^L(3.
Este sistema2es un sistema deductivo formal y no un sistema logís-
tico (véase el Cap. 6). En la interpretación a que se le destina, desde
* D el articulo “ Sets of Independen* Postuiaces for the A lgebra of Logic*, por E. V.
Huntington, Transaction'í of the Am erican M athematical Society, Vol. 5 (1 9 0 4 ), Pág. 288.
luego, C es la colección de todas las clases, 0 y 1 son lasclasesvacía
y universal, respectivamente, y los símbolos U, n y - representan la
adición de clases, la multiplicación y la complementación, respecti
vamente.
El lector interesado en deducir algunos teoremas a partir de estos
axiomas encontrará que los siguientes son de deducción bastante
fácil:
Teorema 1. Hay cuando más una entidad O en C tal que a U 0 = «.
■"Teorema 2. Hay cuando más una entidad 1 en C tal que a n 1 = «.
Teorema 3. a U a ~ a.
Teorema 4. a n a = a.
Teorema 5. a u 1 = 1.
Teorema 6. « 0 0 = 0.
♦Teorema 7. 0^=1,
Teorema 8. Si a — —(3, entonces (3 — —a.
Teorema 9. a ------- «.
Teorema 10. Si a n (3=£Q, entonces a ^ 0.
Teorema 11. a = ( « n ^ ) U (a n —/?).
* Teorema 12. « u (¡3 U y ) = ( « U /?) U y .
Teorema 13. n
« (¡3n n
y ) = (« ¡3)n y.
a = d f x (~ A x )
a fl (i — d f f(A x * B x)
a U /? = d f x(Ax v B x)
0 = d fx (A x * ~ A x )
1 = d f x(Ax v ~ A x )
a C (3 — d f (x)(Ax D Bx)
a = (3 — d f (x)(Ax — Bx)
a ^ ¡3 = d f~ (x )(A x = Bx)
La Teoría Ramificada
de los Tipos1
CASO 1.
( 1) Het(‘Het’) D :(3</>):‘Het,Desí>*<Het,De»í' ^
(2) D ;‘Het’Des<í**IHet,Des/' == ^ ^ = <p* '^^(‘Het’)
(3) D :‘Het,Des^)*'Het,DesHet = Het = <£(‘Het’)
(4) ~D: