Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lógica y Argumento
La publicación de este libro fue realizada con el apoyo de la Comisión Sectorial de Enseñanza (CSE) de
la Universidad de la República.
© José Seoane
© Departamento de Publicaciones, Unidad de Comunicación de la Universidad de la República
(UCUR)
José Enrique Rodó 1827 − Montevideo CP: 11200
Tels.: (+598) 2408 5714 − (+598) 2408 2906
Telefax: (+598) 2409 77 20
www.universidadur.edu.uy/bibliotecas/dpto_publicaciones.htm
infoed@edic.edu.uy
ISBN:
A la memoria de mis padres
A Marianella
Lewis Carroll
Alice’s Adventures in Wonderland
Contenido
Prólogo..............................................................................................................................................................................................9
Capítulo 1. El objeto de la lógica.........................................................................................................................11
Enunciados y argumentos....................................................................................................................................11
La reflexión meta-argumental...........................................................................................................................14
La noción intuitiva de consecuencia lógica.............................................................................................19
El valor del recurso a la forma..........................................................................................................................21
El objeto de la lógica...............................................................................................................................................23
Capítulo 2. Conceptos elementales de teoría intuitiva de conjuntos................................27
Introducción..................................................................................................................................................................27
Conjuntos........................................................................................................................................................................27
Subconjunto, conjunto vacío y conjunto potencia.............................................................................29
Operaciones conjuntísticas.................................................................................................................................30
Producto cartesiano. Relaciones ....................................................................................................................34
Relaciones de equivalencia. Particiones.....................................................................................................37
Relaciones de orden.................................................................................................................................................40
Funciones........................................................................................................................................................................42
Cardinalidad..................................................................................................................................................................45
Teoría intuitiva y teoría formal........................................................................................................................51
Capítulo 3. Lenguaje lógico proposicional: sintaxis............................................................................53
Introducción..................................................................................................................................................................53
Lenguaje formal: motivación e ideas intuitivas ...................................................................................55
El lenguaje formal proposicional....................................................................................................................58
Decidibilidad del conjunto de las fórmulas.............................................................................................64
Inducción y propiedades de fórmulas ........................................................................................................65
Síntesis..............................................................................................................................................................................69
Capítulo 4. Lenguaje lógico proposicional: semántica.......................................................................73
Introducción..................................................................................................................................................................73
Interpretar el lenguaje formal (desde el punto de vista intuitivo)............................................73
Interpretación de L (desde un punto de vista formal).....................................................................78
El problema de la corrección argumental.................................................................................................82
La evaluación de las fórmulas: método tabular ....................................................................................84
Un método más elegante para evaluar fórmulas: tablas analíticas............................................88
Conjuntos adecuados de conectivos.............................................................................................................93
Tautologías famosas..................................................................................................................................................95
Síntesis..............................................................................................................................................................................97
Capítulo 5. Lenguaje lógico proposicional: sistemas deductivos..............................................101
Introducción..................................................................................................................................................................101
La noción de argumento idealmente justificado..................................................................................102
Sistemas deductivos: nociones generales...................................................................................................103
Un sistema axiomático formal para el lenguaje proposicional....................................................106
Teoría axiomática formal: el sistema M......................................................................................................108
Sistema de deducción natural: reglas de inferencia ...........................................................................110
Sistema de deducción natural: ejemplos de pruebas ........................................................................113
Estrategias demostrativas y reglas derivadas: ideas generales ....................................................114
Estrategias demostrativas, conectores, reglas derivadas y teoremas .....................................116
Síntesis .............................................................................................................................................................................124
Capítulo 6. Lenguajes de orden uno: sintaxis ...........................................................................................127
Introducción..................................................................................................................................................................127
La «ampliación» del lenguaje ...........................................................................................................................128
Lenguajes de orden uno (desde el punto de vista informal) .......................................................131
Lenguajes de orden uno (desde el punto de vista formal) ............................................................132
Traducciones y expresividad de L..................................................................................................................140
Síntesis..............................................................................................................................................................................142
Capítulo 7. Lenguajes de orden uno: semántica........................................................................................145
Introducción..................................................................................................................................................................145
Interpretación de los lenguajes de orden uno
(desde un punto de vista intuitivo)................................................................................................................145
Interpretación de los lenguajes de orden uno
(desde el punto de vista formal).......................................................................................................................152
Expresividad «teórico-modélica»....................................................................................................................156
Consecuencia semántica y validez..................................................................................................................157
Síntesis..............................................................................................................................................................................161
Capítulo 8. Lenguajes de orden uno: sistemas deductivos...............................................................163
Introducción..................................................................................................................................................................163
Tablas analíticas cuantificacionales................................................................................................................164
Sistemas deductivos para lenguajes de orden uno...............................................................................167
Axiomas y reglas para la igualdad..................................................................................................................174
Ejemplos de teorías axiomáticas en orden uno.....................................................................................176
Síntesis..............................................................................................................................................................................179
Capítulo 9. Teoría lógica y modelos argumentales ............................................................................181
Introducción..................................................................................................................................................................181
La estrategia traducción–cálculo....................................................................................................................181
La riqueza de las relaciones entre lógica y argumentación:
usando los modelos tradicionales....................................................................................................................183
La riqueza de las relaciones lógica y argumentación: ensayando otros modelos............187
La riqueza de las relaciones entre lógica y argumentación: la crítica argumental........189
Síntesis..............................................................................................................................................................................192
Bibliografía.....................................................................................................................................................................................195
Índice analítico............................................................................................................................................................................197
Prólogo
Este libro es obra esencialmente colectiva. Su origen reside en los cursos de
lógica de la Facultad de Humanidades y Ciencias de la Educación. Estos se orien-
tan a estudiantes de las licenciaturas de Filosofía y Lingüística; para ayudarlos,
comencé redactando unas notas introductorias a los distintos tópicos del curso y,
con el paso del tiempo, amplié y profundicé las mismas. En tal trabajo me bene-
ficié de los conocimientos y el compañerismo de diversos equipos; integraron los
mismos, en diferentes momentos, Soledad Caño, Ignacio Cervieri, Aníbal Corti,
Matías Gariazzo, Gonzalo Hernández, Claudia Márquez, María Fernanda Pallares,
Facundo Ponce de León, Luciano Silva, Ignacio Vilaró y un conjunto amplísimo de
muchachas y muchachos, la totalidad de cuyos nombres me es imposible recordar
así como su entusiasmo, inteligencia y calidez me es imposible olvidar. Pero, muy
especialmente, estas páginas mantienen una deuda enorme con todos los estudian-
tes que participaron de mil formas cooperativas en aquellos cursos.
Asimismo, este libro abreva en un conjunto rico de manuales de lógica.
Seguramente las obras de las que más me he servido son la formidable introducción
a la lógica escrita por Cori y Lascar (muy principalmente, su primer tomo) y el
excelente libro de Manzano sobre la teoría de modelos. He pretendido en prolijas
notas al pie dar cuenta de las diversas deudas intelectuales pero, seguramente, no
he logrado hacer justicia a una gama tan variada de autores y textos. En particular,
aunque no me he apoyado en este libro específicamente en ningún texto suyo, qui-
siera dejar constancia de mi gratitud intelectual y personal a mi antiguo profesor de
lógica Enrique Caorsi. Asimismo expresar mi reconocimiento al grupo de lógicos
y filósofos de los Coloquios Cono Sur de Filosofía de las Ciencias Formales, en
especial, a mi amigo Abel Lassalle Casanave, creador y organizador entusiasta de
estos eventos.
Finalmente, debo agradecer el trabajo inteligente, cuidadoso y sacrificado de
María Fernanda Pallares así como de Alejandro Chmiel y Matías Osta, en la edi-
ción y corrección de los originales; sin sus esfuerzos, no existiría este libro. Dicho
trabajo fue apoyado por la Comisión Sectorial de Enseñanza de la Universidad de la
República en el marco de su llamado a la elaboración de manuales didácticos para
la enseñanza de grado (2010).
Recuerdo cuánto me conmovió, en la lejana década del 80, el descubrimiento de
la belleza y la profundidad de la lógica matemática; espero poder transmitir en las
Comisión Sectorial de Enseñanza
José Seoane
9
Capítulo 1
El objeto de la lógica
Enunciados y argumentos
Oraciones
enunciados
no-enunciados
te, deseamos establecer ciertas relaciones entre enunciados. Por ejemplo, aspiramos
a convencer a determinado interlocutor de que, si admite la necesidad de aumentar
2 Esta concepción basada en la noción de información encuentra una poderosa justificación filosó-
fica en Barwise y Etchemendy (1999). Una consecuencia importante de este énfasis informacio-
nal es que podría ampliarse, por así decir, la noción de argumento arriba ofrecida, permitiendo
formas o modalidades no lingüísticas de codificar la información.
3 La discusión en torno a la noción de argumento ha cobrado un énfasis especial en los últimos
tiempos. El lector interesado en internarse en la selva de literatura relativamente reciente sobre tal
noción puede consultar, por ejemplo, Van Eemeren, Grootendorst y Kruiger (1987). Un ejemplo
de tratamiento filosófico de la cuestión puede apreciarse, por ejemplo, en Parsons (1996).
12
Como en otras ciencias, un buen punto de partida es empezar con una noción
esquemática, pero valiosa a la luz de ciertos fines o de ciertos supuestos asumidos. La
forma de entender «argumento» en este contexto exhibe esas cualidades.4 En las líneas
que siguen se caracteriza este concepto de un modo habitual en la literatura lógica.
En primer término, un argumento es una cierta estructura lingüística conforma-
da por enunciados. La peculiaridad de la misma reside en que se afirma una relación
entre determinados enunciados —denominados «premisas»— y un enunciado —
denominado «conclusión»— que puede parafrasearse así: la conclusión se sigue o se
desprende o se extrae de las premisas. Un ejemplo nos ayudará a comprender mejor
tal relación:
Ejemplo 1
donde las «Prei» (1≤i≤n, siendo i un entero positivo) representan premisas, «Con»
Comisión Sectorial de Enseñanza
4 Una discusión acerca de ciertos fines o supuestos que guían la construcción de este concepto de
argumento correcto desde el punto de vista de la lógica (y que resultan relevantes para el propio
modelo de argumento expuesto) puede leerse en Seoane (2004).
13
identificatoria en muchos casos dista de ser trivial; en general, en contextos como
los de una asamblea gremial, la Cámara de Senadores o un congreso científico (por
citar algunos ejemplos), las personas exponen sus argumentos de una forma com-
pleja y expresivamente rica, alejada de la pacífica transparencia del esquema pre-
misas/conclusión arriba expuesto. Esto obliga al que se propone ponderar tales
argumentos a un cuidadoso esfuerzo analítico previo, a saber, identificarlos.
Como una aproximación inicial, podríamos decir que la lógica se interesa por
la argumentación. Pero esto, como es obvio, no basta para caracterizar la lógica; en
las próximas secciones iremos, paulatinamente, acercándonos a una primera carac-
terización de la disciplina.
Problemas y tareas
1. Construya un argumento, guiándose por el ejemplo I. Use la conclusión de
su argumento, para construir un segundo argumento en que la misma oficie
de premisa.
2. Los siguientes textos periodísticos poseen evidentes pretensiones argumen-
tales. Identifique premisas y conclusión en cada caso:
si la mutua competencia [entre marcas de cigarrillos] fuera la única causa de
los gastos multimillonarios en el rubro publicitario, la lógica diría que las
grandes compañías deberían unirse para apoyar a los gobiernos que promue-
ven la supresión de la publicidad de cigarrillos, favoreciendo así un «statu quo»
que protegería a las poderosas marcas líderes de las amenazas de los pequeños
competidores. Por cierto que en todo el mundo, y también en Uruguay, suce-
de exactamente lo contrario. (Daniel Kliman, Cortinas de humo, Relaciones,
marzo 1998).
Si el atentado al que el dictador [Pinochet] sobrevivió en septiembre de 1986
hubiese tenido éxito la transición chilena hubiese sido completamente distinta.
Para algunos simplemente no hubiese existido transición sino un baño de san-
gre. Para otros, el propio régimen militar, presionado por la oposición interna
y por las fuerzas democráticas externas, dentro y fuera de América Latina, sin
el factor de unidad que ha sido el dictador, habría ido cediendo espacios y la
Concertación habría asumido en condiciones más favorables, menos «atadas»
(J. Cayuela, Chile: apuntes para el fin del siglo, Brecha, año 13, n.° 640).
La reflexión meta-argumental
Antes del surgimiento de la lógica como disciplina —que se sitúa en Grecia,
aproximadamente en el siglo IV antes de Cristo— obviamente se formularon y dis-
Universidad de la República
a h
tángulos cuyos ángulos rectos están indicados en el diagrama. Dado que el valor de
los lados es 1, podemos inferir, aplicando el Teorema de Pitágoras, que h2 =12+12
=2 o sea h=
pasos intermedios
B y no B contradicción
No es cierto A conclusión
17
como «se sigue» a partir de ciertos enunciados otros enunciados. O, puesto de otro
modo, a diferencia del modelo 1, se representa de esta forma cómo ciertos enuncia-
dos justifican a su vez otros enunciados y éstos a su vez otros y así, a través de una
especie de cadena justificadora, se llega al «último eslabón» que es, precisamente, la
conclusión. Podría objetarse, no obstante, que quizá fuera conveniente representar
(fiel al modelo 1) a todo lo que se ubica «por encima» o «antes» de la conclusión en
nuestro esquema como «premisas». Sin embargo, si adoptamos tal política —puede
replicarse— estamos perdiendo algo fundamental: no se encuentra en la misma rela-
ción la segunda premisa con la primera premisa del ejemplo I que la contradicción
con el supuesto de nuestro último diagrama. En el primer caso podríamos decir que
son «independientes»; en el último caso queremos evidenciar que es, precisamente, la
asunción del supuesto lo que lleva a la contradicción. Construyamos pues una segunda
forma de representar o entender argumentos:
—donde Pasi (1≤i≤k, siendo i un entero positivo) son los pasos aludidos.
Se tienen entonces dos modos o formas de representar o entender argumentos.10
¿Se encuentran estos modos relacionados? La respuesta es: sí. Adviértase que, en un
sentido muy preciso, las premisas justifican los pasos.11 Luego, para que la cadena
justificacional funcione, tenemos que tener trabajando la relación de justificación
entre premisas y pasos. Es en este sentido que podríamos sostener que el modelo 1
es más básico que el modelo 2. Asumamos pues el modelo 1 como punto de partida;
más adelante tendremos oportunidad de encontrar una motivación específica para
el uso del modelo 2.
Es conveniente advertir que hemos introducido estos nuevos ejemplos de textos
argumentales a los efectos de motivar fundamentalmente la introducción del mo-
delo 2 de representar argumentos; todo lo que hemos hecho hasta ahora es explorar
formas o modalidades de representar argumentaciones.
Problemas y tareas
1. Revise la demostración por el absurdo expuesta antes. Identifique un enun-
ciado que juegue en la misma el papel de premisa y un enunciado que juegue
el papel de paso en dicha prueba.
2. Procure en algún texto de matemática una demostración por el absurdo.
Identifique, en ese caso, un enunciado que cumpla el papel de premisa, un
enunciado que oficie de paso en la prueba y, finalmente, la conclusión del
Universidad de la República
argumento.
10 La distinción fue introducida exactamente en estos términos en Seoane (1999). Como a veces
ocurre, posteriormente uno descubre que algunas de las ideas que sostuvo como propias ya ha-
bían sido defendidas por autores distantes en el espacio y/o en el tiempo. Esto me sucedió con
Parsons (1996) y, de una forma sorprendente, con Corcoran (1972). Hay matices pero ciertas
ideas básicas son compartidas.
11 Esta afirmación podrá ser mejor entendida más adelante.
18
En síntesis, hemos visto que la lógica es una reflexión meta−argumental. Los ar-
gumentos pueden representarse o entenderse, en este contexto, ya apelando al mo-
delo 1, ya apelando al modelo 2. Dado el carácter básico del primero, asumiremos
el mismo como punto de partida. Pero la reflexión lógica no queda caracterizada,
como hemos dicho, por su status meta−argumental; le interesa la evaluación de los
argumentos en términos de su corrección. Este es el aspecto que abordaremos en la
próxima sección.
19
En este capítulo daremos la noción intuitiva de tal relación; el resto del libro puede
entenderse como un esfuerzo por elucidar, es decir, esclarecer, rigorizar esta noción
básica. El concepto intuitivo de consecuencia lógica puede caracterizarse como sigue:
a. Si una ciudad está al norte del Río Negro, se ubica al norte de Montevideo.
La ciudad de Florida está al norte de Montevideo
La ciudad de Florida está al norte del Río Negro.
13 El adjetivo «deductivo» puede usarse como sinónimo de «lógicamente correcto» (en tal caso,
carece de sentido la expresión «argumento deductivo incorrecto») o puede usarse como sinónimo
de «argumento que se pretende lógicamente correcto». Este último uso será el que frecuentemen-
te adoptaremos en el presente libro.
21
contradicción, ese supuesto no puede ser verdad, es decir, su negación es verdad. La
garantía que proveen ciertas estructuras es que, dada la verdad de las premisas, se
tiene necesariamente la verdad de la conclusión —tal es el caso de la argumentación
por el absurdo, aunque aún es muy pronto para comprobarlo.
Brevemente expresado, el recurso a la forma o estructura lógica aparece
entonces como una vía notable para resolver el problema de la identificación o del
reconocimiento de la relación de consecuencia lógica entre premisas y conclusión.14
Como se ha subrayado, no basta a los efectos de la corrección lógica el carácter
preservador de la verdad, debe adicionarse el carácter necesario de tal preservación.
Esta dimensión o cualificación modal es (como hemos visto) esencial a la caracte-
rización de nuestro concepto intuitivo. Es decir, hay relación de implicación entre
premisas y conclusión si siempre (este vocablo expresa la necesidad) que las premi-
sas son verdaderas, la conclusión también lo es. No necesariamente debe resultar
evidente cómo tal transmisión necesaria de la verdad puede quedar garantizada por
propiedades formales o estructurales de la argumentación. A los efectos de aclarar
esta idea, introduzcamos un nuevo argumento:
Adviértase que tanto la conclusión del ejemplo I (p. 11) como la del ejemplo II
parecen desprenderse con igual necesidad de las respectivas premisas, no importan-
do que, en el primer caso, se hable de sirenas y, en el segundo, se hable de lógicos.
Luego ese «desprenderse con necesidad» de la conclusión a partir de las premisas
no puede deberse a los respectivos contenidos de los argumentos sino a la forma o
estructura compartida por ambos. Pues bien, ¿cuál es dicha estructura?
La pregunta no es fácil pero una estrategia intuitiva destinada a responderla
podría consistir en determinar cuáles son las porciones lingüísticas que tanto el
ejemplo I como el II poseen en común. Éstas serán precisamente las responsables
de la corrección lógica. Al igual que en el caso del esquema de argumentación por
el absurdo podemos colocar letras para representar aquellas expresiones lingüísti-
cas en que se producen las variaciones que —atendiendo a estos casos— no son
relevantes para los actuales propósitos. El resultado de tal operación podría quizá
esquematizarse así:
Si A entonces B
Esquema (Modus Ponens)
A
B
Universidad de la República
14 Existen aquí diversas cuestiones conceptuales sutiles y profundas. Pero, en beneficio de la clari-
dad expositiva, prescindiremos en este momento de la exposición de discutirlas; más adelante nos
referiremos a algunas de ellas. El enfoque presentado sigue las ideas expuestas en Etchemendy
(1983).
22
Se podría intentar demostrar —y lo haremos más tarde— que, efectivamente,
esta estructura garantiza la verdad de la conclusión, dada la verdad de las premisas.
Ahora, a los efectos de ayudar a la intuición, puede ser útil notar cómo al efec-
tuar sustituciones arbitrarias —respetando solo ciertas restricciones relativamente
obvias— obtenemos argumentos en los cuales la verdad de la conclusión parece
seguirse con necesidad de la verdad de las premisas. Más adelante nos detendre-
mos con más detalle en las antedichas restricciones que gobiernan la sustitución,
por el momento baste advertir que solo deberían sustituirse las letras mayúsculas
por enunciados y, una vez que sustituimos una cierta letra por un enunciado, de-
bemos hacerlo en todas las oportunidades que aparece la letra, es decir, siempre
que aparece la letra en nuestro esquema aparecerá el mismo enunciado en nuestro
argumento que resulta de la sustitución en el esquema. Los ejemplos I y II de arriba
pueden entenderse así como resultados de sustituciones específicas en el esquema
de arriba —tradicionalmente denominado «Modus Ponens». Estas observaciones
son una primera aproximación al papel del recurso al análisis estructural o formal de
los argumentos que desarrolla el lógico.
El objeto de la lógica
Si se atiende a los desarrollos anteriores pueden ofrecerse una primera caracteri-
zación del objeto de la lógica. La misma podría expresarse así: la lógica se ocupa del
estudio de la argumentación deductiva.
Se puede encontrar en la literatura —como hemos señalado— dos usos de la pa-
labra «deductivo». En algunos casos, se habla de «argumento deductivo» solo cuando
la conclusión es consecuencia lógica de las premisas y luego las nociones de «argu-
mento deductivo», «argumento lógicamente correcto» y «argumento válido» coin-
ciden. En otros casos se entiende por «argumento deductivo» aquellos argumentos
en que se pretende o se aspira a que las premisas impliquen la conclusión. Luego, si
la relación de implicación se da, se dice que son correctos (válidos) y si la relación
de implicación no se da, se dice que son incorrectos (inválidos). En este libro, como
dijimos, este último uso será el predilecto. La caracterización preliminar del objeto
de la lógica dada arriba adquiere un significado quizá algo diferente dependiendo
del uso escogido. Si entiendo bien, es más hospitalaria si coincide con nuestra elec-
ción terminológica pero aún así la misma parece excesivamente restrictiva. Veamos
brevemente este aspecto.
Existe cierto tipo de argumentos que exhiben estas dos inquietantes cualida-
Comisión Sectorial de Enseñanza
23
por los mismos parece haberse reavivado.15 Aún tomado el vocablo «deductivo» en
el sentido en que lo hemos tomado aquí parece incapaz de cubrir la totalidad de
estrategias argumentales pertenecientes a dicha categoría. Es esta una primera razón
por la que resultaría conveniente matizar nuestra caracterización general.
Pero existe aún una segunda y quizá más poderosa razón para hacerlo. La mate-
matización de la lógica la torna, en el sentido habitual de la palabra, una disciplina
matemática. Y este hecho (conjuntamente con otros factores) supuso la aparición
de ricas motivaciones intelectuales provenientes de las matemáticas que cautivaron
la atención de los lógicos. Existen conexiones profundas e imposibles de exponer
aquí entre los diversos campos de estudio que surgen en el seno de la lógica pero
parecería forzado sostener que todos ellos se encuentran conectados de igual forma
con el problema de la evaluación argumental. Uno de esos campos es la teoría de
conjuntos —cuyos rudimentos estudiaremos pronto— pero no es el único. Además
se suelen distinguir (tradicionalmente) teoría de modelos, teoría de la prueba y teoría
de la computabilidad. Esta proliferación de intereses lógicos ha llevado a algunos
autores a caracterizar la lógica como el estudio de los lenguajes formales. Estas ob-
servaciones nos aconsejan también temperar algo nuestra caracterización inicial del
objeto de la lógica.
Aunque hemos visto razones para matizar nuestra caracterización inicial del ob-
jeto de la lógica, debe reconocerse que la misma captura un aspecto esencial del
trabajo de la disciplina. Luego, en este libro, nos ocuparemos de la lógica como
teoría de la corrección deductiva argumental, esto es, hemos escogido, a los efectos
de exponer las nociones básicas de la teoría lógica, como motivación fundamental
el estudio de la corrección argumental. Dado que para desarrollar tal teoría el lógico
apelará a la consideración estructural o formal de la argumentación, veremos que
el lenguaje natural no le resultará satisfactorio. Luego se embarcará en la tarea de
construir lenguajes artificiales, lenguajes hechos a la medida de los propósitos del
análisis formal i.e. lenguajes formales. De este modo el estudio que desarrollaremos
aquí cae cómodamente también en la caracterización de la lógica como teoría de los
lenguajes formales.
Una observación final destinada a evitar equívocos. Debiera ser evidente que no
todo argumento es un argumento deductivo. Los argumentos deductivos son solo
parte de la colección más amplia de los argumentos; existen argumentos que preten-
den que las premisas justifiquen la conclusión pero no que lo hagan vía la relación
de consecuencia lógica. Existen pues otras formas de evaluar la corrección de un
argumento que no son los patrones de la corrección deductiva. En un sentido am-
plio, ese tipo de argumentos pueden denominarse «inductivos». La idea más general
Universidad de la República
asociada a esta colección de argumentos es que, si bien en ellos las premisas no im-
plican la conclusión, le otorgan a la misma «mayor probabilidad» o «verosimilitud».16
15 Un tratamiento especialmente influyente de las mismas es el propuesto por Hamblin (1970).
16 En algunos manuales tradicionales de lógica, por ejemplo Copi (1994), puede encontrarse una
caracterización detallada de las argumentaciones inductivas así como una clasificación de las mis-
mas. Una caracterización rápida pero conceptualmente certera puede leerse en Pereda (1995).
24
Como el lector quizá ya ha concluido, en realidad puede evaluarse un argumento
usando criterios diferentes; más que situar la diferencia entre colecciones de argu-
mentos entonces la misma podría situarse en modos o patrones de evaluación.17
Es obvio que debemos evaluar argumentos, digamos así, en forma pertinente. Un
argumento deductivo, en el sentido que hemos dado aquí a este término, deberá ser
evaluado en términos de si su conclusión es consecuencia lógica de sus premisas
pero un argumento inductivo debiera ser evaluado en términos de si su conclusión
es, por así decirlo, consecuencia «inductiva» de sus premisas.
Problemas y tareas
1. Si tuviera que evaluar la comprensión de este capítulo, ¿cuáles serían las pre-
guntas que propondría? Formule seis interrogantes.
2. Responda las siguientes cuestiones:
a. ¿Qué se entiende aquí por «enunciado»?
b. ¿Qué se entiende por «argumento»?
c. ¿Cuáles son los dos modelos argumentales estudiados?
d. ¿Cómo se caracteriza la relación de «consecuencia lógica»?
e. ¿Cuál es el objeto de la lógica?
3. Compare el cuestionario elaborado por usted en el ejercicio 1 con respecto
al presentado en el ejercicio 2. A la luz de esta comparación, proponga un
cuestionario que le parezca óptimo.
17 Como respecto de otros tópicos básicos discutidos en este capítulo, puede resultar muy útil la
lectura del capítulo 2 del libro de Haack (1991).
25
Capítulo 2
Conceptos elementales
de teoría intuitiva de conjuntos
Introducción
En el capítulo anterior describimos (en forma amplia) el objeto de la teoría ló-
gica. Esta se ocupa de una forma de corrección argumental caracterizada por la
exigencia de la relación de consecuencia lógica entre conclusión y premisas.18 El
lógico apela al análisis formal o estructural de los argumentos como recurso meto-
dológico para llevar adelante su estudio de tal relación. Esta estrategia da origen a
la emergencia de lenguajes artificiales —como hemos dicho antes— construidos a
la medida de su propósito. Tales lenguajes se denominan lenguajes formales —es-
tudiaremos los mismos a partir del próximo capítulo. Pero para definir y explorar
estos lenguajes la teoría lógica apela al poder expresivo y analítico de la teoría de
conjuntos. Esta es la razón por la cual ofreceremos ahora una presentación rudimen-
taria de esta última en su parte más básica. Nuestra preocupación fundamental se
reducirá a especificar su lenguaje y definir sus conceptos elementales en términos
intuitivos o informales. Una comprensión más profunda de la teoría de conjuntos
y, en particular, de sus presentaciones formales19 presupone el conocimiento que
aspira a ofrecer este libro.20
Conjuntos
Se entenderá por conjunto una colección de objetos. Los objetos que pertenecen
al conjunto se denominan elementos del conjunto. Aunque las aproximaciones de
arriba exhiban un grado considerable de ambigüedad, se ha optado por mantenerlas
pues son útiles desde el punto de vista intuitivo; debiera consignarse, no obstante,
que los conceptos de conjunto y elemento, en esta teoría, son conceptos primitivos, es
decir, conceptos que carecen de definición explícita en la teoría.
Los objetos deben ser absolutamente identificables y, dado un objeto y un con-
Comisión Sectorial de Enseñanza
junto, este pertenece o no al conjunto pero no ambos casos. Se notará que un objeto
La propiedad en este caso sería «ser un número natural mayor estricto que 10 y
menor estricto que 15».
Como el lector seguramente advirtió, el mismo conjunto fue definido por las
dos modalidades estudiadas. Una pregunta razonable es si siempre podemos ope-
rar así, es decir, si escoger una u otra modalidad para definir un cierto conjunto es
siempre posible. La respuesta es: no. La motivación, precisamente, de introducir las
definiciones por comprensión reside en que, respecto de ciertos conjuntos, puede
resultar incómodo o directamente imposible definirlos por extensión. Tal es el caso
de conjuntos «muy grandes» o infinitos, como por ejemplo: el conjunto de los nú-
meros naturales impares.
Problemas y tareas
1. Sea el conjunto de los números naturales.
Ofrezca una caracterización por extensión de estos conjuntos:
a. {x:x∈ y 5<x<9}
b. {x:x∈ y 17 ≤ x ≤ 20}
c. {x:x es un color del arco iris}
d. {x:x∈ y x>4 y x<6 y x no es par}
Ofrezca una caracterización por comprensión de conjuntos que contengan exclusi-
vamente los elementos que se sugieren en cada uno de los casos siguientes:
e. 2, 4, 6, 8, 10,…
f. 2, 4, 8, 16, 32,…
g. lunes, martes, miércoles, jueves, viernes
h. a, b, c, d
Universidad de la República
28
Subconjunto, conjunto vacío y conjunto potencia
Se afirmó arriba que se ha definido de dos maneras diferentes «el mismo» con-
junto, es decir, que A y B —como han sido definidos arriba— son iguales, i.e. A=B.
Pero ¿qué significa que A y B son iguales? La respuesta es simple: que poseen los
mismos elementos. Es decir, que si algo es elemento de A, entonces lo es de B —y
la recíproca. La relación enunciada entre A y B que hemos usado para caracterizar
cuando dos conjuntos son iguales, se denomina inclusión. En forma general puede
definirse así: un conjunto X se encuentra incluido en un conjunto Y si y solamente si
todo elemento de X es también elemento de Y. Se notará tal relación entre X e Y de
la forma siguiente: X⊆Y —se lee «X está incluido en Y». Cuando X⊆Y también se
dice que X es subconjunto de Y.
A veces se distingue entre inclusión e inclusión estricta. Esta última exige que
los conjuntos sean distintos, algo que, como es obvio, no exige la primera —trivial-
mente, para todo conjunto X, X⊆X. La inclusión estricta se nota —elocuentemen-
te— de esta forma: X⊂Y. En este caso, suele decirse que X es un subconjunto propio
de Y. Por ejemplo, los números naturales pares se encuentran incluidos estricta-
mente en el conjunto de los números naturales. La inclusión estricta de X en Y, es
decir, X⊂Y puede representarse gráficamente así:
esto es el conjunto de los x que son distintos de sí mismos. Es obvio que, para cual-
quier conjunto X, se tiene que ∅⊆X. Un conjunto que posee un único elemento se
le denominará singleton o conjunto unitario. Un conjunto que contiene dos elemen-
tos se le denominará par.
Se han presentado diversos ejemplos de conjuntos. Podría quizá surgir la si-
guiente pregunta: ¿existen conjuntos cuyos elementos sean a su vez conjuntos? La
29
respuesta es: sí. Un muy conocido ejemplo de esto es el denominado conjunto poten-
cia (de un cierto conjunto dado). El conjunto potencia de un conjunto A es, preci-
samente, la colección de todos los subconjuntos de A. Es decir, sea A un conjunto,
el conjunto potencia de A es el conjunto cuyos elementos son los X (y solo ellos)
tales que X⊆A. Se le nota ℘(a) y puede leerse «potencia de A» o «partes de A».
Ejemplos:
A={1,2}, ℘(A)={∅,{1,2},{1},{2}}
B={1}, ℘(B)={∅,{1}}
Nótese que ℘(∅)={∅}
Operaciones conjuntísticas
Si se piensa en términos gráficos parece fácil construir conjuntos a partir de
conjuntos previamente dados. Por ejemplo, dados A y B, podríamos pensar en
construir un conjunto que contenga tanto a los elementos de A como a los de B o
uno que solo contenga a los elementos comunes a ambos. A continuación se verán
algunas operaciones entre conjuntos que recogen (entre otras) estos modos intuiti-
vamente descriptos de construir conjuntos.
En primer lugar, dados dos conjuntos A y B, la operación denominada intersec-
ción —se nota A∩B— consiste, intuitivamente hablando, en «agrupar» los elemen-
tos comunes a A y B. Es decir:
A∩B
A B
30
Como es evidente, este conjunto está integrado exclusivamente por aquellos
elementos que pertenecen a todos los conjuntos que pertenecen a C.
Ejemplos:
A={1,2,3} B={6,5,2} A∩B={2}
A={∅} A∩∅=∅
⊃
C={{1,2},{3,1},{2,3,1,4},{5,4,1}} X={1}
X∈C
A∪B
A B
Esta operación, tal como la hemos estudiado hasta aquí, genera un conjunto a
partir de dos conjuntos. Puede generalizarse la misma de modo que permita generar
un conjunto a partir de un conjunto (finito o infinito) de conjuntos cualesquiera. Es
decir, dado un conjunto C de conjuntos podemos hacer la unión de todos los ele-
⊃
mentos de C, esto es, X= {z: para algún X∈C, z∈X}. Como es obvio, los
X∈C
elementos que integran este conjunto son exclusivamente aquellos que pertenecen
a algún conjunto perteneciente a C.
Ejemplos:
A={1,2,3} B={6,5,2} A∪B={1,2,3,5,6}
A={∅} A∪∅={∅}
Comisión Sectorial de Enseñanza
⊃
C={{1,2},{3,1},{2,3,1,4},{5,4,1}} X= {1,2,3,4,5}
X∈C
31
A-B={x:x∈A y x∉B}.
Ejemplo:
Sean A={1, 2, 3} y B= {1,3} , A - B={2}.
Gráficamente representada la operación diferencia luciría así:
A−B
A B
Proposiciones
Sean A, B, C conjuntos. Entonces,
Universidad de la República
a. A⊆A;
b. ∅⊆A;
c. A∩B=B∩A, A∪B=B∪A;
d. A∪(B∩C)=(A∪B)∩(A∪C), A∩(B∪C)=(A∩B)∪(A∩C).
32
Prueba. Las partes (a) y (b) se dejan al lector.
c. Si x∈A∩B, entonces, por definición de intersección, x∈A y x∈B, es decir,
x∈B y x∈A i.e. x∈B∩A. Luego A∩B⊆B∩A. Un argumento análogo permite
probar B∩A⊆A∩B. Luego, A∩B=B∩A.
Si x∈A∪B, entonces, por definición de unión, x∈A o x∈B, es decir, x∈B o
x∈A i.e. x∈B∪A. Por lo tanto, A∪B⊆B∪A. Un argumento análogo permite
probar que B∪A⊆A∪B. Luego A∪B=B∪A.
d. Si x∈A∪(B∩C), entonces, por definición, x∈A o x∈B∩C. Supongamos que
x∈A, entonces x∈A o x∈B i.e. x∈A∪B. Por argumento análogo x∈A∪C.
Luego x∈(A∪B)∩(A∪C). Supongamos que x∈B∩C, entonces, por defini-
ción, x∈B y x∈C. Luego, como x∈B, x∈A∪B y como x∈C, x∈A∪C. De
aquí se deduce que x∈(A∪B)∩(A∪C). Por lo tanto, si x∈A∪(B∩C) entonces
x∈(A∪B)∩(A∪C) i.e. A∪(B∩C)⊆(A∪B)∩(A∪C).
Si x∈(A∪B)∩(A∪C), entonces x∈A∪B y x∈A∪C. Si x∈A, entonces ob-
viamente x∈A∪(B∩C). Si x∉A, como x∈A∪B y x∈A∪C, entonces x∈B y
x∈C i.e. x∈B∩C y luego x∈A∪(B∩C). Por lo tanto, si x∈(A∪B)∩(A∪C),
entonces x∈A∪(B∩C), es decir, (A∪B)∩(A∪C)⊆A∪(B∩C). Luego
A∪(B∩C)=(A∪B)∩(A∪C). La otra igualdad es dejada al lector.
Problemas y tareas
1. Caracterice por extensión el conjunto ℘(a) cuando
a. A={2}
b. A={2,3}
c. A={∅,{2}}
2. Sea A={1,2}, B={3,1} y C es un conjunto cualquiera. Indique si los enuncia-
dos que se listan a continuación son V (verdaderos), F (falsos) o I (indetermi-
nados, en el sentido que, en base a la información de la que disponemos, no
podemos afirmar si son verdaderos o falsos):
Enunciados V/F/I
A∩B={1,2,3}
A∩B⊆{5,6,1,7,9}
{1,2,3}⊂A∪B
A∪B⊂C
Si A⊂C y B⊂C entonces A∩B⊂C
Comisión Sectorial de Enseñanza
A∪∅=A
C⊆A o A⊆C
A∩∅=A
A∩C⊆ B∩C
33
4. Demuestre (al modo de las pruebas dadas en las proposiciones p. 30) los
enunciados siguientes:
a. X∪∅=X
b. X∩X =∅
c. Si X⊆Y entonces X∪Y=Y
d. Si X∪Y=Y entonces X⊆Y
5. Si observa los enunciados demostrados en 4, se advierte que si sustituimos
unión (intersección) por intersección (unión) los enunciados resultantes son
falsos. Proponga modificaciones a estos últimos a fin de obtener enunciados
verdaderos. Demuéstrelos.
6. Demuestre:
a. X∩∅=∅
b. X∪X =U
c. Si X⊆Y entonces X∩Y=X
d. Si X∩Y=X entonces X⊆Y
<a,b>={{a},{a,b}}.
<a,b,c> =<<a,b>,c>.
Estas nociones permiten definir así un concepto que jugará un papel esencial en
nuestro estudio: el concepto de relación (binaria, ternaria, …, n–aria).
Concentrémonos en un caso básico: la relación binaria; la generalización es
directa. A los efectos de caracterizar el concepto de relación binaria, se definirá
previamente el concepto de producto cartesiano. La idea intuitiva del producto car-
tesiano de A por B —se nota AxB— es simple: tomar el conjunto de todos los pa-
res ordenados tales que la primera proyección pertenece al conjunto A y la segunda
proyección pertenece al conjunto B. Más formalmente:
AxB={<x,y>:x∈A e y∈B}.
Ejemplo:
Sea A={1,2} y B={3,4}, AxB={<1,3>,<1,4>,<2,3>,<2,4>}.
Un diagrama sagital de este último ejemplo puede ayudar a intuir la peculiaridad
de esta estructura —donde las flechas «salen» de las primeras proyecciones y «lle-
gan» a las segundas respectivas—:
1 3
Comisión Sectorial de Enseñanza
2 4
Así como se puede generalizar la noción de par ordenado, puede hacerse lo pro-
pio con las nociones de producto cartesiano (para dos conjuntos) y relación binaria.
En particular, dado un conjunto A, podemos hacer el «producto» de n veces A, es
decir, AxAx…xA n veces o, en una notación más cómoda e igualmente intuitiva, An.
Así, en general, hablaremos de una relación R sobre A de aridad n cuando R⊆An.
Es decir, una relación de aridad n está conformada por n–tuplas ordenadas de ele-
mentos de A. Luego, por ejemplo, una relación ternaria (i.e. de aridad 3) en A se
puede definir simplemente como un subconjunto de A3.
El lector seguramente advierte cómo es posible definir relaciones específicas
de aridad ternaria, cuaternaria,…, n-aria. Es importante notar que, de acuerdo a la
caracterización de arriba, ∅ y AxB son relaciones.
Es usual definir la relación inversa a una relación R dada —se nota R–1 — del
modo siguiente: <x,y>∈R–1 si <y,x>∈R.
Ejemplos de relaciones:
Sea A={a,b,c}, relaciones binarias en A son:
1. {<a,a>,<b,b>,<c,c>,<a,c>}
2. {<a,b>, <a,c>, <b,a>, <c,a>}
Relaciones binarias en son:
3. {<x,y>: x,y∈ y x<y}
4. {<x,y>: x,y∈ y x=y}
5. {<x,y>: x,y∈ y x=2y}
Problemas y tareas
1. Sea A={a,b,c} y B={d,e}. Describa en términos extensionales los conjuntos
siguientes
a. AxB, BxA, AxA, BxB;
Universidad de la República
36
Relaciones de equivalencia. Particiones
Las relaciones pueden exhibir diversas propiedades de interés. Por ejemplo, de-
finamos una relación de en —donde denota los números naturales— del
modo siguiente:
Igu={<m,n>:m,n∈ y m=n}.
Como es obvio solo pertenecen a Igu los pares de naturales tales que la primera
y segunda proyección son iguales. Obsérvese que para todo x∈ , <x,x>∈Igu. Por
esto podemos decir que Igu es una relación reflexiva.
Expresado en forma general, una relación R en A se dice que es reflexiva si y
solamente si para todo x∈A, <x,x>∈R. La idea básica de esta propiedad podría
representarse así:
a
b
1 3
2 4
a
c
37
Las relaciones que —como Igu— gozan de las tres propiedades antedichas,
es decir, son reflexivas, simétricas y transitivas se dice que son relaciones de equi-
valencia. Cada elemento x del DomR —cuando R es de equivalencia— permite
definir el conjunto denominado clase de equivalencia de x módulo R: el conjunto de
todos los objetos que se encuentran relacionados con x por R. Este conjunto puede
notarse así: [x]R. Escrito en términos de esta notación, la caracterización de arriba
puede lucir así: [x]R={y: <y,x>∈R}.
Pueden ofrecerse obviamente otros casos de relación de equivalencia. Por ejem-
plo, sea T un conjunto de personas, sea E⊆TxT la relación definida así:
c. X=A.
X∈P
⊃
a P, luego a∈ X i.e. A⊆ X. Esto prueba el punto c.
X∈P X∈P
Problemas y tareas
1. Sea A={1,2,3,4,5}.
Comisión Sectorial de Enseñanza
Relaciones de orden
En la sección anterior hemos visto ciertas propiedades de las relaciones: reflexi-
vidad, simetría y transitividad. La posesión por parte de una relación de estas tres
propiedades la caracteriza como una relación de equivalencia. Un procedimiento
análogo seguiremos aquí. Identificaremos primero algunas propiedades de relacio-
nes y luego caracterizaremos las relaciones de orden.
Sea R una relación en A.
Denominaremos a una relación R como irreflexiva si para todo x∈A, <x,x>∉R.
Denominaremos a una relación R como asimétrica si para todo x,y∈A, si
<x,y>∈R entonces <y,x>∉R.
Denominaremos a una relación R como antisimétrica si para todo x,y∈A, si
<x,y>∈R e <y,x>∈R, entonces x=y.
Es fácil encontrar ejemplos de relaciones que ilustren estas propiedades. Sea T
un conjunto de personas, sea D={<x,y>: x,y∈T y x es progenitor masculino de y}. La
relación D es obviamente irreflexiva y asimétrica. Sea A un conjunto. La relación ⊆
definida en ℘(a) es claramente antisimétrica.
Diremos que una relación R en A es una relación de orden débil en A si R es
transitiva, reflexiva y antisimétrica.
Diremos que una relación R en A es una relación de orden estricto o fuerte en A
si y solamente si R es transitiva e irreflexiva. También es posible exigir aquí transi-
tividad y asimetría.
¿Por qué es posible definir de las dos formas arriba descriptas la relación de or-
den estricto? La respuesta es fácil: si tenemos una relación R transitiva e irreflexiva,
ésta es asimétrica. Supongamos que R es transitiva e irreflexiva y sea <a, b>∈R,
supongamos (para demostrar por absurdo) que <b, a>∈R, entonces, como R es
transitiva, <a, a>∈R, pero esto es absurdo, pues R es irreflexiva. Luego <b, a>∉R
i.e. R es asimétrica. Supongamos ahora que R es transitiva y asimétrica. La anti-
simetría excluye la posibilidad de que, para algún x, <x, x>∈R i.e. R es irreflexiva.
Universidad de la República
Teorema
a. Sea R un orden en A. Sea S la relación definida en A del modo siguiente:
para todo x,y∈A <x,y>∈S si y solamente si <x,y>∈R y x≠y. Luego, S es un
orden estricto en A.
b. Sea S un orden estricto en A. Sea R la relación definida en A del modo si-
guiente: para todo x,y∈A <x,y>∈R si y solamente si <x,y>∈S o x=y. Luego,
R es un orden en A.
Sea R una relación de orden en A. Sean a, b∈A. Decimos que a y b son compa-
rables si <a,b>∈R o <b,a>∈R; en otro caso, decimos que a y b son incomparables. El
mismo concepto se aplica al caso de órdenes estrictos. Esta noción de comparabili-
dad nos permite definir el concepto de orden total.
Un orden R en A es denominado total o lineal si para todo a, b∈A, a y b son
comparables.
A los efectos de que la exposición de algunas importantes nociones relacionadas
con órdenes se torne más intuitiva establezcamos algunas convenciones notaciona-
les. Si R es una relación de orden y <a,b>∈R, entonces asumiremos que a es menor
que b y, por ello, escribiremos a ≤b (si R es un orden estricto, escribiremos: a<b).
Sea ≤ un orden en A. Sea X⊆A. Un elemento x∈X diremos que es un mínimo
de X (para la relación ≤) si, para todo y∈X, x≤y y un elemento x∈X se dice mini-
mal si no hay ningún y (y≠x) tal que y≤x. Pueden definirse análogamente máximo
y maximal.
Pueden existir varios elementos minimales pero (si existe) hay un solo elemento
mínimo. Representemos dos órdenes (donde la dirección de las flechas indica el
orden de lectura del par i.e. el «primer» elemento leído es el inferior):
Ejemplo 1 Ejemplo 2
f e e
d d
a b
f
Comisión Sectorial de Enseñanza
En el caso del ejemplo 1, no hay mínimo y hay dos minimales (a y b). En el caso
del ejemplo 2 hay mínimo (f) y éste también es minimal —en el caso de órdenes
totales no hay diferencia entre ambos conceptos. En el caso del ejemplo 1, no hay
máximo y hay dos maximales (f y e). En el caso del ejemplo 2, el máximo y el maxi-
mal coinciden.
21 Este teorema aparece, por ejemplo, en Hrbacek y Jech (1978) p. 37.
41
Existe una rica variedad de conceptos que permiten comprender más finamente
las relaciones de orden pero a los modestos fines de este curso de lógica se conside-
ran suficientes las arriba estudiadas.
Funciones
Las estructuras denominadas funciones —cuya importancia difícilmente puede
sobrestimarse— son, precisamente, un tipo particular de relaciones. Su particulari-
dad consiste en que para cada elemento del dominio de la relación existe un y sola-
mente un elemento en su rango. Es decir, si f es una función de A en B —se nota
f: A→B— se tiene que si <x,y>∈f y <x,z>∈f, entonces y=z.
Ejemplo:
Sea Suc: → , definida así Suc(x)=x+1. La misma puede representarse así:
0 1
1 2
n n+1
x
Universidad de la República
<5,1> 6
<3,4> 7
<9,8> 17
42
Se suele distinguir diversos tipos de funciones. Una función f: A→B se denomina
total si Domf=A, se dice sobreyectiva si Ranf=B, se dice que es inyectiva si <x,z>∈f y
<x’,z>∈f, entonces x=x’. Una función se dice biyectiva si es sobreyectiva e inyectiva.
He aquí algunos diagramas que pueden contribuir a clarificar los anteriores con-
ceptos. Siempre que se hable simplemente de «función» se sobreentiende aquí que
se trata de una función total.
Función sobreyectiva pero no inyectiva:
A B
a
c
b
d e
A B
a c
b d
Función biyectiva
A B
a a’
b b’
c c’
Comisión Sectorial de Enseñanza
43
Ejemplos de funciones:
f1 : → , f1(x)=2.x ;
f4: 2
→ , f4(x,y)=x.y
Dadas dos funciones f y g tales que f: A→B y g: B→C podemos formar la com-
posición de f y g. Notaremos tal objeto «g ○ f» y queda definido así:
Isomorfismo
Definición
Decimos que f es un isomorfismo entre dos conjuntos ordenados <A,R> y <B,S>
si y solamente si f es tal que f: A→B, f es biyectiva y para todo x,y∈A, <x,y>∈R si
y solamente si <f(x),f(y)>∈S.
La noción de isomorfismo puede presentarse en una forma más general pero
hemos optado por esta forma más restringida para que pueda ser fácilmente com-
prendida y pueda así advertirse el tipo de similaridad que la relación de isomorfismo
asegura. Como se suele decir, implica una suerte de «identidad estructural». Cuando
la formulamos en toda su generalidad, lo que garantiza es que funciones y relaciones
son preservadas (de una estructura a otra) por la función de isomorfismo.22
Problemas y tareas
1. Para cada una de las funciones definidas abajo, proponga una función carac-
terizada en forma análoga (es decir, identifique la idea que subyace a cada una
de las definiciones propuestas)
a. f1: → tal que f1(x)= 3.x
Universidad de la República
V/F
f1 es inyectiva
f2 es inyectiva
f3 es inyectiva
f1 es sobreyectiva
f2 es sobreyectiva
f2−1 es una función
f1−1 es una función
Cardinalidad23
A pesar del carácter elemental y básico de los desarrollos anteriores, éstos nos
permiten esbozar una respuesta a la fascinante pregunta: ¿cómo medir el «tamaño»
de un conjunto?
Una contestación a tal interrogante, expuesta en términos intuitivos, es la si-
guiente: dos conjuntos tienen el mismo «tamaño» si con cada elemento de uno po-
demos «aparear» uno del otro y cubrimos los dos conjuntos —es decir, no nos queda
en ninguno de los dos conjuntos algún elemento sin «pareja». El siguiente diagrama
permite ilustrar la idea
A B
a a’
b b’
c c’
Comisión Sectorial de Enseñanza
Esta idea parece capturar muy bien la igualdad de tamaño: si se puede producir
el «apareamiento» descripto los conjuntos poseen el mismo tamaño, si no se puede
producir el mismo, difieren en tamaño. Esta noción intuitiva de «apareamiento»
queda prolijamente elucidada por el concepto preciso de biyección. Luego dos con-
juntos poseen el mismo tamaño o, más técnicamente, poseen la misma cardinalidad
23 Este capítulo es algo más exigente que los anteriores pero alcanza con capturar las ideas básicas
para la comprensión del resto de este libro.
45
si es posible definir una biyección entre ellos. Podemos resumir tal situación del
modo siguiente.
Sean A y B conjuntos cualesquiera, card(A)=card(B) (leemos: cardinal de A es
igual a cardinal de B) si existe una f: A→B y f es biyección. A veces se dice que A
y B son biyectables o equipotentes y se nota «A≈B». Diremos que card (A) ≤ card(B)
si existe una inyección f: A→B.
Es importante observar que nuestra notación «≤» se encuentra plenamente jus-
tificada ya que tal como hemos definido esta relación es un orden. La reflexividad
y transitividad de tal relación son fácilmente demostrables. La antisimetría es más
difícil de demostrar: es conocida como Teorema de Cantor-Bernstein. Estudiemos
una demostración básica del mismo. Previamente, demostramos el siguiente24
Teorema
Si C⊆B⊆A y card(A)=card(C) entonces card(A)=card(B).
Prueba. Dado que card(A)=card(C), existe f: A→C, f siendo una biyección.
Construimos una serie de conjuntos, siendo A0=A−B, A1= f [A0], A2= f [A1], …
Veamos gráficamente la situación:
A
A0 =A-B f B
. f …
.
A3
f f A1
A2
⊃
Sea D= Ai.
i∈N
f*(a)=f(a) si a∈D
f*(a)=a si a∉D.
24 En la exposición presente hemos usado varias fuentes; en particular, en la demostración de este teo-
rema hemos seguido a Malitz (1987), Algunas obras ofrecen pruebas más rigurosas pero requieren
conceptos cuyo estudio excede esta breve introducción. El lector interesado puede consultar textos
de teoría de conjuntos como, por ejemplo, Hrbacek y Jech (1978) o Roitman (1990).
46
Es importante notar que f* efectivamente tome sus valores en B.
Teorema Cantor–Schröder-Bernstein
Si card(A)≤card(B) y card(B)≤card(A) entonces card(A) =card (B)
Comisión Sectorial de Enseñanza
25 Expuesta de una forma grosera, podríamos decir que los defensores del «infinito potencial»
conciben el mismo como ilimitación, como la posibilidad de adicionar o sustraer ilimitada-
mente. Desde este punto de vista, por ejemplo, los números naturales son infinitos en el sentido
Universidad de la República
en que, para cualquier número natural n, puede calcularse un número natural mayor (digamos
n+1). Podríamos decir que, en esta perspectiva, la infinitud nunca se da plenariamente sino solo
en tanto posibilidad. Por oposición, el partidario del concepto de «infinito actual» entiende el
mismo no como una posibilidad que nunca se actualiza cabalmente sino como algo totalmente
dado. Desde este punto de vista, los números naturales son actualmente una totalidad infinita,
plenamente dada. Fraenkel entiende que la construcción de la teoría de conjuntos supone «la
conquista del infinito actual» y tal hazaña implica una «ampliación del horizonte científico» tan
extraordinaria como, por ejemplo, la revolución copernicana —véase Fraenkel (1966).
48
fracciones decimales tales que su primer dígito significativo se encuentra después del
punto y es seguido por infinitos dígitos que no son 0 —si la fracción poseyera una
lista infinita de 0’s ponemos 9’s en su lugar. Supongamos que se pudiera construir
una lista exhaustiva de los reales de este intervalo: x0, x1, …. Luego enumeramos tam-
bién los dígitos después del punto de cada uno de ellos y los ordenamos en una tabla.
…
Se puede, siguiendo la flecha, construir la siguiente fracción decimal: .x’00 x’11
x’22 x’33 … donde x’ii difiere de xii de modo de obtener una fracción decimal que esté
escrita del modo prescrito. Obviamente la misma pertenece al intervalo. Pero x’00
difiere de la primera fracción pues difiere en las décimas, de la segunda difiera en
las centésimas y así sucesivamente. De ese modo se ha construido una fracción que,
perteneciendo al intervalo, «escapa» a la numeración. En consecuencia no existe
una enumeración completa del intervalo: siempre es posible construir una fracción
que no cae dentro de la enumeración. Para obtener la prueba sobre R directamente
alcanza con escribir cada real como característica más mantisa y aplicar el anterior
procedimiento a las mantisas. Los conjuntos que, al igual que R, no son biyectables
con se dice que son no-numerables.
El resultado obtenido es sorprendente: se tiene (hablando intuitivamente) por lo
menos dos infinitos de distinto «tamaño». O, expresado más técnicamente, todos los
conjuntos infinitos no poseen la misma cardinalidad. Como se acaba de demostrar,
R no posee la misma cardinalidad que . Pero quizá aún más intrigante resulte el
resultado siguiente, también debido a Cantor.26
Teorema
Sea A un conjunto cualesquiera. Entonces card(A)< card(℘(A)).
Prueba. Sea f: A→℘(A) tal que para x∈A, f(x)={x}. Esta función es obviamente
inyectiva por definición, entonces card(A) ≤ card(℘(A)). Mostraremos ahora que
no puede haber función sobreyectiva de A en ℘(A). Argumentaremos por absurdo.
Supongamos que existe una f: A→℘(A) tal que f es sobreyectiva. Sea B={x∈A:
Comisión Sectorial de Enseñanza
x∉f(x)}. Es evidente que B∈℘(A) y, dado que por hipótesis f es sobreyectiva, exis-
te y∈A tal que f(y)=B. Sabemos que y∈B o y∉B. Supongamos que y∈B, entonces
y∉f(y), es decir, y∉B. Supongamos ahora que y∉B. Esto quiere decir que y∉f(y), es
decir, y∈B. En cualquier caso, llegamos a una contradicción. Por absurdo, no existe
una forma rápida, tómese [A]≈ siendo A un conjunto unitario. Esta clase es la
clase de todos los conjuntos. Pero la clase de todos los conjuntos no es un conjunto,
es lo que a veces se denomina una clase propia. Dado que no es un conjunto sino
una clase propia, también es una clase propia [A]≈. Pero como estas clases no son
objetos no pueden pertenecer a clase alguna. Luego no podríamos tener clases de
cardinales lo cual resulta altamente insatisfactorio.
La solución al problema —es decir, la definición de cardinales como conjun-
tos— se obtiene, no tomando como pensaba Frege, la clase de equivalencia sino un
representante de la misma. Pero la explicación de cómo puede hacerse esto nos lleva
más allá de los modestos límites de esta exposición.28
Problemas y tareas
1. Demuestre que la relación ≈ es una relación de equivalencia. Es decir, para
conjuntos arbitrarios X, Y, Z
a. X≈X (reflexividad)
Universidad de la República
Estructuras proposicionales
El primer problema —como fue sugerido arriba— reside en aislar la estructura
de a). Un modo sensato de plantearse el mismo consiste en preguntarse qué puede
modificarse y qué no puede modificarse en a) a los efectos de que la argumentación
resultante siga siendo, desde el punto de vista intuitivo, lógicamente correcta.30 Un
poco de reflexión es necesaria para clasificar las expresiones de a) en una u otra de
estas categorías —y, seguramente, surgen varias posibilidades. Las que pueden mo-
dificarse —de acuerdo al análisis que nos interesa— aparecen subrayadas:
30 En honor a la verdad debiera agregarse, «por las mismas razones estructurales» o algo equivalen-
te. Para el lector principiante que pretende capturar la idea intuitiva, esta nota quizá es prescin-
dible; la misma se escribió entonces pensando en el lector ya avisado (y más bien obsesivo).
53
Coloquemos pues puntos suspensivos en estos lugares:
Si …, entonces …
…
…
Sin embargo, existe algo que este esquema no capta, a saber, que lo colocado
en los «primeros» puntos suspensivos —después del «Si»— debe ser idéntico a lo
colocado en los «terceros» puntos suspensivos —los correspondientes a la segunda
premisa— y que lo colocado en los últimos puntos suspensivos —correspondiente
a la conclusión— debe ser idéntico a lo colocado en los «segundos» puntos suspen-
sivos. Un modo de expresar esta situación consiste en escribir letras en lugar de los
puntos suspensivos —con la exigencia obvia de que cuando se sustituye «A» por
una cierta expresión «E», esto se haga para todas las ocurrencias de A: cada vez que
aparece «A» debe escribirse «E». El esquema podría quedar así:
Si A, entonces B
b)
A
B
Cabría, no obstante, una pregunta: ¿puede colocarse en lugar de «A» y «B» cual-
quier expresión del idioma español y se obtendrá siempre, mediante este expediente,
un argumento deductivo? No es necesario intentarlo para advertir que no: por lo
menos debo poner oraciones en lugar de «A» y «B» y no, por ejemplo, sustantivos o
combinaciones de palabras que violenten las reglas gramaticales. Pero más aún: ¿pue-
de ponerse en lugar de «A» y «B» cualquier oración, por ejemplo, interrogaciones u
órdenes? La respuesta es: no. La razón es simple: si en lugar de premisas y conclusión
se insertan expresiones que no son enunciados, la sustitución no dará como resulta-
do un argumento —tal cual fue definido este último concepto. De modo que una
restricción esencial debe imponerse a los segmentos lingüísticos que pueden aspirar
a sustituir a «A» y «B» en el esquema b) —y, obviamente, lo mismo vale para c)—, a
saber: las letras «A» y «B» solo pueden ser sustituidas por enunciados.
El esquema b) parece expresar entonces la siguiente idea: coloque los enuncia-
dos que desee en lugar de «A» y «B», obtendrá un argumento lógicamente correcto.
Véase que, en último término, la corrección —por ahora intuitivamente considerada
Universidad de la República
—depende, en forma exclusiva, del modo cómo están «conectados» los enunciados.
Es decir, la garantía de la corrección del argumento descansa en las «conexiones»
entre enunciados. Podría decirse entonces que, a los efectos de identificar la correc-
ción argumental en estos casos, es especialmente útil atender, en forma exclusiva, a
tales conexiones; es decir, aislar su estructura proposicional o enunciativa. El estudio
de estas estructuras es el objeto del lenguaje lógico proposicional.
54
Lenguaje formal: motivación e ideas intuitivas
Nótese que la estructura explicitada en c) ya supone un alejamiento del uso del
lenguaje natural. Dadas las especificaciones que, por otra parte, se han establecido
para las letras mayúsculas usadas arriba como nombres de enunciados, este tipo
de análisis estructural o formal parece conducir, naturalmente, a la construcción
de un lenguaje artificial, esto es, un lenguaje intencionadamente construido para
cumplir cierta finalidad determinada.31 ¿Cuál finalidad? Precisamente aquélla que
hemos discutido en el primer capítulo, a saber, la evaluación argumental. Si éste es
el objetivo resulta muy natural que la equivocidad del lenguaje natural (estimable
en otros contextos) devenga aquí una característica indeseable. Una de las propie-
dades que se aspira posea el lenguaje artificial será, en consecuencia, la univocidad
—más adelante se discuten algunas otras propiedades. En esta sección se ofrecerá
una aproximación intuitiva al lenguaje (artificial) que construiremos para el análisis
lógico proposicional.
En primer lugar, puede resultar útil atender a la similitud existente entre b) y,
por ejemplo, esta ecuación del álgebra elemental:
d) a(b+c)=ab+ac.
Es decir, d) podría parafrasearse más o menos así: coloque los números reales
que desee en lugar de las letras, siempre obtendrá una igualdad. Respecto de b)
podría decirse: coloque enunciados cualesquiera en lugar de las letras, siempre ob-
tendrá una argumentación correcta.
Esta similitud puede permitir una mejor comprensión del uso y de la denomi-
nación que de ciertas letras mayúsculas se hacen a veces en lógica. Como se sabe,
a las letras minúsculas que aparecen en d) se les denomina, habitualmente, «varia-
bles». La razón de tal nominación se vincula al hecho de que se refieren a números
reales, pero cuál sea el número específico al que refieran puede «variar»; esto es, en
principio, cualquier número real puede ser referido por ellas. De un modo análogo,
puede pensarse que se usan las letras A y B de arriba, pero no para referir indeter-
minadamente a números reales sino a enunciados. Por ello algunos autores las deno-
minan «variables de enunciados». Sin embargo, preferiremos aquí entenderlas como
simplemente nombrando enunciados —de hecho ese fue el papel que atribuimos a
A y B en b) y c). Reservaremos el nombre de «variables» para aquellas expresiones
del lenguaje formal que trataremos como tales permitiendo la cuantificación en
el lenguaje sobre ellas —esto podrá apreciarse claramente cuando estudiemos los
Comisión Sectorial de Enseñanza
31 La evaluación del lenguaje natural y su aptitud como instrumento cognoscitivo escapa al propó-
sito de este libro. Un panorama histórico acerca de las motivaciones y avatares de la construcción
de lenguajes artificiales destinados a potenciar nuestras posibilidades cognitivas puede leerse en
Rossi (2000).
55
honor a la verdad, la situación es algo más compleja; tendremos oportunidad de afi-
nar estas ideas cuando estudiemos, en el capítulo siguiente, los aspectos semánticos
del lenguaje proposicional pero por ahora esta aproximación intuitiva es suficiente.
Si este lenguaje debe ser capaz de expresar estructuras como la representada en
b, entonces debiera contar al menos con símbolos para expresar aquellas porcio-
nes lingüísticas que —como en b)— juegan un papel lógicamente esencial en la
estructura argumental. En el caso de nuestro ejemplo, la relación entre enunciados
expresada a través del giro lingüístico «si…entonces…» cumple un papel de este tipo.
En nuestro lenguaje artificial, se representarán tales expresiones a través de símbo-
los que se denominarán «conectivos» o «conectores». Así, en el ejemplo de arriba, el
conectivo en cuestión se llama «condicional» y se nota así: «→». La primera premisa
de b) luego podría escribirse en nuestro lenguaje artificial de la siguiente forma –en
lugar de «A» y «B» usaremos, por razones de comodidad, la letra A con subíndice,
pues mediante este expediente obtengo un stock infinito numerable de letras de
enunciados:32 (A1→A2).
El lector habrá advertido que hemos encerrado entre paréntesis la expresión
del lenguaje artificial correspondiente a la premisa en cuestión. El motivo de tal
operación es asegurar uno de los objetivos pretendidos con la construcción de un
lenguaje artificial, a saber, la univocidad. Es verdad que, en el caso de esta expre-
sión condicional, si elimináramos sus paréntesis la univocidad no parece peligrar: si
careciera de paréntesis es obvio que admite una sola lectura —eso hace que, en la
práctica, se acuerde no escribir los paréntesis en estos casos. Sin embargo, es fácil
imaginar situaciones en las cuales los paréntesis se convierten en útiles recursos
desambiguadores.
Así, por ejemplo, considérese la expresión siguiente:
La fórmula (sin paréntesis) podría lucir así —donde «∧» está en lugar de «y» y
«¬» está en lugar de «no»:
f) A1→A2∧¬A3.
o
2) Si la lluvia cae suavemente, entonces Juana gusta de pasear por la playa y
(cuando llueve así) no le gusta bañarse en el mar.
g) ((A1→A2) ∧¬A3).
h) (A1→(A2∧¬A3)).
En consecuencia, los paréntesis son los que nos permiten asegurar que las ex-
presiones de este lenguaje posean una lectura única. Así pues sumaremos a los
símbolos básicos del mismo, además de las letras de enunciados y los conectivos,
los paréntesis.
Parece existir una cierta diferencia de status —desde el punto de vista intuiti-
vo— entre estas tres categorías de símbolos que se pretende conformen el lenguaje
artificial proposicional: conectivos y letras de enunciados parecen imprescindibles,
los paréntesis puede dudarse si son necesarios. La justificación que se desarrolló en
las líneas anteriores muestra que la exclusiva finalidad de su introducción radica en
la necesidad de asegurar la univocidad de las expresiones del lenguaje formal. Una
pregunta razonable podría ser la siguiente: ¿es mediante la introducción de parénte-
sis el único modo de asegurar la univocidad?
La respuesta es: no. Una forma de conseguir univocidad prescindiendo del uso de
paréntesis es conocida: la denominada «notación polaca». La idea de esta notación
consiste en colocar los conectivos precediendo a las letras de enunciados, dispen-
sándonos así del uso de los paréntesis sin por ello perder univocidad. Simplemente
Comisión Sectorial de Enseñanza
a los efectos de ofrecer una idea rápida del funcionamiento de tal notación digamos
que la expresión g) se escribiría:
∧→A1A2 ¬A3
y la expresión (h)
33 Una exposición breve, estimulante y adecuado a este nivel de estudio, puede encontrarse en
Naishtat (1986).
34 Un mismo lenguaje puede ser, en un contexto, lenguaje objeto y en otro contexto, meta−lengua-
Universidad de la República
je. Eventualmente aún en el mismo lenguaje podemos referirnos a él mismo y usarlo así como
meta−lenguaje; el lenguaje natural cuenta con ese poder expresivo y la confusión de niveles que
propicia puede considerarse una buena motivación para la construcción de lenguajes formales.
35 La mayoría de los detalles técnicos del enfoque que se desarrolla aquí se inspiran en la exposi-
ción del excelente Logique Mathématique de Cori y Lascar (1993). Asimismo se ha consultado
la ya mencionada obra de Naishtat (1986). Estos libros son, por así decir, matemáticamente más
«duros»; se ha pretendido en las páginas que siguen ofrecer una versión más didáctica de algunos
de los conceptos fundamentales.
58
Símbolo Ejemplos en Traducción al
Nombre Se lee
formal lenguaje natural lenguaje formal
¬ negación no Juan no ama la lógica ¬A1
∧ conjunción y Llueve y hace frío (A1∧A2)
∨ disyunción inclusiva o Llueve o hace frío (A1∨A2)
w disyunción exclusiva o…o… Juan va al cine o al teatro (A1wA2)
→ condicional si … entonces … Si llueve entonces truena (A1→A2)
↔ bicondicional …si y solo si… Llueve si y solo si truena (A1↔A2)
i) →→→
o
j) (A1→A1)
pertenecen al conjunto Pal(A). Es claro que deseamos separar las palabras «sig-
nificativas» (desde el punto de vista intuitivo, las palabras que puedan representar
enunciados inambiguos) de las que no lo son, esto es, las del tipo del j) de las del
tipo i). Es más, deseamos que nuestro lenguaje se componga exclusivamente de
las palabras «significativas» —a las que denominaremos fórmulas. ¿Cómo lograrlo?
Dando una definición precisa del concepto de fórmula (a veces se habla en este caso
de fórmula bien formada).
Es obvio que el conjunto de las fórmulas —en adelante lo denotaremos por For—
es un subconjunto de Pal(A). Lo definiremos a través de la siguiente definición.
Llamamos For ⊂ Pal(A) al conjunto más pequeño tal que cumple con las condi-
ciones siguientes:
a. LP ⊂ For;
b. si ϕ∈For entonces ¬ϕ∈For;
c. si ϕ, ψ∈For entonces (ϕ * ψ)∈For —donde * ∈K−{¬}.
La definición 1 podría también formularse así:
59
Definición 2
Sea For ⊂ Pal(A) tal que:
a) LP ⊂ For;
b) si ϕ∈For entonces ¬ϕ∈For;
c) si ϕ, ψ∈For entonces (ϕ * ψ)∈For —donde * ∈K–{¬};
d) si ϕ∈For, entonces esto es el resultado de aplicar a)−c).
Hemos puesto estas dos variantes para estudiar mejor cómo se define el conjun-
to de las fórmulas. Empecemos por lo que tienen las definiciones 1 y 2 en común.
La cláusula a) afirma que el conjunto de las letras proposicionales está incluido en
el conjunto For. Es decir, las letras proposicionales son fórmulas. La cláusula b)
asegura que si algo es una fórmula, tal fórmula precedida por la negación también
es una fórmula. La cláusula c) garantiza que, dadas dos fórmulas ϕ y ψ, la cadena
que comienza con un paréntesis curvo izquierdo, luego ϕ, luego un conector cua-
lesquiera (menos la negación), luego ψ y, finalmente, un paréntesis curvo derecho
es también una fórmula. Estudiemos ahora el aspecto en que difieren. La definición
1 exige que For sea el conjunto más pequeño que cumple estas condiciones y la
definición 2 pide que nada «entre» a For si no lo hace por aplicación de las cláusulas
a)−c). Ambas exigencias cumplen la misma función: evitar que, además de las expre-
siones que «ingresan» a For por dichas cláusulas, se introduzcan otros elementos.
Esta definición del conjunto For es un ejemplo de una estrategia definicional es-
pecialmente útil en lógica. Se denominan a tales definiciones definiciones inductivas.
Aunque la teoría de tales definiciones no será estudiada en este libro, podemos no
obstante ofrecer una idea general acerca de las mismas.
Conjunto inductivo
Definición
Sea A un conjunto, sea B un subconjunto no vacío de A y sea O un conjunto de
operaciones definidas en A (esto es, funciones en A), entonces un subconjunto C de
A se dice que es inductivo si se cumple que
a) B⊆C
b) C es cerrado bajo las operaciones pertenecientes a O —es decir, si o es una
operación n−aria perteneciente a O, el resultado de aplicar o a n elementos
de C, está también en C.
Un conjunto D es caracterizado o definido o generado inductivamente si es el
menor conjunto inductivo contenido en A. O, si se prefiere, si D es la intersección
Universidad de la República
a) F0=LP;
b) Sea Fn+1=Fn∪{¬ϕ:ϕ∈Fn}∪{(ϕ*ψ): ϕ, ψ∈Fn} con *∈K−{¬}. ⊃
Construyamos ahora el conjunto de todos los Fi, esto es, Fi.
i∈
⊃
Fórmulas
(Lenguaje L)
no-fórmulas
En los pasos 1 y 2 justifico que las letras proposicionales en cuestión son fórmu-
las y en 3, a partir de expresiones que ya probé son fórmulas, construyo una nueva
fórmula. Otro ejemplo puede permitir entender mejor la estrategia. Tomemos la
palabra ((¬A1→A2)∧¬(A5∨A6)).
He aquí una prueba de que se trata de una fórmula:
62
9. ((¬A1→A2)∧ ¬(A5∨A6))∈For, por 6, 8 y definición 1 de For c).
Problemas y Tareas
1. Para definir L hemos caracterizado, básicamente, tres conjuntos: A, Pal y
For —este último, como el lector recuerda, ha sido definido inductivamente.
Teniendo el caso de la definición de L en mente:
a. Proponga un alfabeto B (modesto) y caracterice Pal y For para tal alfabeto.
b. Sea un alfabeto C={a,b}. Caracterice Pal y For para tal alfabeto pero
guiada la definición de For por la idea intuitiva siguiente: son fórmu-
las «a» y «b» y secuencias de símbolos de C que empiezan y termi-
nan con «a». Ejemplos: aaa, aba, aabaa. (Hay varias posibilidades).
c. Sea un alfabeto D={1,2,3}. Caracterice Pal y For para tal alfabeto pero
guiada la definición de For por la idea intuitiva siguiente: son fórmulas «1»,
«2» y «3» y secuencias de símbolos de D que empiezan con «1» y terminan
con «2» o «3». Ejemplos: 112, 123, 1212323. (Hay varias posibilidades).
2. Demuestre que las siguientes palabras de A son fórmulas i.e. pertenecen a
For:
a. ((A1→A22)→¬A5)
b. (((A2∨A5)∧(A2→A3))→(A5∨A3))
c. (¬¬A1→(A3→(A6∨A1)))
3. Como recuerda del capítulo anterior, dos conjuntos son distintos si hay al
menos un elemento que pertenece a uno y no al otro. Luego, para demos-
trar que dos conjuntos son distintos alcanza con encontrar ese elemento
«diferenciador»
• Sea For como lo hemos presentado en la definición 1 de Conjunto de
fórmulas. Sea N el conjunto de los números naturales. Sea <Gi> con i∈
una serie de conjuntos construida del modo siguiente:
a. G0=LP;
b. Sea Gn + 1=Gn ∪{¬a : a∈G 0}∪{(a* b):a, b∈Gn } con *∈K−{¬}.
Comisión Sectorial de Enseñanza
⊃
⊃
Sea For1 definido así: For1= Gi.
i∈
Demuestre que For1≠For.
38 A los efectos de poseer una idea de cómo funciona un procedimiento tal puede consultarse la
Comisión Sectorial de Enseñanza
66
Usemos pues el mecanismo demostrativo que acabamos de presentar en dos
casos muy sencillos, para apreciar mejor la forma en que se aplica.
Sea F∈For. Sean lar[F], op[F], opi[F] y opd[F] funciones que van de For en
los número naturales.41 Dicho rápidamente, lar[F] da, para cada F, el número de
ocurrencias de símbolos en ella, op[F] da, para cada F, el número de ocurrencias
de paréntesis en ella, opi[F] da, para cada F, el número de ocurrencia de paréntesis
izquierdos, es decir, «(», en F y opd[F] da, para cada F, el número de ocurrencias de
paréntesis derechos, es decir, «)», en F. Por ejemplo,
lar[((A1→A3)∨A1)] = 9
op[((A1→A3)∨A1)] = 4
opi[((A1→A3)∨A1)] = 2
opd[((A1→A3)∨A1)] = 2
Proposición
Para toda F∈For, opi[F]=opd[F].
Prueba. Demostraremos siguiendo el esquema de prueba expuesto en arriba.
Usamos aquí las mismas letras que señalan cada paso en el esquema para facilitar la
identificación de los mismos.
a. Sea F∈LP. Luego opi[F]=0=opd[F] y así opi[F]=opd[F].
b. Sea F≡¬G. Probaremos que la propiedad vale para ¬G, esto es, F. Por hi-
pótesis inductiva opi[G]=opd[G], entonces trivialmente opi[¬G]=opd[¬G]
i.e. opi[F]=opd[F].
c. Sea F≡(G*H). Probaremos que la propiedad vale para (G*H), es decir, F
Por hipótesis inductiva, opi[G]=opd[G] y opi[H]=opd[H]. Entonces tene-
mos que opi[(H*G)]=opi[H]+opi[G]+1= opd[H]+opd[G]+1=opd[(H*G)].
Es decir, opi[F]=opd[F].
Proposición
Para toda F∈For, op[F]+1 ≤ lar[F].
Prueba. Nuevamente, demostraremos siguiendo el esquema de prueba de arriba.
Comisión Sectorial de Enseñanza
Problemas y tareas
Universidad de la República
42 Una demostración de este teorema puede encontrarse en, por ejemplo, Naishtat (ob. cit.) y Cori
y Lascar (ob. cit.).
68
,sea olp(f) la función que da el número de ocurrencias de letras proposiciona-
les en f, sea oc(f) es número de ocurrencias de conectivos en f, sea ocb(f) da
el número de ocurrencias de conectivos binarios (K–{¬}) en f.
a. Demuestre que npi(f)<olp(f).
b. Demuestre que npd(f)<olp(f).
c. Demuestre que oc(f)≥olp(f)–1.
d. ¿Es cierto que, para todo f∈For, oc(f)>olp(f)-1? Justifique su respuesta.
e. Demuestre que olp(f)>0.
f. ¿Es cierto que, para todo f∈For, oc(f)>0? Justifique su respuesta.
g. Demuestre que ocb(f)<olp(f).
h. Demostrar que npi(f)+1=olp(f).
i. Demostrar que 2ocb(f)=op(f).
2. Sea For1 definida igual que For solo que la introducción de la negación su-
pone parentizar la fórmula negada, es decir, el caso 2 es f ≡¬(G). Sea f∈For1,
oc(f) el número de ocurrencias de conectivos en f, np(f) el número de parén-
tesis en f. Demostrar que 2oc(f)=np(f).
3. En el ítem 1 del apartado de Problemas y tareas de la sección «El lenguaje
formal proposicional», se pide que se definan sendos lenguajes. Proponga
una propiedad que valga para cada uno de ellos e intente demostrarlas
inductivamente.
4. Justifique que las siguientes palabras no son fórmulas: (Sugerencia: use en
algunos casos resultados ya probados por inducción)
a. [(A1→A2)∧A3]
b. (¬A1∨¬(A23→A5)
c. (A2→A3)→(A1∨A88)
Síntesis
El objetivo de esta primera parte de nuestro estudio residía, en términos gene-
rales, en comenzar el estudio de las estructuras argumentales más simples, a saber,
las estructuras proposicionales. La lógica que estudia tales estructuras se denomina
lógica proposicional o enunciativa. Desde el punto de vista histórico curiosamente
no fue el estudio de ésta el que se desarrolló primeramente en forma más profunda.
La lógica aristotélica —la lógica desde Aristóteles hasta mediados del siglo XIX—
no privilegia el estudio de las estructuras proposicionales. Como señalan Kneale y
Kneale,43 la peripatética —continuadora de Aristóteles— y la estoica —continua-
dora de la tradición megárica— fueron las dos grandes escuelas lógicas de la anti-
Comisión Sectorial de Enseñanza
47 Es más ajustado decir que cumple con el teorema de lectura única y que la unicidad de lectura
es un prerrequisito de la univocidad pretendida.
71
Capítulo 4
(A1→A2)
b)
A1
A2
Comisión Sectorial de Enseñanza
toman como argumentos valores de verdad y dan como resultado un cierto valor
de verdad. Más intuitivamente, como operaciones que exigen, para calcularse, los
48 El término «conector» o «conectivo» puede usarse tanto para referirnos a las porciones del len-
guaje natural —es decir, «y», «o», etc.— como para referirse a los símbolos que las representan
en nuestro lenguaje formal. Este descuido en el lenguaje no causará problemas cuidando que el
contexto elimine tal equivocidad.
74
valores de verdad de los enunciados que conforman el enunciado en cuestión. Así,
por ejemplo, para saber qué valor posee «(A1∧A2)» debo saber qué valor tiene «A1»
y qué valor tiene «A2». Un modo intuitivo de presentar la definición de cada uno de
los conectivos (excepto el negador) consiste en una tabla de doble entrada —donde
«V» denota el valor de verdad «verdadero» y «F» el valor de verdad «falso». Esta
tabla presenta todas las posibles interpretaciones de las fórmulas que el conectivo
en cuestión «relaciona». La definición es dada por la tabla de valores que la fórmula
(cuyo conector se está definiendo) cobra para cada una de las interpretaciones. Por
ejemplo, en el caso de la conjunción anterior la situación podría lucir así:
A1 A2 (A1∧A2)
V V V
F V F
V F F
F F F
ϕ ψ (ϕ∧ψ)
V V V
F V F
V F F
F F F
Este conectivo puede leerse (en el lenguaje formal) como «y» o «conjunción».
Comisión Sectorial de Enseñanza
Recuerde: una conjunción solo es verdadera cuando sus dos componentes son
verdaderos.
Argumentos similares al referido a la conjunción, apoyados en las intuiciones
semánticas que gobiernan el uso de las partículas lingüísticas respectivas en el len-
guaje ordinario, permiten justificar (informalmente) las definiciones siguientes:
75
Disyunción inclusiva (asociada a las expresiones: «o» e «y/o»)
ϕ ψ (ϕ∨ψ)
V V V
F V V
V F V
F F F
ϕ ψ (ϕwψ)
V V F
F V V
V F V
F F F
ϕ ψ (ϕ↔ψ)
V V V
F V F
V F F
F F V
76
La caracterización semántica del condicional posee algunos aspectos menos in-
tuitivos. Como cualquiera de los conectores arriba estudiados, este operador «co-
necta» dos fórmulas: llamaremos a la fórmula que se ubica a la izquierda del mismo
antecedente y a la que se ubica a la derecha consecuente. Empecemos por su núcleo
intuitivo: un condicional en que el antecedente es verdadero y el consecuente es
falso, no puede admitirse como verdadero. Si afirmo «si gano la lotería, entonces
pagaré mis deudas» y gano la lotería pero no pago mis deudas ciertamente no dije
la verdad cuando afirmé el condicional anterior. Igualmente indiscutible es que si
tanto antecedente como consecuente son verdaderos, entonces el condicional es
verdadero. Expresando estos casos en la tabla se tiene:
ϕ ψ (ϕ→ψ)
V V V
F V —
V F F
F F —
ϕ ψ (ϕ →ψ)
V V V
F V V
V F F
Comisión Sectorial de Enseñanza
F F V
ϕ ¬ϕ
V F
F V
Se lee «no» o «negación» en el lenguaje formal. Ejemplo del uso del conector en
el lenguaje ordinario: «No es cierto que 5 sea mayor que 6».
Dado que los paréntesis cumplen simplemente el papel de signos de puntuación,
queda así delineado —desde el punto de vista intuitivo— cuál será el concepto de
interpretar o cómo se construye la semántica de los lenguajes proposicionales. En la
próxima sección formalizaremos estas ideas.
Problemas y tareas
1. Los enunciados «Juan es sano» y «Juan es rico» pueden permitirnos gene-
rar nuevos enunciados aplicando los conectivos ya estudiados. Ofrezca diez
ejemplos de enunciados que surgen de tales aplicaciones. Escriba las fórmulas
correspondientes a cada uno de ellos.
2. Las «tablas de verdad» exhiben el significado de los conectores respectivos.
Construya tablas de verdad que capturen el significado:
a. de algún conector binario que no ha sido caracterizado arriba;
b. de un conector unario distinto de la negación;
c. del conector binario siguiente —cuya expresión en el lenguaje natural
aparece subrayada—: Juan ni es sano, ni es rico.
78
Asignación de valores de verdad
Definición
Sea Val el conjunto de los valores veritativos, i.e., Val={V, F} Una asignación
de valores de verdad (a.v.v.) es una función f j del conjunto LP en el conjunto Val
—siendo j un entero positivo que funciona como índice que permite identificar la
asignación. Esto es, f j: LP → Val.
Nótese que f j está definida para todo elemento de LP.
Veamos un ejemplo de a.v.v.; definamos f j como una función que va de LP en Val
i.e. f j:LP→Val del modo siguiente:
f j(An)= { V, si n>23
F, en otro caso
Interpretación
Comisión Sectorial de Enseñanza
Definición
Sea f j una asignación de valores de verdad. Notaremos con f j(A1), f j (A2),…, f j
(An), … los valores que, respectivamente, f j da a A1, A2, …, An, … . Sea j, y∈For.
Definimos la función If j: For→Val del modo siguiente:
1. If j (j)=f j (j) si ϕ∈LP;
79
2. If j (¬j)=f¬ (If j (j))=F si If j (j)=V
f¬ (If j (j))=V si If j (j)=F;
3. If j (j∧y)=f∧ (If j (j), If j (y))=V si If j (j)=If j (y)=V
f∧ (If j (j), If j (y))=F en otro caso;
4. If j (j∨y)=f∨ (If j (j), If j (y))=F si If j (j)=If j (y)=F
f∨ (If j (j), If j (y))=V en otro caso;
5. If j (ϕ→y)=f→ (If j (j), If j (y))=F si If j (j)=V y If j (y)=F
f→ (If j (j), If j (y))=V en otro caso;
6. If j (j↔y)=f↔ (If j (j), If j (y))=V si If j (j)=If j (y)
f↔ (If j (j), If j (y))=F en otro caso;
7. If j (ϕwy)=fw (If j (j), If j (y))=V si If j (j)≠If j (y)
fw (If j (j), If j (y))=F en otro caso
Diremos que If j es una interpretación del lenguaje L.
Una descripción informal del trabajo de la interpretación puede expresarse así: en
primer lugar, tenemos una función (a.v.v.) que otorga valores de verdad a las letras de
enunciados. En segundo lugar, poseemos funciones que, tomando como argumentos
valores de verdad, dan como resultado valores de verdad (las f que tienen un conector
como subíndice). Una interpretación consiste precisamente en una función que, a
partir del trabajo de las funciones descriptas, asocia, con cada fórmula j del lengua-
je, un valor de verdad. Cabe notar que la interpretación de las letras proposicionales
varía mientras la interpretación de los conectores permanece fija; por ello, cada in-
terpretación depende de la a.v.v. (f j), esto es reflejado en la notación (If j).
Modelo
Definición
Una interpretación If j es un modelo de una fórmula j de L si la hace verdadera.
Sea G un conjunto de fórmulas de L. Sea If j una interpretación que hace verdaderas
todas las fórmulas de G. Decimos que If j es un modelo de G. Cuando una fórmula j
tiene por lo menos un modelo, decimos que j es satisfacible.
La rama de la lógica que se ocupa, expresado de una forma grosera, de las re-
laciones entre los lenguajes formales y sus interpretaciones se denomina teoría de
modelos. A partir de la rigorización de nuestra semántica, puede ofrecerse ahora
una caracterización precisa de conceptos que se habían discutido antes en términos
intuitivos. En especial, el concepto de consecuencia lógica.50
Universidad de la República
Validez proposicional
Definición
Sea j∈For. Se dice que j es válida si y solamente si j es verdad en toda
interpretación.
Otras importantes nociones de las cuales tenemos cierta comprensión intuiti-
va adquieren también aquí un significado matemático preciso. Las nociones de
consistencia e inconsistencia pueden pensarse que, en este contexto, corresponde
entenderlas como satisfacibilidad e insatisfacibilidad.
Problemas y tareas
1. Una a.v.v. es una función que otorga valores a todas las letras proposicionales
de nuestro lenguaje. Defina cinco funciones de este tipo —por simplicidad
denomínalas f1, f2, f3, f4, f5. Como recuerda, dos asignaciones de valores de
verdad son distintas si para al menos una letra proposicional difieren en el
Comisión Sectorial de Enseñanza
2. (A1→A2)
A1
A2
Si analizamos el trabajo que hemos hecho —al que hemos denominado tra-
ducción— quizá sea conveniente distinguir dos momentos de la misma. En primer
término, el pasaje del argumento en el lenguaje natural 1) al esquema argumental
escrito en el lenguaje formal 2). Este pasaje no ha ocupado la atención de la lógica
matemática. No poseemos aquí ningún procedimiento estándar más allá del sugeri-
do por la asociación lingüística ya señalada entre ciertas partículas del lenguaje or-
dinario y nuestros conectivos de L. En segundo término, tenemos la transformación
de nuestro esquema argumental 2) en la fórmula 3): esta es absolutamente mecánica.
Podemos generalizarla así. Si nuestro esquema argumental es
Pre1
Pre2
:
:
Pren
Comisión Sectorial de Enseñanza
Con
53 Este tipo de problemas no se atienden en este curso; el lector interesado puede consultar, por
ejemplo, Quine (1967) o Deaño (1974).
83
((Pre1∧Pre2…∧Pren)→Con)
es la fórmula correspondiente.
Pero ahora nos debemos preguntar si el argumento inicial es lógicamente co-
rrecto y para ello deberíamos ser capaces de evaluar, en este caso específico, si la
conclusión es consecuencia lógica (consecuencia teórico-modélica) de las premisas.
Este problema naturalmente se reduce aquí a evaluar la fórmula que expresa la re-
lación entre premisas y conclusión.
Adviértase que hemos llegado así a la necesidad de encontrar procedimientos que
nos permitan resolver el problema específico de la evaluación de las fórmulas que
expresan la relación entre premisas y conclusión.54 Esta tarea es la que ocupará las
dos secciones siguientes.
Para calcular el valor de verdad de esta fórmula el primer paso consiste en inter-
pretar las letras proposicionales, es decir, en atribuir valores de verdad a las mismas.
Una interpretación consistirá, por ejemplo, en asumir que A1 y A2 son ambas ver-
daderas. El objetivo será pues, para esta interpretación, calcular el valor de toda la
fórmula (marcaré solamente a los fines didácticos de esta exposición con signos de
interrogación ese valor «incógnita»)
A1 A2 (((A1→A2)∧A1)→ A2)
V V ¿?
A1 A2 (((A1→A2)∧A1)→ A2)
V V ¿? ¿?
A1 A2 (((A1→A2)∧A1)→ A2)
V V 1 2 3
A1 A2 (((A1→A2)∧A1)→ A2)
V V V 2 3
A1 A2 (((A1→A2)∧A1)→ A2)
V V V V 3
A1 A2 (((A1→A2)∧A1)→ A2)
V V V V V
Adviértase que se trata de una interpretación, a saber, cuando ambas letras pro-
posicionales son verdaderas. Pero ¿hay otras interpretaciones? Obviamente sí. Es
más, en este caso resulta claro que hay tres y solo tres interpretaciones más —ya que
en las definiciones de los conectivos se encuentran expresadas todas las interpreta-
ciones posibles de las letras ocurrentes en la fórmula.
Para calcular pues el valor de la fórmula para todas las interpretaciones posibles
de A1 y A2 basta pues con construir una tabla como la que sigue:
Comisión Sectorial de Enseñanza
A1 A2 (((A1→A2)∧A1)→ A2)
V V V V V
V F F F V
F V V F V
F F V F V
85
Este método puede denominarse «tabular». Quizá convenga explicitar el proce-
dimiento de forma tal que se evidencie algo más claramente su carácter algorítmico
o mecánico:
Sea F∈For,
1. Se determina el número de letras proposicionales que ocurren en la fórmula
(digamos, n) y se calcula el número de renglones (2n) que deberá poseer la tabla;
2. Se escriben ordenadas por subíndice las letras proposicionales que ocurren
en F a la izquierda de la misma y debajo de cada una se completan los 2n
renglones así: se toma la más a la izquierda y se escribe una columna donde
en el primer renglón aparece V, en el segundo F, en el tercero V y así hasta
el último; se toma la próxima letra a la derecha y se conforma la columna
respectiva escribiendo V en los dos primeros renglones y F en los renglones
tercero y cuarto y así hasta el final; se toma la próxima letra de la derecha y se
conforma la columna ahora con cuatro renglones V y cuatro F y así hasta el
final, etc. Como se ve la idea es duplicar en cada columna (después de la pri-
mera) el número de V (F) que aparecen «seguidas» en la columna inmediata
anterior: en la primera letra se escribe una vez cada valor, en la segunda dos,
en la tercera cuatro y así sucesivamente. Esto permite confeccionar todas las
interpretaciones de las letras proposicionales que ocurren en la fórmula.
3. En cada renglón se comienza calculando el valor de las variables negadas (si
las hay). Luego se calcula el valor de las fórmulas más «internas», es decir, se
va de «adentro hacia fuera». Primero se calcula las fórmulas en que los conec-
tivos binarios afectan solo a letras proposicionales (si las hay), luego las que
se componen de por lo menos una fórmula de este tipo y así sucesivamente.
Se va de las fórmulas más «simples» a las más «complejas» en virtud de que
es necesario, para calcular el valor de las últimas, contar con —es decir, ya
haber calculado— el valor de las primeras.
4. El procedimiento finaliza cuando se ha calculado el valor de la fórmula para
las 2n interpretaciones.
Luego, si se piensa en la aplicación de la teoría lógica a la evaluación de ar-
gumentaciones en lenguaje natural, dada una argumentación, podemos traducir-
la, como dijimos antes, al lenguaje formal, construyendo la fórmula asociada a la
misma y luego aplicar el algoritmo antes descripto. El aspecto esencial es entonces
que puede decidirse, mediante esta estrategia, si la argumentación en cuestión es
lógicamente correcta. Basta con aplicar el método tabular a la fórmula que expresa
el argumento e inspeccionar si, para toda interpretación, la misma toma el valor
V —en este caso se dice que la fórmula es tautológica o que es una tautología. Si la
Universidad de la República
Problemas y tareas
1. Aplique el método tabular a las siguientes fórmulas y determine si se trata de
tautologías, contingencias o contradicciones:
a. (((A1→A2)∧A1)→A2)
b. (((A1→A2)∧A2)→A1)
c. (((A1→A2)∧¬A2)→¬A1)
d. (¬(A1∧A2)↔(¬A1∧¬A2))
e. (¬(A1∨A2)↔(¬A1∨¬A2))
f. (¬(A1∧A2)↔(¬A1∨¬A2))
g. (¬(A1∨A2)↔(¬A1 ∧¬A2))
h. ((A0∧A1)↔(A1∧A0))
i. ((A0∧ A1)↔¬(A1∧A0))
j. ((A1→A1)→¬(A1∨¬A1))
k. (((A0→A1)∧(A1→A2))→(A0→A2))
l. (((A0∨A1)∧((A1→A2)∧(A0→A2)))→A2)
Comisión Sectorial de Enseñanza
m. (((A0∧A1)∧(A0→A2))→(A1∧A2))
2. Pueden construirse fórmulas más complejas a partir de fórmulas más simples
«conectándolas» con los conectores apropiados. Describa cómo construir una
fórmula tautológica a partir de:
a. una fórmula contradictoria y una fórmula contingente;
1) (((A1→A2)∧(A2→A3))→(A1→A3))
Si existiera una asignación de valores de verdad o veritativos para las letras pro-
posicionales que ocurren en (1) que la hiciera falsa, debiera ser tal que el valor del
antecedente —para esa asignación— fuera verdadero y el valor del consecuente —
para esa asignación— fuera falso. Para que resulte más intuitivo, podemos describir
la situación así:
2) (((A1→A2)∧(A2→A3))→(A1→A3))
V F
luego solo puede ser tal que otorgue V a A1 y F a A3 , pues en otro caso no haría
Universidad de la República
falso el consecuente:
3) (((A1→A2)∧(A2→A3))→(A1→A3))
V F V FF
88
Ahora bien, como ya he atribuido valores a A1 y A3 la situación debe describirse
así
4) (((A1→A2)∧(A2→A3))→(A1→A3))
V V F V F F
Pero entonces, para que el antecedente sea verdadero, deben hacerse verdaderos
los dos componentes de la conjunción. El único modo de hacer verdadero (A1→A2)
es:
5) (((A1→A2)∧(A2→A3))→(A1→A3))
V V V ? V ? F V F F
Si ¬A es falsa, A es verdadera.
2. Si A∧B es verdadera, A es verdadera y B es verdadera
Si A∧B es falsa, A es falsa o B es falsa
3. Si A∨B es verdadera, A es verdadera o B es verdadera
Si A∨B es falsa, A es falsa y B es falsa
RN. ¬¬ j
j
RCJ 1) j∧ψ RCJ 2) ¬(j∧ψ)
j ¬j ¬ψ
ψ
RD 1) j∨ψ RD 2) ¬(j∨ψ)
j ψ ¬j
¬ψ
RCD 1) j→ψ RCD 2) ¬(j→ψ)
¬j ψ j
¬ψ
RDE 1) jwψ RDE 2) ¬(jwψ)
j ¬j j ¬j
¬ψ ψ ψ ¬ψ
RB 1) j↔ψ RB 2) ¬ (j↔ψ)
j ¬j j ¬j
ψ ¬ψ ¬ψ ψ
1) (((A1→A2)∧(A2→A3))→(A1→A3))
2) ¬(((A1→A2)∧(A2→A3))→(A1→A3))
90
Luego aplicamos la regla correspondiente a la falsedad del condicional (y marca-
mos con una «+» la fórmula que usamos como premisa de la aplicación de la regla):
¬(((A1→A2)∧(A2→A3))→(A1→A3))+
(A1→A2)∧(A2→A3)
¬(A1→A3)
¬(((A1→A2)∧(A2→A3))→(A1→A3))+
(A1→A2)∧(A2→A3)
¬(A1→A3) +
A1
¬A3
¬(((A1→A2)∧(A2→A3))→(A1→A3))+
(A1→A2)∧(A2→A3)+
¬(A1→A3)+
A1
¬A3
A1→A2
A2→A3
¬(((A1→A2)∧(A2→A3))→(A1→A3))+
(A1→A2)∧(A2→A3)+
¬(A1→A3)+
A1
¬A3
A1→A2+
A2→A3
Comisión Sectorial de Enseñanza
¬A1 A2
x
57 Se copia todo lo ya construido para que se aprecie el desarrollo del procedimiento y la estruc-
tura del mismo.
91
La «x» indica que hemos encontrado una contradicción (A1, ¬A1) en la «rama».
Luego se corta esa «rama». La idea intuitiva de «rama» se asocia al signo «|»; cuando
el mismo aparece se «abren» dos «caminos» o dos «ramas»; puede recorrérsele (a
cada rama o camino) ascendiendo por cada uno de ellos sin necesidad de desplaza-
mientos «horizontales». En el ejemplo anterior, A2, A2→A3, A1→A2 (entre otras)
pertenecen a la misma rama pero no así ¬A1—intuitivamente, si partimos de A2
deberíamos «desplazarnos horizontalmente» para llegar a ¬A1.
El análisis prosigue por la rama que permanece abierta. Aplicamos la regla de la
verdad del condicional a la única fórmula que resta por analizar —adviértase que
ninguna de las fórmulas no marcadas excepto el condicional es susceptible de ser
usada como premisa de alguna de las reglas:
¬(((A1→A2)∧(A2→A3))→(A1→A3))+
(A1→A2)∧(A2→A3) +
¬(A1→A3) +
A1
¬A3
A1→A2 +
A2→A3 +
¬A1 A2
x ¬A2 A3
x x
Véase que cada una de las «ramas» ha cerrado con un «x»; cuando esta es la situa-
ción, quiere decir que no hay ninguna asignación de valores a las letras proposicio-
nales que permita verificar la fórmula negada. Es decir, si la negación de (1) nunca
puede ser verdad es porque (1) nunca puede ser falsa i.e. (1) es tautológica.
Este mecanismo de evaluación permite identificar de forma elegante y eficiente,
cuando una fórmula es una tautología.
Problemas y tareas
1. Evaluar los siguientes argumentos (por tablas analíticas):
a. Si Juana estudia álgebra, el gato se sube a la mesa. Si Juana estudia litera-
tura, el gato se extiende frente a la estufa. Juana estudia literatura o álge-
bra. Por lo tanto el gato se extiende frente a la estufa o se sube a la mesa.
b. Si Alicia se casa, Juan se muda a París. Y si se muda a París, será vecino de
María. Y si es vecino de María, Mario se mudará al apartamento contiguo
Universidad de la República
92
c. Si la venta de manzanas disminuyera sensiblemente, el precio de la man-
zana bajaría. Y si bajara, Juan comería dos manzanas en vez de una en el
postre. Pero Juan solamente come una manzana en el postre. Por lo tanto,
la venta de manzanas no ha disminuido sensiblemente.
2. Supóngase que se tiene los conectores siguientes:
A B AxB A x’ B A x’’ B
V V F F F
F V V F F
V F V F V
F F V V V
a. Ofrezca para estos conectores reglas análogas a las establecidas para los de
L a los efectos de desarrollar las tablas analíticas;
b. ¿Encuentra alguna relación entre las reglas para «x» y «x’ » y las de algunos
de los conectores de L?
((A1→A2)∧A3)
se tendría una cierta función f : Val3 →Val tal que, por ejemplo, para el caso en
que A1 y A2 son F y A3 es V, da el valor V —es decir, f(F,F,V)=V— y para el caso
en que A1 es V, A2 y A3 son F, da F —es decir, f(V,F,F)=F. Resulta obvio que, con
cada ϕ∈For, puede asociarse una función f: Valn →Val, donde n es el número de
letras proposicionales que ocurren en ϕ. Por otra parte, una función puede expre-
sarse a través de diversas fórmulas. La condición que deben cumplir dos fórmulas
para expresar la misma función es ser equivalentes, es decir, ϕ y ϕ’ expresan la misma
fórmula si y solo si ϕ↔ϕ’ es tautología. Llamemos a estas funciones que asociamos
Comisión Sectorial de Enseñanza
93
respectivamente, toma como valor V (F), diremos que f es la función veritativa
asociada a ϕ. Estas observaciones permiten demostrar la siguiente
Proposición
Sea ϕ∈For. Existe ϕ’∈For tal que:
a) en ϕ’ solo ocurren negación, conjunción y disyunción y
b) ϕ↔ϕ’ es tautología.
Prueba. Sea j una fórmula contradictoria, es decir, para toda atribución de valo-
res veritativos a las letras enunciativa que en ella ocurren toma el valor falso. Luego
tomemos ϕ’≡(A1∧¬A1). Es obvio se cumplen a) y b). Sea j una fórmula no con-
tradictoria, i.e. existe al menos una atribución de valores a las n letras enunciativas
que en ella ocurren tal que j toma el valor verdadero. Luego existen k n–tuplas
(1≤k≤2n) v1, v2,…, vn tales que f(v1, v2,…, vn)=V —siendo f la función veritativa aso-
ciada a ϕ y cada vi (1≤i≤n), como es obvio, representa un valor de verdad. Luego
para cada n–tupla k y para cada letra proposicional αi (1≤i≤n) que ocurre en ϕ,
definimos αi,k del modo siguiente:
94
Como se prometió en la sección Un método más elegante para evaluar fórmu-
las: tablas analíticas, resulta ahora claro por qué la introducción de las reglas para
la disyunción exclusiva y el bicondicional no agregan nada en el sentido preciso de
que fórmulas en las que interviniesen esos conectores pueden traducirse a fórmulas
que en las cuales solo ocurren conectores para los cuales ya contamos con sus res-
pectivas reglas y luego podemos tratarlas perfectamente prescindiendo de aquéllas
reglas. Puede ocurrir, no obstante, que estemos interesados en lenguajes que poseen
determinado elenco específico de reglas. En particular, véase que tal es el caso de
L. La razón para ello radica en la ganancia en claridad de las relaciones entre L y
el lenguaje natural.
Es fácil intuir que el conjunto adecuado de conectivos formado por la negación,
la conjunción y la disyunción no es el único conjunto adecuado posible. Para en-
contrar un tratamiento más detallado de la cuestión podemos recurrir a Mendelson
(1984).
Una lección importante que podemos extraer de este resultado para nuestro
curso es la multiplicidad de posibilidades de caracterización de lenguajes proposi-
cionales de igual poder expresivo. Esta observación permite apreciar que podemos
entender nuestro estudio sobre L más que como un estudio sobre un lenguaje espe-
cífico, un estudio sobre una clase de lenguajes lógicos, a saber, los lenguajes lógicos
proposicionales.
Problemas y tareas
1. Sea ϕ∈For. Demostrar que existe j’∈For tal que:
a) en j’ solo ocurren negación y conjunción y
b) j ↔j’ es tautología.
2. Sea ϕ∈For. Demostrar que existe j’∈For tal que:
a) en j’ solo ocurren negación y disyunción y
b) j↔j’ es tautología.
3. Sea ϕ∈For. Demostrar que existe j’∈For tal que:
a) en j’ solo ocurre el conector caracterizado en el ejercicio anterior como
«x» (al que suele denominarse «negación conjunta» o «functor de Peirce»
y se nota «») y
b) j↔j’ es tautología.
Tautologías famosas
Comisión Sectorial de Enseñanza
95
excluido y el principio de no–contradicción. Traducciones aceptables de los mismos
pueden ser las tres fórmulas siguientes:58
PI. (A1↔A1)
PTE. (A1∨¬A1)
PNC. ¬(A1∧¬A1)
La validez de estas fórmulas forma parte del corazón mismo de la lógica clásica.
Algunas teorías lógicas divergentes o no–clásicas han cuestionado, precisamente,
tal validez. Por ejemplo, la lógica intuicionista rechaza PTE y la lógica paraconsis-
tente objeta PNC.
Respecto de cada conectivo existen una serie de «verdades» sobre los mismos
que resulta útil conocerlas.
Comencemos estudiando algunas propiedades de la conjunción y la disyunción
inclusiva. Si se inspecciona las definiciones de estos conectores puede fácilmente
advertirse que ambos son operadores conmutativos, es decir
Modus Ponens:
(A1→A2)
A1
Universidad de la República
A2
58 Por razones de comodidad y claridad de lectura, obviaremos los paréntesis externos cuando no
pongamos con ello en peligro la univocidad.
96
MP. ((A1→A2)∧A1)→A2
Modus Tollens:
(A1→A2)
¬A2
¬A1
MT. ((A1→A2)∧¬A2)→¬A1
Resulta útil, a los efectos de evitar errores muy comunes, recordar dos leyes
usuales, las denominadas leyes de De Morgan:
DM1. ¬(A1∧A2)↔(¬A1∨¬A2)
DM2. ¬(A1∨A2)↔(¬A1∧¬A2)
Estas dos leyes, por otra parte, nos recuerdan la posibilidad de expresar el signi-
ficado de un conectivo a través de otro, como vimos en la sección Conjuntos adecua-
dos de conectivos. Por ejemplo, dadas las equivalencias anteriores parece obvio que
(A1∧A2)↔¬(¬A1∨¬A2)
(A1∨A2)↔¬(¬A1∧¬A2)
Es decir, si, por ejemplo, contamos en un cierto lenguaje proposicional con los
conectivos disyunción inclusiva y negación, podemos prescindir de la conjunción.
Lo mismo respecto de la disyunción, si contamos con conjunción y negación. En
realidad, como hemos demostrado, tal fenómeno es más general.
Síntesis
Una de las motivaciones centrales de la lógica, tal como fue discutido en el
capítulo 1, consiste en la evaluación de argumentos. En este contexto, tal tarea se
concentra en la evaluación de la relación entre premisas y conclusión. Más específi-
camente, determinar si un argumento es lógicamente correcto quiere decir establecer
Comisión Sectorial de Enseñanza
97
El punto de partida de tal construcción consistió en interpretar los componen-
tes fundamentales del lenguaje L: letras de enunciados y conectores. Hemos hecho
primero tal trabajo intuitivamente. Luego, explotando los recursos matemáticos
estudiados en el capítulo 2, dimos una caracterización rigurosa de interpretación
para el lenguaje proposicional L. Las ideas fundamentales son las siguientes. La
interpretación de las letras de enunciados son valores de verdad, es decir, una fun-
ción que asigna a cada letra proposicional, los valores V o F. La interpretación de
los conectores consiste en funciones. Si el conector es la negación, es una función
que asigna a V (F) el valor de verdad F (V). Si el conector es un conector binario, la
función asigna a cada par de valores de verdad, el valor de verdad que la definición
intuitiva tabular enseña.
Una interpretación es una función que, a partir de una asignación de valores de
verdad a las letras proposicionales y de las funciones que dan el significado de los
conectores, otorga a cada fórmula del lenguaje un valor de verdad. Suele denomi-
narse extensional o denotacional a una semántica de esta naturaleza.
Según Frege cabe distinguir entre la denotación y el sentido de una expresión
lingüística. La denotación es aquello a lo cual la expresión refiere; el sentido es una
noción más difícil de caracterizar pero puede decirse que, en palabras de Frege, re-
coge el «modo de presentación» de la referencia o denotación. Un ejemplo ayudará a
entender en forma básica la cuestión. «El manco de Lepanto» y «Cervantes» refieren
al mismo individuo, es decir, ambas expresiones poseen la misma denotación, pero
lo hacen de formas evidentemente diferentes, es decir, ambas expresiones poseen
sentidos diferentes. Como se ha dicho antes, Frege considera que la denotación de
un enunciado verdadero es un objeto, a saber, lo Verdadero y la denotación de un
enunciado falso es otro objeto, a saber, la Falsedad.
La rigorización de las ideas semánticas iniciales permite la obtención de con-
trapartidas matemáticas precisas de importantes ideas intuitivas. En particular, se
obtienen los conceptos de «consecuencia teórico–modélica» (que puede pensarse
como contrapartida rigurosa del concepto de consecuencia lógica), y «validez» (que
puede pensarse como contrapartida rigurosa del concepto intuitivo de «verdad ló-
gica»). El valor de conceptos como satisfacibilidad e insatisfacibilidad se conectarán
más adelante con las ideas de consistencia e inconsistencia. Adviértase, no obstan-
te, que podemos usar el concepto de insatisfacibilidad para caracterizar también
consecuencia, en el sentido en que una fórmula j es consecuencia del conjunto de
fórmulas Γ si y solamente si Γ∪{¬ϕ} es insatisfacible.
En general, los desarrollos semánticos estudiados permiten enfrentar el proble-
ma de la evaluación de argumentaciones específicas, desde el punto de vista de su
Universidad de la República
corrección lógica (proposicional). Esta última tarea puede esquematizarse así (don-
de «⇒» significa la relación de justificación deductiva pretendida entre premisas y
conclusión):
98
Pre1, Pre2,…,Pren ⇒ Con
⇓
Pre1’, Pre2’,…,Pren’ ⇒ Con’
(«traducción» a L)
⇓
((Pre1’∧Pre2’∧…∧Pren’)→ Con’)
⇑
Evaluación vía un algoritmo (Ej.: tablas semánticas)
59 El último capítulo de este libro sugiere la posibilidad de defender un punto de vista alternativo.
99
Capítulo 5
conduce a discriminar en las premisas (en sentido lato) entre aquellos enuncia-
dos asumidos y ciertas consecuencias de éstos. Pero adviértase que si evaluamos tal
argumento desde el punto de vista de la relación de consecuencia lógica (semántica,
intuitiva) parecería que los pasos devienen algo superfluos; si la pregunta funda-
mental es si la relación se da entre premisas (en sentido lato) y conclusión, en el caso
que la misma se diera, el argumento debería catalogarse como correcto. Pero, ¿y la
relación entre las premisas (en sentido estricto) y los pasos?, ¿y la relación entre los
pasos y la conclusión? Y, fundamentalmente, dado que la función característica de
los pasos es evidenciar o exhibir la conexión entre las premisas (en sentido estricto)
y la conclusión, ¿cómo evaluar si la cumplen? Este capítulo intenta responder tales
preguntas en el contexto del lenguaje lógico proposicional.
Problemas y tareas
Comisión Sectorial de Enseñanza
101
Si x∈A∩B, entonces, por definición, x∈A y x∈B, es decir, x∈B y x∈A
i.e. x∈B∩A. Luego A∩B⊆B∩A. Un argumento análogo permite probar
B∩A⊆A∩B. Luego, A∩B=B∩A.
Si x∈A∪B, entonces, por definición, x∈A o x∈B, es decir, x∈B o x∈A i.e.
x∈B∪A. Por lo tanto, A∪B⊆B∪A. Un argumento análogo permite probar
que B∪A⊆A∪B. Luego A∪B=B∪A.
2. Revise la siguiente demostración ofrecida en el capítulo 2.
Subraye fragmentos en los que la legitimidad del pasaje de una aseveración
a otra se apoya en el significado de un conector. Explicite la justificación de
tales pasos.
Si x∈A∪(B∩C), entonces, por definición, x∈A o x∈B∩C. Supongamos que
x∈A, entonces x∈A o x∈B i.e. x∈A∪B. Por argumento análogo x∈A∪C.
Luego x∈(A∪B)∩(A∪C). Supongamos que x∈B∩C, entonces, por defini-
ción, x∈B y x∈C. Luego, como x∈B, x∈A∪B y como x∈C, x∈A∪C. De
aquí se deduce que x∈(A∪B)∩(A∪C). Por lo tanto, si x∈A∪(B∩C) enton-
ces x∈(A∪B)∩(A∪C) i.e. A∪(B∩C)⊆(A∪B)∩(A∪C). Si x∈(A∪B)∩(A∪C),
entonces x∈A∪B y x∈A∪C. Si x∈A, entonces obviamente x∈A∪(B∩C). Si
x∉A, como x∈A∪B y x∈A∪C, entonces x∈B y x∈C i.e. x∈B∩C y luego
x∈A∪(B∩C). Por lo tanto, si x∈(A∪B)∩(A∪C), entonces x∈A∪(B∩C), es
decir, (A∪B)∩(A∪C)⊆A∪(B∩C). Luego A∪(B∩C)=(A∪B)∩(A∪C).
mer lugar, el énfasis en la cadena de razonamiento. Adviértase que es una forma de re-
ferirse a la trama argumental que hemos denominado «pasos» en nuestro modelo. Esta
noción pues (a diferencia de la noción de consecuencia) coloca en primer plano dicha
trama a la hora de identificar un argumento y, especialmente, a la hora de evaluarlo.
60 La noción es introducida por Wagner (1987). Asimismo puede leerse en Shapiro (1991).
102
Pues es una propiedad de tal trama, a saber, el carácter auto–evidente, esencial para
cualificarlo como correcto. Esta propiedad reclama naturalmente elucidación.
Un modo de entender esta auto–evidencia consistiría en que el pasaje de un
paso al otro sea el resultado indiscutible de la aplicación de una regla de legitimi-
dad indudable. La indiscutibilidad de que se trata de la aplicación de una cierta
regla podría resultar de la claridad propia de la regla, es decir, de la naturaleza de
las condiciones que la misma impone. Veremos que, dado su carácter puramente
sintáctico, ciertas reglas gozan de esa transparencia. La indubitabilidad, en cambio,
de su legitimidad, podría derivar de la evidencia respecto a la transmisión necesaria
de la verdad de las premisas a la conclusión obtenida por aplicación de la misma. Es
decir, la satisfacción de la exigencia de consecuencia lógica.
Esta explicación obviamente supone una cierta reducción de este segundo cri-
terio de corrección al primero y, en ese sentido, la noción intuitiva de consecuen-
cia lógica posee una especie de primacía respecto de esta noción de argumento
idealmente justificado. Tal atribución a la noción intuitiva semántica de un carác-
ter básico y fundamental seguramente no resultará unánimemente aceptada. Esta
concepción debe entenderse que funciona como un presupuesto conceptual de la
estructura y motivación generales de este libro pero no afecta el contenido técnico
del mismo (que, naturalmente, es el estándar).
Asumida esta articulación entre ambas concepciones intuitivas, cabe pregun-
tarse cómo rigorizar o formalizar esta noción de argumento idealmente justificado.
La respuesta será el concepto de sistema deductivo (también hablaremos de sistema
deductivo formal o, brevemente expresado, sistema formal).
Juana es cantautora
103
Es decir, a partir de:
(A1→A2)
A1
A2
(((A1→A2)∧A1)→A2)
1 (A1→A2) premisa
2 A1 premisa
{
3 ...
... ... pasos justificados por reglas
n A2
61 La relación entre tales «tipos» y las variedades al interior de cada uno de ellos excede los pro-
pósitos de este libro.
62 Un sistema de deducción natural puede contar con axiomas, además de reglas de inferencia. Por
otra parte en un cálculo de secuentes y aunque tal sistema es caracterizado por un conjunto de
reglas de inferencia, las pruebas no lucen exactamente como la que aquí aparece. Se prefirió ofre-
cer un esquema general y, posteriormente, introducir los matices y las precisiones pertinentes, en
virtud de consideraciones de índole didáctica.
104
Podría, atendiéndose al segundo modo de enfrentar la cuestión arriba plantea-
da, construirse un sistema en el que se pudiera probar, directamente, la fórmula
(((A1→A2)∧A1)→A2).
En este caso el sistema contará con una serie de fórmulas iniciales (o esquemas
de fórmulas) que serán aceptados como una suerte de «stock de verdades primitivas»
–éstas no precisarán de demostración y podrán introducirse en cualquier «paso» de
una prueba. En tal sistema se tendrá además algunas reglas de inferencia que ope-
rarán como en el caso anterior. Estas «verdades iniciales» se denominan axiomas y
tales sistemas se denominan sistemas axiomáticos. Esta visión inicial de los sistemas
axiomáticos ha sido abandonada por una concepción de los mismos donde el len-
guaje en que se construyen es un lenguaje formal y, en consecuencia, los axiomas
no son «verdades auto–evidentes» sino simplemente un cierto elenco de fórmulas
ininterpretadas. Esta concepción subyace a los que denominaremos sistemas axio-
máticos formales —un ejemplo de tal concepto se estudiará en este libro. Algunos
autores han señalado el contraste entre la primera y la última concepción de los
sistemas axiomáticos acentuando en la primera etapa la preocupación por la unifi-
cación y sistematización conceptual, y enfatizando en la segunda la búsqueda de una
suerte de caracterización (vía definición implícita) de ciertos objetos matemáticos,
en el talante de una concepción más general y abstracta de las matemáticas.63 Una
prueba o demostración en un sistema axiomático formal luciría más o menos así:
{
1
... pasos justificados por axiomas y reglas
k (((A1→A2)∧A1)→A2)
63 Una discusión de la evolución de las diversas concepciones de los sistemas axiomáticos puede
leerse, por ejemplo, en Torretti (1993).
105
deducción natural y pueden asumirse hipótesis en un sistema axiomático. No obs-
tante, la diferencia de énfasis entre unos y otros sistemas es indudable.64
Una situación que no debe pasar inadvertida por el lector es que, intuitivamen-
te, parecería que se tiene ahora —si el sistema deductivo se «comporta bien»— un
modo alternativo de evaluar un argumento: si a partir de las premisas, mediante los
recursos del sistema deductivo, puede inferirse o demostrarse la conclusión, enton-
ces nos encontramos frente a un argumento correcto. Como se advierte la noción
de sistema deductivo formal puede pensarse como la rigorización o formalización
de las ideas involucradas en la noción pre–formal de argumento idealmente justi-
ficado. Así como se entendió la noción teórico–modélica de consecuencia como
elucidación de la noción intuitiva de consecuencia lógica, veremos cómo, a partir
de la construcción de sistemas deductivos formales, puede obtenerse la contraparti-
da elucidatoria de la noción pre–formal de argumento idealmente justificado. Esta
última noción formal se explicitará más adelante.
Se exponen a continuación un sistema axiomático y un sistema de deducción
natural. El sistema axiomático es muy popular; es presentado en el clásico manual
de E. Mendelson.65 No se le estudiará en detalle pues todo lo que se pretende es
exponer brevemente la estructura de las teorías axiomáticas formales. Las razones
para ello son, básicamente, de tipo histórico: es la forma axiomática la presentación
clásica de los sistemas deductivos y la misma ha revelado un extraordinario poten-
cial en el estudio de teorías deductivas. El sistema de deducción natural que se estu-
diará es también muy conocido; se trata de una ligera variante del presentado en el
manual de B. Mates.66 Este último será el que usaremos en este curso para «probar»
corrección lógica (en los lenguajes proposicionales primero y, agregándole algunas
reglas, en los lenguajes de orden uno después).
64 Quizá sea útil recordar que los sistemas de deducción natural aparecen mucho más naturalmente
asociados a la concepción de la lógica como un conjunto de reglas de naturaleza meta–teórica
Universidad de la República
(podríamos decir, lógica como «lógica subyacente» a diversas teorías) y los sistemas axiomáticos
más próximos a una percepción de la lógica como teoría acerca de cierto tipo de «verdades», a
saber, las «verdades lógicas».
65 Véase Mendelson (1987).
66 Véase Mates (1965).
67 En este punto así como en el sistema axiomático escogido —como se adelantó— se sigue
Mendelson (ob. cit.).
106
En segundo lugar, se exigirá que se defina un subconjunto (no necesariamente
finito) de fórmulas que constituirán los axiomas de la teoría y este conjunto debe
ser decidible —denominemos «AXI» a este conjunto. Distinguiremos más adelante
entre dos tipos de axiomas: los axiomas lógicos y los axiomas propios, específicos
de cada teoría particular (por ejemplo, axiomas de grupos, cuerpos, orden, etc.). En
el lenguaje proposicional solamente contaremos con axiomas lógicos. Más adelante,
cuando sea enriquecido nuestro stock de axiomas lógicos, se ofrecerán también
algunos ejemplos de teorías y allí el lector podrá apreciar nítidamente la diferencia
entre los dos tipos de axiomas.
En tercer lugar, existirá una serie <Ri> —i∈I⊆Z+—68 de relaciones entre fór-
mulas denominadas reglas de inferencia. Lo que caracteriza estas relaciones es que,
para cada Ri, existe uno y solo un j∈Z+ tal que, dada una fórmula j del lenguaje y
un conjunto de j fórmulas del lenguaje, puede decidirse efectivamente si j es o no el
resultado de aplicar Ri a las j fórmulas referidas. Luego se puede definir una función
d: I→Z+ tal que para cada i∈I, da el j∈Z+ (que, intuitivamente, no es sino el número
de «premisas» de la regla de inferencia). Cuando una fórmula j se obtiene por Ri
de d(i) fórmulas particulares, diremos que j es consecuencia directa de las fórmulas
referidas.
Un concepto central que definiremos a continuación es el concepto de consecuen-
cia teórico-demostrativa ( ). Este concepto puede pensarse, tal cual fue sugerido en
la sección anterior, como contrapartida elucidatoria de la noción intuitiva de argu-
mento idealmente justificado. Como se verá inmediatamente, tal concepto se apoya
esencialmente en una cierta noción precisa de prueba o demostración. El estudio de
las propiedades y características de estos objetos denominados «pruebas» será uno
de los intereses fundamentales de la denominada teoría de la prueba o teoría de la
demostración. Ahora ofrecemos meramente la definición del concepto prometido.
Consecuencia teórico-demostrativa
Definición
Sea G un conjunto de fórmulas, sea j una fórmula. Se dirá que j es consecuencia
teórico–demostrativa de G (se nota: G j) si y solo si hay una secuencia ϕ1, ϕ2,…,ϕn de
fórmulas tales que ϕn≡j y, para cada k con 1≤k≤n, se tiene que
a) ϕk∈AXI o
b) ϕk∈G o
c) ϕk es consecuencia directa por una regla Ri de δ(i) fórmulas que aparecen en
Comisión Sectorial de Enseñanza
68 Como el lector recuerda, usamos «Z+» para referirnos a los números enteros positivos.
107
Teorema de la teoría axiomática
Definición
Si se tiene G j con G=∅, se dice que ϕ es un teorema de la teoría axiomática
(se nota j ).
Obsérvese que otro modo de caracterizar cuándo una fórmula j es un teorema es
el siguiente: j es un teorema si existe una secuencia de fórmulas ϕ1, ϕ2,…, ϕk (k∈Z+)
donde ϕk≡ϕ y para cada k (1≤k≤n) se tiene que se cumplen los casos a) o c) de la
definición Consecuencia teórico–demostrativa. El caso b), es obvio, no puede darse
ya que Γ es vacío.
La relación de consecuencia teórico–demostrativa exhibe algunas propiedades
del mayor interés conceptual. Estas son la monotonía, la compacidad y la transiti-
vidad. Podemos expresar las mismas de una forma muy clara —siendo Γ, Γ´y D
subconjuntos de FOR(A) y ϕ, δ∈FOR(A):
108
El primer aspecto a definir —en armonía con la definición de teoría axiomática
formal expuesta en la sección anterior— es el lenguaje formal. Se ha dedicado un
capítulo al estudio de la sintaxis de tal lenguaje formal de modo que no es necesario
entrar en detalles aquí. Simplemente señalar que —como se sabe— no es nece-
sario recoger todos los conectivos en el lenguaje para alcanzar el poder expresivo
requerido. Basta definir, a partir de un conjunto adecuado de conectores todos los
conectivos que se desee usar. Luego se asumirá un lenguaje formal que se construye
igual que el antes estudiado, pero que solo cuenta con negación y condicional.
El segundo paso consistirá en definir los axiomas. Los axiomas que se asumirán
serán, en realidad, esquemas de axiomas. Es decir, se asumirán ciertos esquemas
cuya sustitución por fórmulas de L serán propiamente axiomas. Estos esquemas
(en adelante y por razones de comodidad expositiva se denominarán simplemente
«axiomas») gobiernan o regulan, hablando intuitivamente, el comportamiento de los
conectores negación y condicional.
El tercer paso consistirá en definir las reglas de inferencia. La única regla de
inferencia que asumiremos será el Modus Ponens. ¿Cuáles son las premisas sobre las
que aplicamos tal regla? Pueden ser los propios axiomas o fórmulas que ya hemos
previamente demostrado o fórmulas que asumimos como suposiciones o hipótesis.
Las fórmulas (eventualmente) «nuevas» deducidas, si lo fueron a partir —exclusiva-
mente— de los axiomas, se denominarán «teoremas».
Ofrecida esta caracterización informal se presenta a continuación —en forma
precisa— el sistema axiomático formal M prometido.
En primer término presentaremos los axiomas de M.
Sea A, B y C fórmulas de L,69 se tiene entonces los axiomas siguientes:
A1. A→(B→A)
A2. ((A→(B→C))→((A→B)→(A→C)))
A3. (¬B→¬A)→((¬B→A)→B)
Interdefinibilidad de conectores
Comisión Sectorial de Enseñanza
Definición
Sean A, B∈For(A), entonces:
a) (A∧B)≡def ¬(A→¬B)
69 Adviértase que si estamos pensando en esta teoría como «lógica subyacente» de un lenguaje de
orden uno dado este «L» será, precisamente, tal lenguaje.
109
b) (A∨B)≡def (¬A→B)
c) (A↔B)≡def((A→B)∧(B→A)).
1. ϕ1
2. ϕ2
.
.
n ϕn
—donde ϕ1, ϕ2,…,ϕn son fórmulas. El número que aparece a la izquierda seguido
por un punto y luego por la fórmula lo denominaremos número de línea. Al igual
que en el caso axiomático, escribimos la justificación de cada paso a la derecha:
1. ϕ1 justificación de 1
2. ϕ2 justificación de 2
.
.
n ϕn justificación de n
Reglas de inferencia
Introducción de premisas (P)
Universidad de la República
Número de línea
.. .. ..
{n} n ϕj
.. .. ..
Contraposición (CP)
Intuitivamente, si tengo un condicional puedo deducir otro condicional, que
tenga como antecedente al consecuente negado del primero, y, como consecuente,
el antecedente negado del primero. Formalmente:
a) Debo escribir como números de premisas los números de premisas de la línea
en que aparece la premisa a la cual aplico CP
Comisión Sectorial de Enseñanza
.. .. ..
{a,j} n ϕj→ ϕk
.. .. ..
Condicionalización (C)
Intuitivamente, esta regla me permite, a los efectos de demostrar un condicional,
introducir el antecedente del mismo como premisa o supuesto y cuando demuestro
el consecuente, puedo escribir el condicional y «liberar» a tal condicional de la de-
pendencia de la premisa o del supuesto antes introducido. Formalmente:
a) Los números de premisa serán todos los números de premisa de la línea en
que ocurre ϕ, excepto (si es conveniente a los efectos de la prueba) el número
de línea de a (cuando el condicional que introduzco por la regla es α→ϕ). Un
uso habitual de esta regla lo ejemplifica el caso siguiente
.. .. ..
{n} n ϕk P
.. .. ..
{a,j,n} n+m ϕj
{a,j} n+m+1 ϕk→ ϕj C n+m
112
Sistema de deducción natural: ejemplos de pruebas
Podemos demostrar, dado un esquema argumental del lenguaje proposicional,
si es correcto o no de acuerdo a nuestro sistema de reglas. Pero al hacerlo podemos
entender que estamos demostrando, por así decirlo, una nueva regla de inferencia.
Veamos un ejemplo muy simple. Supongamos que nos proponemos afirmar que
A1→A3
es demostrable a partir de
A1→A2
A2→A3.70
{1} 1 A1→A2 P
{2} 2 A2→A3 P
{3} 3 A1 P
{1,3} 4 A2 MP 1,3
{1,2,3} 5 A3 MP 2,4
{1,2} 6 A1→A3 C5
Es evidente que podemos extraer de aquí una nueva regla (podríamos bautizarla:
RTC, regla de la transitividad del condicional):
A→B
B→C
A→C
¬A→¬B
B
A
{1} 1 ¬A→¬B P
Comisión Sectorial de Enseñanza
{2} 2 B P
{1} 3 B→A C P1
{1,2} 4 A MP 3,2
A1→(¬A1→A2)
En una línea o paso cualquiera de una prueba puedo introducir una instancia de
sustitución de este teorema. Por ejemplo,
.. ..
∅ n (A1→A2)→(¬(A1→A2)→A5) TEO
.. ..
Universidad de la República
A2↔¬¬A2
.. ..
{a,b} k (A1→A21)→¬ (A1→A2)
.. .. ..
{a,b} n (A1→A21)→¬ (A1→¬¬A2) RE en k
.. ..
{
{1} 1 γ1 P
{2} 2 γ2 P
.. G, premisas
..
k γk P
..
..
Comisión Sectorial de Enseñanza
.. ¿?
k+n ϕ Conclusión
115
Podríamos identificar básicamente dos estrategias muy generales para la bús-
queda de las fórmulas llamadas a «llenar» los puntos suspensivos que constituyen
el corazón de la prueba pretendida. Por una parte, una estrategia descendente que
consiste en intentar explotar las posibilidades que brindan nuestras premisas y, su-
cesivamente, cada nuevo paso demostrativo, hasta llegar a la conclusión. Las reglas
con subíndice 1 (RC1, RD1 y, por supuesto, MP) que discutiremos a continuación
son especialmente útiles en tal alternativa. Por otra parte, una estrategia ascendente
que procura indagar primero qué fórmulas me permitirían deducir la conclusión y
luego, sucesivamente, cada una de las fórmulas a las que voy reduciendo el problema
de la prueba, hasta desembocar en las premisas. Las reglas con subíndice 2 (RC2,
RD2) y por supuesto P, son especialmente útiles aquí. Pero, como resultará eviden-
te, puede convenir apelar a unas y a otras en forma variada y también combinar am-
bas estrategias. Estas orientaciones poseen exclusivamente una finalidad heurística.
Gráficamente podemos imaginar la situación así:
{1} 1 γ1 P
{2} 2 γ2 P
..
descendente .. ascendente
k γk P
..
..
..
{1,2,…,k} k+n ϕ
Condicional
Supongamos que se pretende demostrar una fórmula condicional como conclu-
Universidad de la República
116
prueba de la sección Sistema de deducción natural: ejemplos de pruebas. Deseamos
demostrar A1→A3, para hacerlo suponemos A1 (por P, en el paso 3) y llegamos a A3
(en el paso 5 y dependiendo de las premisas 1,2 y 3), luego, en el paso 6, aplicamos
C y cancelamos la dependencia de la premisa 3, es decir, eliminamos la dependencia
de la suposición del antecedente. Advierta el uso múltiple de la misma estrategia en
la siguiente prueba —«tachamos», con fines didácticos, el número de premisa elimi-
nado en el paso correspondiente:
{1} 1 A→ (B→C) P
{2} 2 B P
{3} 3 A P
{1,3} 4 B→C MP 1,3
{1,2,3} 5 C MP 4,2
{1,2,3} = {1,2} 6 A→C C5
{1,2} = {1} 7 B→(A→C) C6
{1} = ∅ 8 (A→ (B→C))→(B→(A→C)) C7
Supongamos ahora que se tiene una premisa cuyo conector principal es un con-
dicional. Imaginar cómo explotar esta especificidad estructural de la misma querrá
decir considerar las diversas consecuencias que ésta implica a la luz de las reglas
que, partiendo de fórmulas condicionales, permiten arribar a nuevas fórmulas. El
ejemplo paradigmático aquí es MP. Siempre que tenemos en juego negación y con-
dicional la regla obvia es CP. Pero, en general, existen diversas reglas derivadas que
pueden resultar muy útiles en la explotación de fórmulas condicionales:
A→B
B→C
A→C
¬A A A ¬A
117
sección Sistema de deducción natural: ejemplos de pruebas. Asimismo resultan útiles
teoremas como
T1. A→A
T2. ((A→(B→C))→(B→(A→C)))72
Negación
Supongamos que se tiene una fórmula negada como conclusión, es decir, la fór-
mula que pretendemos demostrar (que no tenemos demostrada o asumida) posee,
como conector principal, la negación. Una estrategia especialmente importante es
la de las demostraciones por absurdo (sobre la cual discutimos, en términos informa-
les, en el capítulo 1). Una forma de formalizar la misma que puede resultar útil es
la siguiente:
(Abs.)
A→B
A→¬B
¬A
A1→A2
A2→¬(A3→¬A4)
A1→(A4→¬A3)
¬A1
{1} 1 A1→A2 P
{2} 2 A2→¬(A3→¬A4) P
Universidad de la República
{3} 3 A1→(A4→¬A3) P
{4} 4 A1 P suposición
{1,4} 5 A2 MP 1,4
Uso la doble barra para indicar que puede leerse la regla en las dos direcciones
(descendente como es habitual y también ascendente). Como en casos anteriores,
el conjunto de números de premisa de la conclusión es el conjunto de números de
premisa de la premisa usada en la regla.
Existen asimismo otros teoremas de gran utilidad:
T3. A→(¬A→B)
Comisión Sectorial de Enseñanza
T4. ¬A→(A→B)
T5. ¬¬A→A
T6. A→¬¬A
73 Por ejemplo, podríamos haber usado RTC en 1 y 2 y así obtener directamente el condicional
deseado.
119
Ejemplos de aplicación de estas alternativas se encuentran en el segundo ejem-
plo de prueba de la sección Sistema de deducción natural: ejemplos de pruebas.
Conjunción
Supongamos que se espera probar como conclusión una fórmula cuyo conector
principal es la conjunción. La regla estructuralmente paradigmática es RC1. Es de-
cir, si debo probar una conjunción tengo que probar las fórmulas conectadas por
ella. Esto es
RC1
A
B
A∧B
RC2
A∧B A∧B
A B
A1→(A4∧A5)
A1→(A2∧A3)
A2→A4
A3→A5
He aquí la prueba:
Universidad de la República
{1} 1 A1→(A2∧A3) P
{2} 2 A2→A4 P
{3} 3 A3→A5 P
{4} 4 A1 P
120
{1,4} 5 A2∧A3 MP 1,4 conjunción como premisa
{1,4} 6 A2 RC2 5
{1,2,4} 7 A4 MP 2,6
{1,4} 8 A3 RC2 5
{1,3,4} 9 A5 MP 3,8
{1,2,3,4} 10 A4∧ A5 RC1 7,9 conjunción como conclusión
{1,2,3} 11 A1→(A4∧A5) C 10
Disyunción inclusiva
Supongamos que se espera probar como conclusión una fórmula cuyo conector
principal es la disyunción inclusiva. La regla estructuralmente paradigmática es
RD1. Es decir, si debo probar una disyunción inclusiva me alcanza con probar una
de las fórmulas conectadas por ella. Esto es:
RD1
A B
A∨B A∨B
RD2
A∨B
Comisión Sectorial de Enseñanza
A→C
B→C
C
121
La idea más importante aquí es advertir que la estrategia inducida por RD2
consiste en, dada la disyunción A∨B (primera premisa de la regla), suponer A como
premisa y demostrar una cierta fórmula C y luego condicionalizar (así obtener la se-
gunda premisa de la regla). Entonces suponer B como premisa, demostrar C y luego
condicionalizar (y así obtener la tercera premisa de la regla). Finalmente aplicar la
regla y obtener C. Como será evidente en el ejemplo debemos escoger C de modo
que nos proporcione la conclusión o nos acerque a la misma.
Ejemplo: Supongamos que se quiere demostrar que:
A1→(A4∨A5)
A1→(A2∨A3)
A2→A4
A3→A5
He aquí la prueba:
{1} 1 A1→(A2∨A3) P
{2} 2 A2→A4 P
{3} 3 A3→A5 P
{4} 4 A1 P
{1,4} 5 A2∨A3 MP 1,4 1.a premisa RD2
{6} 6 A2 P
{2,6} 7 A4 MP 2,6
{2,6} 8 A4∨A5 RD1 7
{2} 9 A2→(A4∨A5) C8 2.a premisa RD2
{10} 10 A3 P
{3,10} 11 A5 MP 3,10
{3,10} 12 A4∨ A5 RD1 11
{3} 13 A3→(A4∨ A5) C 12 3.a premisa RD2
{1,2,3,4} 14 A4∨ A5 RD2 5,9,13 conclusión RD2
{1,2,3} 15 A1→(A4∨ A5) C 14
122
Problemas y tareas
1. Leer las siguientes pruebas incompletas. Completar las mismas agregando
fórmulas, justificaciones y conjuntos de números de premisa que faltan.
a) {(A1→A2), (A1→A3), ((A2∧A3)→A4)} (A1→A4)
{1} 1 A1→A2 P
{2} 2 A1→A3 P
{3} 3 (A2∧A3)→A4
{4} 4 A1
5 A2 MP
6 A3
7 RC1 5,6
8 A4
{1,2,3} 9 → C8
{1} 1 P
{2} 2 P
{3} 3
{4} 4 P
5
6 A2∧A3
7
8
9 RC2
10 A5
11
12 A6 MP
13 RD1
14 A1→ C
123
3. Demuestre:
a. {(A1→(A2∧A3)), (¬A4 →¬A2), (A5→¬A3), ((A4∧¬A5)→A6)} (A1→(A6∨A7))
b. {(A1→(A2∨A3)), (¬A4 →¬A2), (A5→¬A3), ((A4∨¬A5)→A6)} (A1→(A6∨A7))
c. {(A1→(¬A2∧A3)), (¬A4 →A2), ((A4∨A5) →¬A6), (A3→(¬A6→A7))} (A1→A7)
d. {(A1∨A2), (A1→(A3→A4)), (A5→(A2→A4)), (A3∧A5), (¬A6→¬A4)} A6
e. {(A1→(¬A2∧¬A3)), (A4→A2), (¬A3→¬A5)} (A1→(¬A4∧¬A5))
f. {(A1→(¬A2∨¬A3)), (A4→A2), (¬A3→¬A4) , (¬A4→¬A5), (A1→A5)} ¬A1
g. {(A1→¬A2), (A1→A3), (¬(¬A3∨A2)→¬A4) , (¬A4→¬A5), (A1→A5)} ¬A1
Síntesis
Los desarrollos de este capítulo encuentran una importante motivación en el
denominado Modelo 2. Si evaluar un argumento quiere decir (cuando se piensa
en el Modelo 1) determinar si la conclusión es consecuencia teórico-modélica (es
decir, consecuencia lógica) de las premisas, aquí podría pensarse que evaluar quiere
decir determinar si la conclusión se deduce de las premisas —es decir, si existe un
argumento idealmente justificado que legitime la conclusión a partir de las premi-
sas. Para formalizar esta última noción se construyeron dos sistemas deductivos: un
sistema axiomático y un sistema de deducción natural.
En cualquiera de los dos casos se ha pretendido capturar la noción intuitiva de
argumento idealmente justificado mediante la noción técnica, formal, de prueba o
demostración74—i.e. el concepto de consecuencia teórico-demostrativa. Podríamos
preguntarnos cuál es la relación entre nuestra noción de consecuencia teórico-mo-
délica ( ) y la noción de consecuencia teórico—demostrativa ( ). La respuesta es
que, en el caso del lenguaje proposicional, son coextensionales. Este resultado suele
dividirse en los dos teoremas siguientes:
74 Por razones de claridad expositiva, se ha preferido incluir ambos tipos de sistema en un mis-
mo esfuerzo elucidatorio; existen, no obstante, diferencias interesantes entre uno y otro en este
punto.
124
completud, por su parte, nos enseña que si ϕ es consecuencia teórico–modélica de
Γ entonces habrá una deducción en el sistema deductivo de ϕ a partir de Γ.75
Una pregunta en extremo natural que surge es la siguiente: ¿hemos caracteriza-
do plenariamente los argumentos lógicamente correctos? Sabemos que si podemos
mostrar que un argumento es válido mediante la tautologicidad de la fórmula asocia-
da al mismo o usando los recursos de alguno de los sistemas deductivos estudiados en
este capítulo, tal argumento es, desde el punto de vista intuitivo, lógicamente correc-
to. Pero, todo argumento lógicamente correcto (desde el punto de vista intuitivo)
¿posee una prueba en estos sistemas deductivos o su fórmula asociada es tautológica?
Otra forma de plantear esta cuestión podría ser la siguiente: ¿corrección lógica ar-
gumental (intuitiva) y tautologicidad de la fórmula proposicional asociada son dos
conceptos extensionalmente idénticos? O ¿corrección lógica argumental (intuitiva)
y demostrabilidad en uno de estos sistemas deductivos son dos conceptos extensio-
nalmente idénticos? La respuesta a este problema se ofrece en el capítulo siguiente.
75 Sobre algunos problemas conceptuales vinculados a estos teoremas volveremos más adelante en
este libro cuando estudiemos el caso de los lenguajes de orden uno.
125
Capítulo 6
b) (A1∧A2)→A3
Problemas y tareas
1. El argumento a) revela límites particulares del lenguaje proposicional para
captar nuestras intuiciones lógicas. Construya nuevos ejemplos argumentales
que evidencien tales límites.
2. Considere el siguiente argumento:
128
enunciados atómicos.76 Un primer intento de evidenciar la estructura de a) podría
consistir en el esquema siguiente:
c) Todo A es B
Sócrates es A
Sócrates es B
d) Todo A es B
a es A
a es B
Al igual que el primer argumento, este último parece exhibir la doble condición
Comisión Sectorial de Enseñanza
78 Esta ordenación de los lenguajes depende —como se explicará más adelante— sobre qué tipo de
variables es permitido cuantificar en los mismos: los de orden uno permiten cuantificar exclusi-
vamente sobre variables de individuo.
130
Lenguajes de orden uno (desde el punto de vista informal)
El lenguaje79 que construiremos debe, en primer lugar, ser capaz de capturar las
relaciones entre enunciados que se estudiaron en el capítulo anterior; en consecuen-
cia, se debe poseer en el mismo un «stock» adecuado de conectores. Desde un pun-
to de vista informal, el primer aspecto novedoso que se evidencia es la necesidad de
contar en el nuevo lenguaje con recursos para representar propiedades (como «ser
mortal») y relaciones (como «ser mayor que»). En tal lenguaje entonces es necesario
que se pueda «referir» —en general— a propiedades y relaciones; las denominare-
mos, en este contexto, predicados. Una relación particularmente destacada será la
igualdad y, por ello, se reserva un símbolo especial para la misma.
Asimismo deberá poseer el alfabeto del lenguaje un modo de referirse a funcio-
nes (como, por ejemplo, la resta). Al igual que en el caso de las propiedades y rela-
ciones, tendremos nombres para las mismas. A los efectos de referir a un individuo
determinado «por su nombre» —como «Sócrates» o «5»— nuestro alfabeto deberá
poseer nombres de individuo.
Como el lector recuerda de la teoría de conjuntos, las relaciones y las funciones
poseen aridad, es decir, pueden tratarse de relaciones (funciones) unarias, binarias,
ternarias, etc. Lo mismo ocurrirá con nuestros predicados y funciones, por ello, sus
nombres poseerán un subíndice que nos informará acerca de la aridad del predicado
(función) en cuestión.
Así, por ejemplo, podríamos contar en nuestro lenguaje con un símbolo, diga-
mos, «H1» para denotar la propiedad de ser hombre; el subíndice indica que se trata
de una propiedad o relación unaria. Podríamos también contar con un símbolo,
digamos, «M2» para denotar la relación mayor; el subíndice nos informa que estamos
ante una relación binaria. Si nuestro lenguaje contara con nombres para los objetos
5 y 3, por ejemplo, «c1» y «c2», podríamos escribir: M2c1c2 para expresar la premisa
de e) que afirma que 5 es mayor que 3.
Sin embargo, esta ampliación del alfabeto no es suficiente. A los efectos de cap-
tar las relaciones lógicas involucradas en los ejemplos d) y e), por ejemplo, resulta
esencial que, en este lenguaje, pueda expresarse «todo» o «cualquier individuo». Para
ello se utiliza un símbolo denominado cuantificador universal. Para expresar «existe
al menos un individuo» se contará con un símbolo denominado cuantificador exis-
tencial. La importancia de estos operadores —llamados cuantificadores— puede
ya sospecharse. La referencia a los individuos que se hace allí es a individuos que,
podría decirse, permanecen indeterminados. Dicho de otro modo, tales individuos
Comisión Sectorial de Enseñanza
no son referidos «por sus nombres propios». Este efecto deseado se logra a través de
variables de individuos.
Antes de presentar formalmente el alfabeto y comenzar a estudiar estos nuevos
lenguajes, mostramos cómo luce la estructura del argumento a)80 —donde «∀» es el
∀ν0(H1ν0→M1ν0)
H1c3
M1c3
Se puede leer así: si se asume que para todo v0, si v0 tiene la propiedad H1 en-
tonces tiene la propiedad M1 y el individuo c3 tiene la propiedad H1, entonces c3 tiene
la propiedad M1. El lenguaje será caracterizado en detalle, desde un punto de vista
sintáctico, en la próxima sección.
Alfabeto
Se describirá ahora —con generalidad— el alfabeto de un lenguaje de orden uno.
Para hacerlo cabe distinguir entre dos subconjuntos de signos: los comunes a cual-
quier lenguaje de orden uno y los que varían de acuerdo a la teoría específica que se
desea formalizar. Más rigurosamente:
Sea ’= -{0}. El alfabeto de un lenguaje de orden uno es un conjunto de signos
A que es la unión de dos subconjuntos:
1. el subconjunto de los signos comunes a todo lenguaje (de orden uno), cons-
tituido por:82
• un conjunto numerable de variables de individuo:
V={ν0,ν1,…,νn,…};
• los símbolos lógicos ya conocidos del cálculo proposicional (conectores):
¬,∨,∧,→,↔;
• los nuevos símbolos lógicos denominados cuantificadores:
Universidad de la República
2. la parte del lenguaje que varía de acuerdo a la teoría que se pretende forma-
lizar, compuesta por:
A=V∪{(,),¬,∧,∨,→,↔,∀,∃}∪C∪ Ri∪ Fi
⊃
⊃
i∈I i∈J
Términos
La primer etapa consiste en resolver la cuestión de cómo pueden «nombrarse»
los individuos en este lenguaje. La respuesta intuitiva es: mediante las constantes
Comisión Sectorial de Enseñanza
n∈N’
Teorema
Universidad de la República
TER(A)= Ti
⊃
i∈
134
Puede resultar útil pensar las pruebas inductivas aquí también a través de un
esquema análogo al ofrecido en el capítulo 3.
Sea P una propiedad cualquiera, para demostrar que toda t∈TER(A) posee la
propiedad P, deben recorrerse los pasos siguientes:
Proposición
Sea t∈TER(A). Sea ovc(t) la función que da el número de ocurrencias de variables
y constantes en t. Entonces ovc(t)≥1.
Prueba: Por inducción.
1. Sea t∈V. Entonces ovc(t)=1, pues t es una variable de individuo. Luego
obt(t)≥1.
2. Sea t∈C. Entonces ovc(t)=1, pues t es una constante de individuo. Luego
ovc(t)≥1.
3. Sea t≡fnt1…tn —donde t1, t2…tn∈TER(A). Por hipótesis inductiva ovc(t1)≥1,
ovc(t2)≥1,….ovc(tn)≥1. Como n es un entero positivo, es inmediato que ovc(t)≥1.
Al igual que en el caso proposicional, puede demostrarse aquí un teroema de
lectura única; es decir, existe una y solo una lectura para cada término o, dicho de
otro modo, los términos no exhiben ambigüedad sintáctica alguna.
Problemas y tareas
1. Los términos de los lenguajes de orden uno, como acaba de estudiarse, per-
miten (intuitivamente hablando) nombrar individuos. Dé contrapartidas en el
lenguaje formal de las siguientes formas de nombrar individuos:
a. Pedro
b. 0
c. 2–1
d. 3x4
Comisión Sectorial de Enseñanza
2. Sea ot(t) una función que da el número de ocurrencias de términos que ocu-
rren en t (sin contar el propio t) y olf(t) una función que da el número de
ocurrencias de letras funcionales en t. Demuestre, por inducción, que para
todo t∈TER(A), olf(t)≤ot(t).
3. Sea ovc(t) una función que da el número de ocurrencias de constantes y va-
riables en t y olf(t) una función que da el número de ocurrencias de letras
135
funcionales en t. ¿Es cierto que, para todo t∈TER(A), olf(t)≤ovc(t)? Justifique
su respuesta.
4. Demuestre que las siguientes PAL(A) pertenecen a TER(A)
a. f2c1ν1
b. f1f3ν1ν3ν2
c. f1f1f1c1
Fórmulas
Desde el punto de vista intuitivo existen ciertas combinaciones de símbolos del
alfabeto que parecen «tener sentido» qua aserciones y ciertas combinaciones que no
parecen poseerlo.
Por ejemplo, recordando el significado intuitivo que posee el cuantificador uni-
versal 1) ∀ν1R21 ν1 o 2) ∀ν1∀ν2(R12 ν1ν2∨R12 ν2ν1) parecen pertenecer al primer
tipo. Si entendemos la letra predicativa «R21» como refiriendo a la propiedad ser
par y pensamos la variable «ν1» como rangueando sobre los números naturales, 1)
diría que todo número natural es par. Es obvio que es falso pero tiene sentido. Si
entendemos ahora «R12» como ser menor o igual podríamos entender 2) como la
expresión que afirma que, para dos números naturales cualesquiera, o el primero es
menor o igual que el segundo o el segundo lo es respecto del primero. Tiene sentido
y, además, es verdad. Comparemos ahora 1) y 2) con 3) ∀¬ν3¬∧∀¬R42.
Parece intuitivamente claro que 3) —a diferencia de 1) y 2)— no posee sentido
usando la interpretación habitual de los signos intervinientes. Al igual que en el
caso del lenguaje proposicional, se pretenderá que aquellas palabras «con sentido»,
desde el punto de vista intuitivo, conformen el conjunto de las fórmulas. Es decir,
tal como ocurrió en el caso de las fórmulas del lenguaje proposicional y también en
la anterior definición de los términos del lenguaje, la definición rigurosa del nuevo
conjunto de fórmulas deberá capturar las respectivas ideas intuitivas.
La definición del conjunto de las fórmulas puede dividirse en dos etapas. Primero
se definen ciertas fórmulas «básicas», que podríamos pensarlas como «elementos» o
«átomos» con los cuales construiremos las fórmulas más complejas. Empecemos
definiendo pues estas fórmulas atómicas —asumimos para razonar con generalidad
sobre la sintaxis de lenguajes proposicionales que contamos con un stock infinito
de letras de relación.
Fórmulas atómicas
Definición
Universidad de la República
Sea ϕ∈PAL(A). Se dirá que ϕ es una fórmula atómica si y solo si para n∈N’, un
símbolo de relación n–aria Rn y t1,t2,…,tn, t, s∈TER(A) se tiene que:
a. ϕ≡Rnt1t2…tn o —si el lenguaje tiene el signo de igualdad—
b. ϕ≡t≈s (donde se conviene notar así la igualdad en vez de ≈ts).
136
La definición anterior caracteriza un cierto conjunto de palabras: lo denomina-
remos Ato. Luego de definido Ato, se está en condiciones de definir el conjunto de
las fórmulas, a saber, FOR(A).
Al igual que en el caso proposicional, se empieza ofreciendo una definición
«desde arriba».
Conjunto de Fórmulas
Definición
FOR(A) —es decir, el conjunto de las fórmulas de orden uno de nuestro len-
guaje— es el subconjunto más pequeño de PAL(A) que satisface las condiciones
siguientes:
a. Ato⊂FOR(A), es decir, toda fórmula atómica es fórmula;
b. Si ϕ, ψ∈FOR(A), entonces
• ¬ϕ∈FOR(A)
• (ϕ∧ψ)∈FOR(A)
• (ϕ∨ψ)∈FOR(A)
• (ϕ→ψ)∈FOR(A)
• (ϕ↔ψ)∈FOR(A)
c. Si ϕ∈FOR(A) y n∈ , entonces: ∀νnϕ∈FOR(A), ∃νnϕ∈FOR(A).
i∈
Teorema
FOR(A)= Fi.
⊃
i∈
Comisión Sectorial de Enseñanza
Proposición
Sea ϕ∈FOR(A), sea olp(j) una función que asocia con cada fórmula el número
de ocurrencias de letras de predicado y símbolos de igualdad que aparecen en ella.
Entonces olp(j)≥1.
Prueba. Por inducción.
1. Sea ϕ∈Ato. Entonces ϕ≡Rnt1t2…tn o ϕ≡t1≈t2. En ambos casos, olp(j)=1, es
decir, olp(j)≥1.
2. Sea ϕ≡¬G. Por h.i. olp(G)≥1, pero olp(j)=olp(G) y así olp(j)≥1.
Universidad de la República
138
Quizá resulte conveniente, a los efectos de familiarizar al lector con el alfabeto
introducido, reflexionar un poco sobre las posibilidades expresivas de este lenguaje
en relación con el lenguaje natural. De esto se ocupa la próxima sección.
Problemas y tareas
1. Las fórmulas de los lenguajes de orden uno, como acaba de estudiarse, per-
miten (intuitivamente hablando) representar enunciados. Dé contrapartidas
en el lenguaje formal de los siguientes enunciados:
a. Pedro es bueno
b. Pedro es sabio
c. Pedro es bajo
d. Pedro es mortal
e. Pedro es bajo y sabio
f. Pedro es sabio o bueno
g. Pedro es más alto que Juan
h. María es más joven que Alicia
i. Si María es buena, entonces Juan es sabio
j. Alicia es sabia si y solo si Pedro es bueno
k. Algunos son sabios y buenos
l. Algunos son sabios y no son buenos
m. Todos son mortales
n. Todos son bajos
2. Sea olp(ϕ) una función que da el número de ocurrencias de letras de predi-
cado y del signo de igualdad en ϕ y ocb(ϕ) una función que da el número de
ocurrencias de conectivos binarios en ϕ. Demuestre, por inducción, que para
todo ϕ∈FOR(A), olp(ϕ) > ocb(ϕ).
3. Sea olp(ϕ) una función que da el número de ocurrencias de letras de predi-
cado y del signo de igualdad en ϕ y oc(ϕ) una función que da el número de
ocurrencias de conectivos en ϕ. ¿Es cierto, para todo ϕ∈FOR(A), olp(ϕ)≥
oc(ϕ)? Justifique su respuesta.
4. Demuestre que los siguientes elementos de PAL(A) pertenecen a FOR(A):
a. ∀ν1(R11ν1→¬R21ν1)
b. (∀ν1∃ν2R12ν1ν2→∃ν1∃ν2R22ν1ν2)
c. ∀ν1(R11f11ν1→¬R21f11ν1)
d. ¬∀ν1∀ν2(R12ν1ν2→R22ν2ν1)
Comisión Sectorial de Enseñanza
139
Traducciones y expresividad de L
Una duda que le puede surgir al lector es cuán expresivo es el lenguaje formal
que acaba de construirse. Para responder a tal inquietud podría sugerirse la estra-
tegia de explorar hasta qué punto pueden obtenerse en L buenas «traducciones» de
enunciados del lenguaje natural. Este «test» posee un sabor relativamente empírico.
No obstante, se espera poder convencer al escéptico mediante algunos ejemplos
selectos. Por otra parte, tales ejercicios permiten cierta ganancia en familiaridad
con los recursos del lenguaje formal L. Más adelante —cuando ya se cuente con una
semántica formal para este lenguaje— se entenderá «expresividad» en un sentido
diverso al que se acaba de sugerir aquí.
Como se recuerda, Aristóteles elaboró una lógica de los enunciados de la forma
sujeto–predicado. Tales enunciados —tradicionalmente— se clasifican en cuatro
tipos: universal afirmativo, universal negativo, particular afirmativo y particular ne-
gativo. He aquí ejemplificados cada uno de los tipos:
1. Todo gato es misterioso.
2. Ningún gato es misterioso.
3. Algún gato es misterioso.
4. Algún gato no es misterioso.
Es fácil construir las respectivas traducciones:
1’. ∀ν1(R11ν1→R21ν1);
2’. ∀ν1(R11ν1→¬R21ν1);
3’. ∃ν1(R11ν1∧R21ν1);
4’. ∃ν1(R11ν1∧¬R21ν1).
Todo lo expresable pues en ese marco es expresable en orden uno. Sobre la vali-
dez de las inferencias tradicionales y las inferencias clásicas deben hacerse algunas
salvedades pero, desde el punto de vista expresivo (en el sentido convenido), nuestro
lenguaje parece comportarse satisfactoriamente. Por lo tanto estructuras como las
silogísticas pueden capturarse perfectamente84 en L. Así, por ejemplo, la siguiente:
Ningún estudiante de lógica es perezoso. Todo estudiante de filosofía es estudiante
de lógica. Luego ningún estudiante de filosofía es perezoso.
Tiene como traducción:
1 2 3 1 3 2
(∀ν1(R1ν1→¬R1ν1)∧∀ν1(R1ν1→R1ν1))→∀ν1(R1ν1→¬R1ν1)
84 Todos los «modos» válidos tradicionales no son válidos en orden uno pero, adecuadamente expli-
citados los supuestos (tradicionales), puede ofrecerse una reconstrucción aceptable de aquéllos.
Esta observación pueden considerarse problemática. En particular, las «traducciones» propuestas
son objetadas por Lukasiewicz —véase Lukasiewicz (1977). Strawson defiende una posición
distinta —véase Strawson (1952).
140
nociones de la teoría de conjuntos. ¿Pueden expresarse en L las aserciones de tal
teoría? Se ofrecerán aquí algunas contrapartidas en orden uno de ciertas ideas cen-
trales de la misma.85 Además de ilustrar el poder expresivo los siguientes ejemplos
puede servir para apreciar «en acción» las dos categorías de símbolos de un lenguaje
de orden uno, en un caso particular, a saber, el lenguaje de la teoría de conjuntos.
En primer lugar una idea muy básica respecto de conjuntos es que dos conjuntos
son iguales si poseen los mismos miembros. Esta idea se expresa (tradicionalmente)
mediante el denominado Axioma de Extensionalidad:
∀ν1∀ν2(∀ν3( ν3∈ν1↔ν3∈ν2)→ν1≈ν2)
∀ν1∀ν2∃ν3∀ν4(ν4∈ν3↔(ν4≈ν1∨ν4≈ν2))
∀ν1∃ν2∀ν3(ν3∈ν2↔∀ν4(ν4∈ν3→ν4∈ν1))
Parece claro, asimismo, que usando «∈» podemos definir otros conceptos habi-
tuales en la teoría de conjuntos. Por ejemplo, ¿cómo caracterizar al conjunto vacío?
Esta es una forma de introducir el símbolo «∅»:
∀ν1(∅=ν1↔∀ν2¬ν2∈ν1)
∀ν1∀ν2∀ν3(ν1∪ν2≈ν3↔∀ν4(ν4∈ν3↔ν4∈ν1∨ν4∈v2))
∀ν1∀ν2∀ν3(ν1∩ν2≈ν3↔∀ν4(ν4∈ν3↔ν4∈ν1∧ν4∈ν2)).
Finalmente quizá posea interés advertir que este lenguaje permite expresar otros
enunciados de interés conceptual (no exclusivamente matemático). Por ejemplo,
supóngase que se quiere expresar las relaciones de parentesco «a es tío de b» y «a es
abuelo de b». Una caracterización podría ser la siguiente:
Comisión Sectorial de Enseñanza
∀ν1∀ν2(Tν1ν2↔∃ν3(Pν3ν2∧Hν1ν3)),
donde «T» representa la relación ser tío/a de, «P» representa la relación ser pro-
genitor de y «H» representa la relación ser hermano/a de. Y
donde «A» representa la relación ser abuelo/a y «P» la relación ser progenitor/a
de.
Luego de nuestro estudio semántico retornaremos al problema de cómo expresar
en orden uno enunciados del lenguaje ordinario.
Síntesis
El punto de partida de este capítulo es la constatación de los límites del len-
guaje proposicional para capturar ciertas estructuras argumentales cuya naturaleza
deductiva puede difícilmente cuestionarse. ¿Por qué es insuficiente el lenguaje pro-
posicional? Básicamente porque la representación de tales estructuras argumentales
exige un análisis más fino: supone capturar no ya meramente relaciones entre enun-
ciados inanalizados sino «introducirse» al interior de los mismos y describir nuevos
rasgos estructurales. Para poder realizar tal tarea la estrategia consiste en ampliar
el lenguaje formal de los capítulos anteriores. Esta ampliación consiste, en primer
término, en incorporar al vocabulario del lenguaje proposicional símbolos que per-
mitan describir los novedosos rasgos estructurales relevantes. Tal operación supone,
naturalmente, la redefinición de aquellas cadenas que se consideran legítimas en el
lenguaje i.e. la redefinición del conjunto de las fórmulas. Estas modificaciones con-
ducen a los lenguajes de orden uno.
Se ha optado por estudiar, en vez de un lenguaje de orden uno particular, una
especie de esquema de estos lenguajes; así, en lugar de definir un alfabeto particular,
se ofrece una caracterización general de las categorías de símbolos que intervienen
en el alfabeto de un lenguaje de orden uno. Es decir, se ha preferido presentar,
no un lenguaje del cálculo de predicados, por así decir, «a secas», sino una clase
de lenguajes (los lenguajes de orden uno) que utilizan los recursos del cálculo de
predicados: éste funciona como el «núcleo lógico» de tales lenguajes. La idea es
acentuar el poder expresivo y la plasticidad de los mismos en la formalización de
argumentos. En el estudio de la sintaxis y semántica de estos lenguajes formales se
mantendrá esta especie de «inmersión» en el cálculo de predicados; en el estudio de
los mecanismos de evaluación de fórmulas, el cálculo de predicados será estudiado
en forma más aislada.
¿Cómo se ha enriquecido el stock de recursos expresivos del lenguaje proposi-
cional para obtener lo que se deseaba? Se ha adicionado a los paréntesis y conec-
tores del lenguaje proposicional, los cuantificadores, las variables de individuo, las
constantes de individuo, las letras relacionales, el símbolo de igualdad y las letras
Universidad de la República
142
que los lenguajes de orden uno son sintácticamente unívocos, es decir, puede de-
mostrarse el teorema de lectura única respecto de los mismos.
Dado que hemos construido dos lenguajes formales (el lenguaje proposicional, el
lenguaje de orden uno) es quizá un buen momento para pensar, en términos gene-
rales, la estructura, por así decir, de las caracterizaciones sintácticas respectivas. Es
decir, podemos apreciar, digamos, el método común a tales construcciones. Descrito
en forma grosera, podríamos decir que en ambos casos partimos de un alfabeto (lo
hemos llamado A, nuevamente, para evitar una proliferación excesiva de símbolos)
y luego caracterizamos el conjunto de cadenas legítimas o admisibles de ocurrencias
de elementos de ese alfabeto, es decir, definimos nuestras fórmulas (nuevamente,
mantuvimos la misma notación, FOR(A), por razones de economía). Identificamos
así un lenguaje con el conjunto infinito de las secuencias legítimas de símbolos de
su alfabeto; tal conjunto (en la terminología de este curso, el de las fórmulas) se en-
cuentra rigurosamente caracterizado y admite así su estudio matemático. He acen-
tuado este aspecto metodológico porque es, obviamente, generalizable; además de
aprender ciertos lenguajes formales específicos es interesante entender los mismos
como instancias de una estrategia general extremadamente rica y sugestiva tanto
desde el punto de vista técnico como desde el punto de vista conceptual.
143
Capítulo 7
Interpretación
En primer lugar, conviene recordar que los conectivos siguen manteniendo su
interpretación habitual y los paréntesis continúan cumpliendo su papel de signos
de puntuación. Así pues se debe atender al resto de las categorías de símbolos del
alfabeto.
Un razonable punto de partida puede ser la interrogación siguiente: ¿qué signifi-
can las variables de individuo?, ¿cómo interpretarlas? Estas variables «varían» sobre
individuos. Pero ¿qué entidades son estos «individuos»? La respuesta a esta última
Comisión Sectorial de Enseñanza
Es decir, interpretar una letra de predicado n–aria quiere decir asignarle una
relación n–aria en el dominio de la interpretación.
En el caso de lenguajes con el símbolo de igualdad, la interpretación del símbolo
de igualdad «≈» es la previsible; siguiendo con el ejemplo anterior, se trataría del
conjunto de pares ordenados de números naturales donde la primera y la segunda
proyección del par son el mismo número.
Las letras funcionales se interpretarán atribuyéndoles funciones de igual aridad
en el dominio. Por ejemplo, siguiendo con el mismo dominio, podría interpretarse
«f2» como el producto entre naturales. Es decir, la interpretación de «f2» sería una
función que va de x en N y asocia, con cada par de naturales m y n, el resultado
de multiplicar m por n.
Como seguramente el lector ya habrá advertido, la interpretación debe tomar
en cuenta exclusivamente los símbolos del lenguaje particular; por ejemplo, si
el lenguaje posee dos símbolos de predicado (R1, R2), dos símbolos funcionales
(f2, g2) y un símbolo de constante (c5), la interpretación del mismo deberá atribuir a
R1 una relación unaria y a R2 una relación binaria, a f12 y a f22 funciones binarias y un
individuo del dominio a c5. Esta «porción» del lenguaje —que varía de un lenguaje
de primer orden a otro— se denomina a veces «descriptiva»; en contraposición, los
símbolos lógicos están presentes en todo lenguaje de primer orden.
En el caso de los conectivos —como se señaló antes— mantienen su interpre-
tación habitual. El caso de los cuantificadores, desde el punto de vista intuitivo, es
muy simple.
El cuantificador universal (∀) refiere a todos los individuos del dominio, es decir,
Universidad de la República
«∀ν1R1ν1» quiere decir que todos los individuos del dominio poseen la propiedad R1.
k
86 Se dice que una letra de predicado es «monádica» si es del tipo R1, es decir, «exige» un solo
término para convertirse en una fórmula; se dice que es «poliádica» en otro caso, es decir, «exige»
dos o más términos.
146
Siguiendo con el ejemplo de arriba, si se interpreta «R1» como la propiedad ser primo,
la fórmula de arriba afirmaría que todos los números naturales son números primos.
El cuantificador existencial (∃) refiere, indeterminadamente, a algún individuo
del dominio, es decir, «∃ν1R1ν1» quiere decir que al menos un individuo del domi-
nio posee la propiedad R1; siguiendo con el ejemplo, aseveraría que al menos un
número natural es número primo.
Entonces, desde el punto de vista intuitivo, a los efectos de interpretar un len-
guaje de orden uno —dado que la interpretación de conectores y cuantificadores se
mantiene invariable— basta con:
a. fijar un dominio de interpretación —esto es, definir un conjunto no va-
cío—;
b. atribuir a los símbolos de constantes de ese lenguaje —si los posee— indivi-
duos determinados del dominio;
c. atribuir a las letras de relación de ese lenguaje —si las posee— relaciones
de igual aridad en ese dominio y
d. atribuir a las letras funcionales de ese lenguaje —si las posee— funciones
de igual aridad en ese dominio.
Como los símbolos en que puede diferenciarse un lenguaje de orden uno son los
descriptivos, alcanzará (para individualizar un lenguaje) con indicar cuáles de tales
símbolos son los que forman parte de su vocabulario. De modo que se podría, por
ejemplo, individualizar un cierto lenguaje L1 describiendo su vocabulario del modo
siguiente:
Solo a los efectos de fijar ideas, si se pidiese una interpretación para este lengua-
je L1 se podría —intuitivamente— resolver el problema así: sea N el dominio de
interpretación —es legítimo hacerlo pues, obviamente, N≠∅—, sea c1 el 0 y c2 el
1 —es legítimo, pues ambos son naturales, es decir, pertenecen al dominio—, sea
R2 la relación menor estricto definida entre naturales —es decir, una relación en el
dominio de la interpretación— y sea f1 la función unaria sucesor, es decir, la función
que, para cada n∈N, da como resultado n+1 —es legítimo, pues para cada n∈N, da
un cierto j∈N, donde j=n+1.
La pregunta obvia es, dada la interpretación del lenguaje, ¿cómo se interpretan
Comisión Sectorial de Enseñanza
las fórmulas del mismo? Pues si el interés de la teoría lógica es capturar la relación
de consecuencia (en ese lenguaje), deberíamos ser capaces de decidir, interpretado
así el lenguaje, acerca de la verdad o falsedad de sus fórmulas.
En primer lugar, parece bastante claro que, respecto de ciertas fórmulas, se pue-
de decidir sobre su verdad o falsedad una vez que se realiza la operación semántica
antes descripta para el lenguaje. Tómese el lenguaje L1 y asúmase la interpretación
sugerida anteriormente, considérese las dos fórmulas siguientes de L1:
147
a) ∀ν1∃ν2 R2ν2ν1
b) ∃ν1∃ν2 R2ν1ν2.
c) R12ν1c2
Parece que la respuesta no puede darse, pues no se sabe qué valor denota la
variable. Lo que expresa c) es que el individuo al cual refiere ν1 es estrictamente
menor que 0. Mientras no se sepa cuál es el individuo denotado por esta variable la
pregunta sobre el valor de verdad de c) no puede responderse. Obsérvese que aquí
no basta la interpretación construida. Otro ejemplo puede ser:
d) R12ν3c4
e) f1 v3
no puede determinarse qué número natural denota, hasta tanto no se sepa qué
número denota la variable. En cambio
f) f1c1
g) ∀ν1R1ν1
h) ∀ν1R1ν2
149
Ejemplo en detalle de interpretación
Seguramente el lector recuerda que el alfabeto de todo lenguaje de orden uno
posee un subconjunto de símbolos comunes y un subconjunto de símbolos especí-
ficos, que varía según el lenguaje particular de que se trate. Luego a los efectos de
caracterizar un lenguaje de orden uno L alcanza con describir el segundo subcon-
junto de símbolos. Sea pues L2 un lenguaje de orden uno que cuenta con:
Constantes: c1;
Letras de predicado: R11, R21 , R12;
Letras de función: f11, f12.
Dom= .
c1≈>0
R ≈>{<x,y>: x,y∈
2 y x<y}
150
f11≈>f11(x)=x2
f12≈>f12(x,y)=x+y
∀ν1(R12c1ν1→R12ν1f11ν1)
es falsa —bajo esta interpretación. Esta fórmula afirma que, si un número natu-
ral es mayor que cero, entonces su cuadrado es mayor que él. Esto no es cierto, pues
12=1. Otro ejemplo:
∀ν1∀ν2(f12ν1ν2≈f12ν2ν1)
νi≈>i+5.
Problemas y tareas
1. Construya una interpretación (en el sentido ejemplificado en «Ejemplo en
detalle de interpretación») que haga verdaderas las siguientes fórmulas:
∀ν1∃ν2R12ν1ν2
∃ν1∀ν2R22ν1ν2
∀ν1f12c1ν1≈c1
151
Interpretación de los lenguajes de orden uno
(desde el punto de vista formal)
Esta sección se divide en tres partes. La primera está destinada a ofrecer la
caracterización precisa de los conceptos de estructura–L y asignación, es decir, a
definir rigurosamente lo que ha de entenderse por interpretación (de un lenguaje de
orden uno). Las otras dos se dedican, respectivamente, a estudiar cómo se interpre-
tan los términos y las fórmulas del lenguaje.
Tornar más precisas las ideas intuitivas antes expuestas es una operación exigen-
te. Para facilitar la comprensión de la misma puede resultar útil dividir tal tarea en
diversas etapas. En primer lugar, el interés estará centrado en la interpretación de
los símbolos que se convino arriba pertenecen a la «porción descriptiva» del lengua-
je. Es decir, símbolos de constante, letras de relación y letras de función.
Como se recordará, para efectuar tal tarea debía proveerse un conjunto no vacío,
elementos de ese conjunto, relaciones y funciones definidas en el mismo, respecti-
vamente. A veces se denomina estructuras a objetos como éstos, a saber: un conjunto
con elementos «distinguidos», funciones y relaciones definidas sobre el mismo. En
particular, dado un cierto lenguaje L se denominará realización de L o estructura–
L a una construcción conjuntista como la descrita que «interpreta» el lenguaje L.
Expresado formalmente:
Estructura-L
Definición
Sea L un lenguaje de orden uno. Se denomina una realización de L o una estruc-
tura–La87 a una estructura compuesta por:
a. un conjunto no–vacío A denominado dominio de la realización o estructu-
ra–La;
b. para cada símbolo de constante cj de L, la interpretación del mismo se de-
nota cja y es un elemento de A;
c. para cada letra de función fn de L, la interpretación del mismo se denota fna
y es una función de An en A;
87 Adviértase el uso de diferentes tipos de letra: «a» es utilizado como nombre de la estructura
y «A» para representar el universo de la misma. De esta forma, «B» sería usado como nombre
del universo de una estructura-LB, «C» designaría al universo de una estructura-LC, etc. Es
importante también distinguir entre un símbolo del lenguaje y el componente de la estructura
que cada símbolo representa. Para representar una función en una estructura-La a la cual un
Universidad de la República
símbolo funcional f i del lenguaje está siendo asociado, escribiremos f ia, es decir, el símbolo con
el nombre de la estructura como superíndice. De forma análoga, Ria se usará para representar
la relación (en la misma estructura) denotada por el símbolo Ri, cia será usado para representar
el individuo destacado asociado a la letra de constate ci. Obsérvese que lo que se asocia a cada
símbolo del lenguaje es relativo a una determinada estructura. Por eso, un mismo símbolo del
lenguaje, supongamos Ri, puede ser asociado a una relación Ria, pero también a una relación RiB,
etc. según la estructura dada en la interpretación.
152
d. para cada letra de relación Rn de L, la interpretación del mismo se denota
Rna y es una relación n–aria en A, es decir, Rna⊆An.
e. En el caso de lenguajes con igualdad, la interpretación de la igualdad se
denota ≈a y es el conjunto {<x,y>∈A2: x=y}.
Hablando en forma intuitiva, véase que lo que aporta la estructura a es:
a. el dominio A de objetos de los cuales «hablan» las fórmulas del lenguaje;
b. a cada símbolo de constante le da un objeto de A;
c. a cada letra de relación n–aria le da una relación n–aria en A;
d. a cada letra de función n–aria, una función n–aria en A.
Como puede apreciar el lector, la estructura hace el trabajo de, digámoslo así,
la primera parte de la labor interpretativa desarrollada en el enfoque intuitivo de la
sección anterior. Dicho directamente, la estructura a otorga significado a una serie
de símbolos del alfabeto y, consecuentemente, a una serie de términos del lenguaje.
Por ejemplo, dada una cierta estructura-La, y si las expresiones:
f1c1 y f2f1c2c3
Asignación
Definición
Sea a una estructura-L. Sea V el conjunto de las variables de individuo de L.
Se denomina una asignación I a una función que asigna a cada variable de L un
individuo de A, es decir, I:V→A.
Luego, hablando rápidamente, puede entenderse por una interpretación de L el
par formado por una estructura–La y una cierta asignación I. Esquemáticamente
Comisión Sectorial de Enseñanza
expresado:
Interpretación=Estructura + Asignación
Interpretación de términos
No parece difícil definir cómo se comporta una interpretación aI respecto de
términos. Esta definición puede lucir así:88
Definición
Sea a una estructura–L, sea I una asignación sobre A, sea t un término cuales-
quiera de L, los ti (con 1≤i≤n) son términos de L y el símbolo a adicionado como
superíndice a un símbolo del alfabeto denota el objeto que la estructura a otorga a
dicho símbolo. Luego:
a. si t≡νk(k∈N), aI(t)=I(t)=I(ν );k
Interpretación de fórmulas
Como se discutió antes, desde el punto de vista intuitivo, para poder dar signifi-
cado a la totalidad de las fórmulas de un lenguaje de orden uno es necesario atribuir
valores a las variables libres que intervienen en ella. Usaremos para ello, como era
de esperar, el concepto de asignación. Lo que corresponde es definir rigurosamente
el resultado de aplicar una interpretación aI a una fórmula de L. Pero antes de
hacerlo deberemos introducir un concepto técnico: el de asignación variante. El
mismo se define así:
Asignación variante
Definición
Universidad de la República
Sea I una asignación i.e. I: V→A. La asignación variante Ixa se define así:
Satisfacción
Definición
Sea a una estructura–L. Sea I una asignación i.e. I:V→A. Diremos que la inter-
pretación satisface una fórmula j —se nota aI sat j— si:
a. Sea ϕ∈Ato y j≡Rjk t1t2…tk–k∈N’, Rjk es una letra de relación de L , t1, t2,…,
tk∈TER(A).
aI sat j si y solamente si <t a ,…,t a >∈R a ;
1
I
k
I j I
k
155
Expresividad «teórico-modélica»
En el capítulo anterior se estudió la expresividad de los lenguajes de orden uno
en el sentido de su capacidad de permitir «paráfrasis» o «traducciones» aceptables
de enunciados (del lenguaje natural) o de conceptos (definidos en el lenguaje natu-
ral). El propósito de esta sección es sugerir un segundo modo de entender la «expre-
sividad» de los lenguajes de orden uno.
Un ejemplo puede ayudar a introducir este concepto. Se ha usado reiteradamen-
te en este curso —como mecanismo de prueba— la inducción. La inspiración de
tales usos ha sido la inducción aritmética. El Principio de Inducción en el campo
de la aritmética de los naturales puede expresarse informalmente así (llamémosle
Principio de Inducción Informal):
(PII) Si 0 posee una propiedad y si un natural n cualesquiera la posee, entonces
también la posee el sucesor de n, entonces todos los naturales poseen la propiedad
en cuestión.
Usando los recursos de orden uno podría expresarse así (llamémosle Principio
de Inducción en Orden Uno):
(PIOU) (R1c1∧∀ν1(R1ν1→R1f11ν1))→∀ν1R1ν1;
cardinalidad de los lenguajes que se han definido. Pero ¿cuál es el número total de
propiedades de ? Ciertamente ℘( ) i.e. no–numerable. Luego parece existir un
cierto déficit expresivo en PIOU: el número de propiedades que toma en cuenta (i.e.
las letras de predicado) es numerable mientras que el número de propiedades de
es no–numerable.
156
Debe notarse que estas observaciones sobre expresividad presuponen evaluar
la misma a la luz de la semántica conjuntística construida; solo en esa medida cabe
«medir» de esta forma la diferencia entre el conjunto de las sustituciones posibles y
el conjunto de las propiedades posibles. Dicho de otra forma, al precisar la semán-
tica de los lenguajes formales puede precisarse también el concepto de expresividad
y distinguir en forma más rigurosa los propios límites expresivos de tales lenguajes.
Tal vez pueda decirse que se poseen dos conceptos de expresividad de una fórmula
j de L: uno más intuitivo, en el cual el poder expresivo de j es evaluable (intuitiva-
mente) en relación a la semántica informal del lenguaje natural y uno más riguroso,
en el cual la expresividad de j es evaluable a la luz de la semántica formal del len-
guaje L. La conexión entre ambos sentidos se encuentra en el plano de la relación
entre la semántica (informal) del lenguaje natural y la semántica (formal) de L. Los
problemas conceptuales que emergen al enfrentar tal cuestión exceden los modes-
tos límites de este libro.
Consecuencia teórico-modélica
Definición
Sea G un conjunto de fórmulas cerradas, sea j una fórmula, diremos que j es
consecuencia teórico-modélica de G —se nota: G j— si para toda interpretación a
que es modelo de G —es decir, que es modelo de todas las fórmulas que pertenecen
a G— a es modelo de j.
A veces se ofrece una definición más general, no restringida a fórmulas cerradas.
En ese caso, en lugar de a debe escribirse aI en la definición de arriba. Se ha prefe-
rido la definición tradicional —es decir, se adopta el punto de vista menos general,
Comisión Sectorial de Enseñanza
157
de la teoría lógica. Cabe advertir, no obstante, que no es ésta la motivación exclusiva
de tal teoría.89 Lo mismo vale respecto de la definición de validez siguiente.90
Validez
Definición
Una fórmula cerrada j de L es válida si y solamente si para toda interpretación
a, a es modelo de j.
Un concepto que posee también interés es el de satisfacibilidad. Se trata de en-
tender más finamente una partición tradicional en la clase de las fórmulas (i.e. de los
enunciados): aquellas fórmulas que son, intuitivamente hablando, «contradictorias»
o «absurdas» y aquéllas que no lo son. Estas últimas se denominan satisfacibles, las
primeras se dicen insatisfacibles. Desde el punto de vista formal, las definiciones
lucen así:
Satisfacibilidad
Definición
Una fórmula cerrada j de L es satisfacible si y solamente si existe alguna inter-
pretación a, tal que a es modelo de j. Un conjunto G de fórmulas de L es satisfa-
cible si y solamente si existe alguna interpretación a, tal que a es modelo de γ, para
toda γ∈G.
Insatisfacibilidad
Definición
Una fórmula cerrada j de L es insatisfacible si y solamente si no existe ninguna
interpretación a, tal que a sea modelo de j. Un conjunto G de fórmulas de L es
insatisfacible si y solamente si no existe ninguna interpretación a, tal que a sea
modelo de γ, para toda γ∈Γ.
Los conceptos arriba definidos de consecuencia teórico–modélica y validez
teórico–modélica serán de extrema utilidad al enfocar el problema que —princi-
palmente— motiva estas indagaciones, a saber, el problema de la evaluación argu-
mental. Según se discutió en el caso proposicional, representamos (en el modelo
básico) un argumento así:
Universidad de la República
89 Baste recordar que algunos autores definen la lógica matemática como el estudio de los lenguajes
formales.
90 Se sigue en este caso a Manzano (1989).
158
Pre1
Pre2
.
(I)
.
.
Pren
Con
Pre’1
Pre’2
.
(II)
.
.
Pre’n
Con’
(III) (Pre’1∧Pre’2∧…∧Pre’n)→Con’
decir, para todo elemento a∈A, aIν R1 ν1 o aIν R1 ν1. Luego hemos mostrado
1
a 1 a 1
1 1
159
∃ν1∀ν2R12 ν1ν2
no es válida; para advertirlo alcanza con tomar la relación como mayor estricto y
como dominio de la interpretación .
Una cuestión que surge de forma muy natural es cómo puede determinarse, una
vez que se dispone de una semántica para el lenguaje de orden uno, si una cierta
fórmula del lenguaje es o no válida. Si se evoca el caso proposicional, la interro-
gación podría incluso reclamar más información: ¿existe algún procedimiento de
decisión —es decir, un procedimiento mecánico— que permita determinar, dada
una fórmula j de este lenguaje, si ella es o no válida? Entre otras, de estas cuestiones
se ocupa, precisamente, el próximo capítulo.
Problemas y tareas
1. Si su dominio de interpretación es el conjunto de los números naturales.
Defina interpretaciones posibles para las siguientes letras de predicado:
a. R11
b. R21
c. R31
d. R12
e. R22
f. R32
2. Si su dominio de interpretación es el conjunto de números enteros. Defina
interpretaciones posibles para las siguientes letras de función:
a. f11
b. f21
c. f31
d. f12
e. f22
f. f32
3. Proponga un lenguaje de orden uno seleccionando letras de predicado y le-
tras de función de las listas de arriba. Construya una interpretación para el
mismo.
4. Sea L5 un lenguaje de orden uno que posee tres símbolos de relación: R1, R12,
2
R2 y dos constantes: c1, c2. Construya una interpretación para tal lenguaje.91
Universidad de la República
5. Sea L6 un lenguaje de orden uno que posee tres símbolos de relación: R1, R12,
2
R2. Construya una interpretación para tal lenguaje.
6. Sea L7 un lenguaje de orden uno que posee tres símbolos de función:.
Construya una interpretación para tal lenguaje.
91 Si encuentra dificultades en este ejercicio o en el anterior, consulte la sección «Interpretación
de los lenguajes de orden uno (desde el punto de vista formal)».
160
7. Sea L8 un lenguaje de orden uno que posee tres símbolos de función: f1, f12, f22
y dos constantes: c1, c2. Construya una interpretación para tal lenguaje.
8. Sea L9 un lenguaje de orden uno que posee tres símbolos de función R1, R12,
2
R2 y una constante: c1. Construya una interpretación para tal lenguaje.
9. Sea L10 un lenguaje de orden uno que posee tres símbolos de función R1,
1 2
R2, R2 dos símbolos de función f1, f2 y una constante: c1. Construya una inter-
pretación para tal lenguaje.
10. Para cada uno de los lenguajes referidos arriba, construya dos fórmulas verda-
deras y dos fórmulas falsas (en las interpretaciones respectivas que ha cons-
truido). Obviamente, tales fórmulas deben ser cerradas.
11. Para cada uno de los lenguajes referidos arriba, construya cuatro fórmulas
abiertas. Dotando de interpretación a las variables logre, para cada caso, que
dos de ellas sean verdaderas y dos de ellas falsas (en las interpretaciones res-
pectivas que ha construido).
12. Un conjunto de fórmulas se dice satisfacible o consistente si todas las fórmu-
las pertenecientes al mismo son satisfechas por una interpretación. Proponga
tres ejemplos de conjuntos satisfacibles.
13. Un conjunto de fórmulas se dice insatisfacible o inconsistente si no existe
una interpretación que verifique todas las fórmulas pertenecientes al mismo.
Proponga tres ejemplos de conjuntos insatisfacibles.
Síntesis
En este capítulo se construyó una semántica o, más precisamente, se caracterizó
una forma de proveer semánticas para los lenguajes formales estudiados en el ca-
pítulo anterior. Dado que los lenguajes de primer orden son sintácticamente más
complejos, esta tarea se vuelve más dificultosa que en el caso del lenguaje proposi-
cional. En primer lugar, cabe distinguir, en el vocabulario, dos «tipos» de símbolos:
(a) aquellos que pertenecen a todo lenguaje (conectores, cuantificadores, igualdad,
variables) y (b) la parte descriptiva del lenguaje (letras de predicado, letras de fun-
ción, constantes) que varía de acuerdo a cada lenguaje particular. La interpretación
(la atribución de significado al lenguaje) atiende a esta diferencia; la parte (a) es
constante para toda interpretación —excepto las variables, como se verá enseguida;
la parte (b), en cambio, varía, podríamos decir que es la responsable de la diversidad
de interpretaciones.
Los símbolos de la parte a) se interpretan de la forma siguiente: los conecto-
Comisión Sectorial de Enseñanza
161
Un modo rápido de entender la noción de interpretación puede ser este:92
92 El carácter rápido reside en que dejamos afuera la atribución de significado a los símbolos ló-
gicos. La justificación es que, dado que tal atribución se mantiene fija, nos concentramos en la
parte dinámica.
93 Una creciente bibliografía revela la importancia filosófica del problema; puede consultarse al
respecto una obra ya clásica de Etchemendy (1990).
162
Capítulo 8
94 Como se ha dicho, esta es una denominación habitual para la lógica de los lenguajes de orden uno
que estudiamos aquí.
163
deductivos en este contexto. El objetivo de los mismos consistirá, al igual que en
el caso proposicional, en permitir «demostrar» todas y solo las fórmulas válidas de
L. A partir de la sección «Sistemas deductivos para lenguajes de orden uno» pre-
sentaremos un sistema de deducción natural adecuado a tales fines. Sin embargo,
respecto de un subconjunto de fórmulas de L, la respuesta a la pregunta acerca de
la existencia de un algoritmo que permita identificar sus propiedades lógicas, la
respuesta es positiva. ¿Cuál es ese subconjunto? El de las fórmulas cuantificaciona-
les «monádicas» —i.e. aquellas en las cuales intervienen solo predicados unarios. Un
procedimiento de decisión respecto de ellas es una extensión de las «tablas analíti-
cas» que se estudiaron para el lenguaje proposicional. El mismo se desarrolla en la
próxima sección.
∀xϕ
(c/x)ϕ donde c es una constante de individuo
La idea que subyace a esta regla es muy intuitiva: si todos los individuos cum-
plen j entonces uno en particular, digamos c, la cumple. Usamos «(c/x)» para de-
notar la operación de sustituir uniformemente la variable «x» por la constante «c».
Ejemplo de aplicación de VU
..
ϕ
(c1/ν1)ϕ
..
∃xϕ
donde c es una constante de individuo y no puede ocurrir en la
(c/x)ϕ
rama que «llega» hasta ∃xϕ.
La idea que subyace a esta regla es la siguiente: se sabe que al menos un indi-
viduo cumple ϕ, podemos llamarle «c» pero con una restricción fundamental: no
podemos llamarle así si ya antes hemos «usado» ese nombre en la prueba, es decir,
el nombre del individuo debe ser, para decirlo intuitivamente, «nuevo» (en el con-
texto de la prueba hasta allí desarrollada). Tal restricción se expresa en la regla en
forma más estricta. Escribimos «llega» en lugar de «ocurre» en la formulación de tal
restricción solamente para evitar confusiones: la constante puede ocurrir debajo de
la instanciación —i.e. más abajo que (c/x)ϕ—, lo que la restricción prohíbe es que
ocurra antes de la misma —i.e. en ∃xϕ o en fórmulas que la preceden en su rama.
Ejemplo de aplicación de VE
..
∀ν1 ∃ν2((R11 ν1∧R21 ν1)→R11 ν2)
∃ν2((R11 c1∧R21 c1)→R11 ν2)
((R11 c1∧R21 c1)→R11 c2) c2 es «nueva», es decir, la
constante no podría
(c2/ν2)ϕ ser «c1».
..
¬∀xϕ
∃x¬ϕ
¬∃xϕ
∀x¬ϕ
Comisión Sectorial de Enseñanza
Estas dos reglas poseen una obvia justificación intuitiva: decir que no todos los
individuos cumplen j es decir que hay al menos un individuo que no cumple j, y
decir que no existe ningún individuo que cumple j es decir que, dado un individuo
cualquiera, él no cumple j.
Los siguientes son dos ejemplos del uso del método de «tablas analíticas».
165
Ejemplo
Se trata de evaluar si el argumento de abajo es correcto:
Ejemplo
Se trata de evaluar si la fórmula siguiente es válida:
La fórmula no es válida, ya que queda una rama «abierta». Al igual que el caso
proposicional, puede «leerse» una interpretación bajo la cual la fórmula inicial se
convierte en falsa.
Este procedimiento permite resolver (mecánicamente) el problema de la correc-
ción argumental —es decir, determinar la existencia de la relación de consecuencia
lógica entre premisas y conclusión— en aquellos casos en que las fórmulas en juego
poseen a lo sumo letras de predicado unarias.95
Como se dijo, procedimientos de esta naturaleza solo pueden construirse para el
análisis de las relaciones lógicas entre fórmulas monádicas; el estudio general de la
lógica de predicados exige el recurso a estrategias diversas.
Problemas y tareas
1. Evaluar la corrección de los siguientes esquemas argumentales (vía tablas
analíticas):
a. ((∀ν1(R11 ν1∨R21 ν1)∧∃ν1¬R11 ν1)→∃ ν1 R11 ν1)
b. (((∀ν1(R11 ν1∨R21 ν1)∧∃ν1¬R11 ν1)∧∀ ν1 (R21 ν1→R31 ν1))→∃ν1R31 ν1)
2. Evaluar la validez de las siguientes fórmulas (vía tablas analíticas):
a. ¬((∀ν1R11 ν1∧∀ ν1 R21 ν1)∧¬∀ν1(R11 ν1∧ R21 ν1))
b. (¬∀ν1(R11 ν1→R21 ν1)∨(∃ν1R11 ν1→∃ ν1R21 ν1))
3. Si la regla VE careciera de la restricción relacionada con la constante intro-
ducida, no sería correcta. Denominémosle VEm (por mala) a la regla VE sin
la restricción.¿Puede ofrecer un ejemplo de argumento que es intuitivamente
incorrecto pero que, si aceptamos VEm en lugar de VE en nuestro procedi-
miento de tablas analíticas, salvaría el test de estas «tablas»?
A1. A→(B→A)
A2. (A→(B→C))→((A→B)→(A→C))
A3. (¬B→¬A)→((¬B→A)→B)
A4. (∀νiA→(t/νi)A)
A5. (∀νi(A→B)→(A→∀νiB)) siempre que A no posea ocurrencias libres
de νi.
.. .. ..
{a,i} n ¬∀νi¬ϕ
.. .. ..
{a,i} n+m. ∃νiϕ E en n
b. si tenemos como premisa (en la línea n) ¬∀νi¬ϕ, puede escribirse (en una
línea n+m posterior a n) ∃νiϕ.
.. .. ..
{a,i} n ∀νiϕ
.. .. ..
{a,i} n+m (c/νi)ϕ EU en n
b. si tenemos como premisa (en la línea n) ∀vi j, puede escribirse (en una línea
n+m posterior a n) (c/vi)j.
los individuos. Es evidente que del mero hecho de que un individuo satisfaga una
propiedad no se sigue que todos la satisfagan. Luego resulta crucial especificar
cuáles deben ser esas «condiciones especiales» arriba referidas que nos garanticen
la legitimidad del pasaje. La idea intuitiva que subyace a las mismas es que si para
demostrar que cierto individuo posee una propiedad no uso ningún rasgo peculiar,
específico, propio de este individuo he demostrado en realidad la posesión de dicha
propiedad, digámoslo así, para cualquier individuo. Luego, podríamos decir, lo he
169
demostrado para todos —ya que cualquiera que tome, tiene la propiedad en cues-
tión. Veamos cómo podemos formalizar estas ideas.
a. Como en las reglas anteriores, el conjunto de números de premisa de la línea
n+m es el conjunto de números de premisas de n
.. .. ..
{a,i} n (c/νi)ϕ
.. .. ..
{a,i} n+m ∀νiϕ GU en n
b. Si tenemos como premisa (en la línea n) (c/νi)ϕ, puede escribirse (en una línea
n+m posterior a n) ∀νi ϕ, si se cumple que a) c no ocurre en ϕ y b) c no ocurre
en ninguna de las fórmulas cuyos números de línea pertenecen al conjunto de
números de premisas de n (es decir, a,i).
Como esta última regla presenta restricciones a su uso y éstas quizá no resulten
fácilmente comprensibles, estudiaremos las mismas en detalle. En primer término,
enfoquemos el problema de la razón de ser de tales restricciones.
Si se eliminase la restricción a), la regla permitiría inferencias incorrectas.
Supongamos que nuestro dominio de interpretación es un conjunto formando por
triángulos y rectángulos, entonces, interpretando «R12» cono la relación «ser la mis-
ma figura geométrica que», la siguiente fórmula es verdadera:
∀ν1R12ν1ν1
∀ν1R12ν1c1 (¿?)
pues no es cierto que todo sea triángulo y no es cierto que todo sea rectángulo
(en el dominio). Es decir, la regla (sin la restricción) no asegura la preservación ne-
cesaria de la verdad.99
Si se eliminase la restricción b), nuevamente la regla permitiría inferencias inco-
rrectas. Supongamos que se tiene estas premisas:
{1} 1. (R11c1→R21c2)
Universidad de la República
{2} 2. R11c1
{1,2} 3. R21c2
∀ν1R21ν1 ¿?
Reglas derivadas
Dos reglas derivadas especialmente importantes son las siguientes:
{a,i} n (c/νi)ϕ
.. .. ..
{a,i} n+m ∃ νiϕ GE en n
b. si tenemos como premisa (en la línea n) (c/νi)ϕ, puede escribirse (en una línea
n+m posterior a n) ∃νij.
.. .. ..
{a,i} j ∃νiϕ
Comisión Sectorial de Enseñanza
.. .. ..
{k} k (c/νi)ϕ P
.. .. ..
{a,b,i,k} m ψ
.. .. ..
{a,b,i} n ψ EE en j,k,m
171
b. si tenemos (en la línea j) ∃νij, (en la línea k) (c/νi)j (como premisa) y (en la
línea m) ψ, puede escribirse (en la línea n) ψ, siempre que se cumplan las con-
diciones siguientes: 1) c no ocurre en ϕ, 2) c no ocurre en ψ y 3) c no ocurre
en ninguna de las líneas (excepto k) cuyos números figuran en el conjunto de
números de premisa de m.
Al igual que en el caso de la regla GU, existe aquí un conjunto de restricciones
sin las cuales la regla fracasa. Dado que no es obvia la contribución de las mismas a
corregir su uso, estudiaremos brevemente cada una de ellas.
Si se abandona la restricción 1), la siguiente inferencia ilegítima debería aceptar-
se (adviértase que c1 ocurre en ϕ). Tómese como ejemplo:
{1} 1. ∃ν1R11 ν1 P
{2} 2. R11 c1 P
{2} 3. R11 c1∨R21 c1 RD en 2
{1} 4. R11 c1 ∨R21 c1 EE 1,2,3 ¿?
{1} 1. ∃ν1R11 ν1 P
{2} 2. R11 c1→R21 c2 P
{3} 3. R11 c1 P
{1,2,3} 4. R21 c2 MP
{1,2} 5. R21 c2 EE 1,3,4 ¿?
Se deja al lector el trabajo de mostrar cómo en estos casos la verdad de las premi-
Universidad de la República
Ejemplo 3
173
{2} 5. ∀ν2(R12 c1ν2→¬ R22 c1ν2) EU en 2
{2} 6. R12 c1c2→¬ R22 c1c2 EU en 5
{2,4} 7. ¬R12 c1c2 MT en 6,4
{2,4} 8. ∃ν2¬R12 c1ν2 GE en 7
{2,4} 9. ∃ν1∃ν2¬R12 ν1ν2 GE en 8
{1,2,4}= {1,2} 10. ∃ν1∃ν2¬R12 ν1ν2 EE en 3,4,9
Veamos por qué puede aplicarse EE. En primer término, c2 no ocurre en j (fór-
mula encerrada en la elipse en el paso 3), c2 no ocurre en ψ (fórmula encerrada en
la elipse en el paso 9) y, finalmente, c2 no ocurre en ninguna de las fórmulas cuyos
números de línea pertenecen al conjunto de números de premisa de la línea 9 (ex-
cepto 4). El «4» se encuentra tachado (en el conjunto de premisas de la línea 10)
para mostrar el número de premisa eliminado.
Si tenemos ahora que obtener una fórmula existencial como conclusión, la estra-
tegia es la inducida por la regla GE. Dado que es muy simple, ya que carece de res-
tricción puede tomarse como ejemplo de aplicación de la misma la anterior prueba,
concentrándonos en los pasos 8 y 9.
174
Los siguientes axiomas recogen las ideas informales anteriores. Algunas de ellas
directamente: es aquello que, manifiestamente, «expresan» los axiomas; las restantes,
por así decirlo, indirectamente: las fórmulas que las expresan pueden deducirse de
los axiomas.
He aquí los axiomas:
Proposición
Sean t, t1, t2, t3∈TER(A). En toda teoría de orden uno con igualdad se tiene que:
a. (t≈t);
b. (t1≈t2→t2≈t1);
c. (t1≈t2)→(t2≈t3→t1≈t3).
.. .. ..
∅ n t≈t RI1
.. .. ..
175
.. .. ..
{a,b} j t1≈t2
.. .. ..
{c,d} m ϕ
.. .. ..
{a,b,c,d} n (t1/t2 )ϕ RI2 en j y m
b. Si tenemos (en la línea j) t1≈t2 y (en la línea m) j, puede escribirse (en la línea
n) (t2/t1)j, recordándose que la sustitución no tiene por qué ser en todas las
ocurrencias de t1.
La aplicación de estas reglas (como el lector seguramente ya advierte) es sencilla.
Una discusión detallada puede consultarse, obviamente, en la obra de Mates101
O1. ∀ν1ν1≤ν1
O2. ∀ν1∀ν2((ν1≤ν2∧ν2≤ν1)→ν1≈ν2)
O3. ∀ν1∀ν2∀ν3((ν1≤ν2∧ν2≤ν3)→ν1≤ν3)
G3. ∀ν1∃ν2ν1+ν2≈c
Estos dos son ejemplos relativamente simples. Otras axiomatizaciones más com-
plejas son, por ejemplo, la de la aritmética o la perteneciente a Zermelo–Fraenkel
Problemas y tareas
1. Pruebe para cada caso (en el sistema de Deducción Natural) que la conclu-
sión es consecuencia sintáctica de las premisas
a. {∀ν1R11 ν1∧∀ν1R21 ν1} ∀ν1(R11 ν1∧R21 ν1)
b. {∀ν1(R11 ν1→R21 ν1)} ∀ν1(¬R21 ν1→¬R11 ν1)
c. {∀ν1(R11 ν1→R21 ν1)} ∃ν1R11 ν1→∃ν1R21 ν1
d. {∃ν1(R11 ν1∨R21 ν1)} ∃ν1R11 ν1∨∃ν1R21 ν1
e. {∀ν1R11 ν1} ¬∃ν1¬R11 ν1
f. {∀ν1(R11 ν1→¬R21 ν1),∀ν1R11 ν1} ¬∃ν1¬R11 ν1
g. {∀ν1(R11 ν1→R21 ν1),∃ν1R11 ν1} ∃ν1R21 (x)
h. {∃ν1¬R11 ν1} ¬∀ν1R11 ν1
2. Complete las siguientes deducciones con las reglas y los números de premisas
faltantes:
a.
6. R12 c1c2
7. ∃ν2R12 c1ν2
8. R11 c1→∃ν2R12 c1ν2
9. R11 c1
10. R11 c1→¬∃ν2R12 c1ν2 C9
Comisión Sectorial de Enseñanza
11. ¬R11 c1
b.
c.
178
{∀ν1R12 ν1 ν1, ∀ν1∀ν2∀ν3((¬R12 ν1ν2∧¬R12 ν2ν3)→¬R12 ν2ν3)}
f.
∀ν1∀ν2 (R12 ν1ν2∨R12 ν2ν1)
g. {∀ν1(R11 ν1→R21 ν1), ∀ν1(R21 ν1→R12 ν1c2)} ∀ν1 (R11 ν1→R12 ν1c2)
Síntesis
Este capítulo encuentra una motivación fundamental en la siguiente cuestión:
¿cómo es posible evaluar argumentaciones, desde el punto de vista de la lógica
predicativa o de orden uno? O aún una interrogante más específica: ¿es posible
evaluar mecánica o algorítmicamente argumentaciones, desde el punto de vista de
la lógica de orden uno? La respuesta a esta pregunta formulada generalmente es:
no. Un espectacular resultado de la investigación lógica del siglo pasado (obtenido,
independientemente, por A. Church y A. Turing) es que el conjunto de las fórmulas
válidas de la lógica de orden uno es indecidible, es decir, no es posible construir un
algoritmo que permita resolver, para una fórmula cualesquiera, si pertenece o no a
este conjunto. Sin embargo, si se restringe la atención a aquellas fórmulas en las que
intervienen —a lo sumo— letras de predicado unarias, la respuesta a la cuestión
arriba planteada es positiva.
De acuerdo a esta última respuesta existe una solución algorítmica para la cues-
tión de determinar la validez de las fórmulas pertenecientes a ese subconjunto de
las fórmulas: el procedimiento mecánico estudiado ha sido el denominado «ta-
blas analíticas» —que, como se recuerda, extiende el construido para el lenguaje
proposicional.
La respuesta negativa a la cuestión general (i.e. a la existencia de solución algo-
rítmica para el problema de la validez de una fórmula en orden uno) es una extraor-
dinaria motivación para construir alternativas de evaluación no–algorítmicas: los
sistemas deductivos presentados.
Dado el poder expresivo de orden uno, una empresa especialmente importante
ha sido la formalización de teorías científicas en tales lenguajes. Este contexto hace
especialmente valiosa la noción de «teoría axiomática formal».
Como se recordará, una teoría axiomática formal supone,
a. la formalización del lenguaje,
b. la definición de un conjunto (decidible) de fórmulas denominadas «axiomas»
y
Comisión Sectorial de Enseñanza
179
así el concepto de consecuencia teórico–demostrativa. Su definición, como se recuer-
da, puede expresarse así:
Sea Γ un conjunto de fórmulas, sea ϕ una fórmula. Se dirá que ϕ es consecuencia
teórico-demostrativa de Γ (se nota: Γ ϕ) si y solo si hay una secuencia ϕ1, ϕ2,…ϕn de
fórmulas tales que ϕn≡ϕ y, para cada k con 1≤k≤n , se tiene que:
a. ϕk∈AXI o
b. ϕk∈Γ o
c. ϕk es consecuencia directa por una regla Ri de δ (i) fórmulas que aparecen
en la secuencia antes que ϕk.
La secuencia ϕ1, ϕ2,…,ϕn se denomina una prueba o una demostración de j a
partir de Γ.
En el capítulo anterior —como el lector recuerda— se estudió la noción mate-
máticamente precisa de consecuencia teórico–modélica ( ). Un problema del mayor
interés lógico-matemático y conceptual es el de establecer cuál es la relación entre
estas dos elucidaciones, es decir, cuál es la relación entre los conceptos de conse-
cuencia teórico-demostrativa ( ) y consecuencia teórico-modélica ( ). La solución,
en orden uno, es debida a Gödel: este matemático notable demostró en 1930 la
completud de la lógica de orden uno, es decir, estos dos conceptos en orden uno son
coextensionales.
Universidad de la República
180
Capítulo 9
La estrategia traducción–cálculo
¿Cuáles son los modelos argumentales asumidos en la teoría lógica? Respuestas
a esta cuestión han sido planteadas en las páginas anteriores; el siguiente puede ser
un resumen de dichos desarrollos:
Comisión Sectorial de Enseñanza
102 Usada esta expresión en su acepción filosófica común; no en la acepción lógica técnica que hemos
usado páginas anteriores.
103 Este escrito usa libremente Seoane, J. (2004). Como ya comentamos, ideas similares se encuen-
tran en Corcoran, J. (1972). Existe, no obstante, una diferencia importante entre este trabajo y el
de Corcoran en lo que refiere a la explotación de ciertas distinciones en la aplicación de la teoría
lógica a la evaluación argumental. Deseo expresar, finalmente, mi recomendación entusiasta de
la lectura del escrito de Corcoran.
181
Modelos argumentales Concepciones de corrección argumental
Modelo diádico: <Pre, Con> Concepción relacional binaria: TNV
Modelo triádico: <Pre, Pas, Con> Concepción relacional ternaria: JAE
104 Estrictamente, quizá debiera separarse el requisito de la autoevidencia y el requisito del carácter
sintáctico pero, a los fines presentes, el vigor de una cierta tradición parece ser respaldo suficiente
para no hacerlo. Desde el punto de vista histórico este aspecto merece tratarse con más parsimonia.
105 Aunque quizá confusamente expuesta esta es la tesis principal de Seoane, J. (1997).
106 Por razones que serán obvias después, en este momento no vale la pena distinguir entre estas
dos estrategias. Adviértase, no obstante, que se asume que se ha usado exclusivamente el modelo
diádico como forma de representar argumentos.
182
El desconocimiento de esta variedad en la interacción entre los campos aludidos
conduce a identificar los límites de la estrategia traducción–cálculo con los límites
de la contribución de la lógica al tratamiento de los argumentos formulados en los
lenguajes históricos. La identificación de teoría lógica y formalismo se encuentra
en la génesis de este error en influyentes críticos del valor de la lógica como herra-
mienta para la evaluación de la argumentación, por así decirlo, «no matemática», en
particular Perelman y Olbrechts-Tyteca. El propósito de este capítulo, sin embar-
go, no es crítico sino fundamentalmente propositivo. Se intentará usar las nociones
presentadas para comenzar a ilustrar ciertas formas de interacción teoría lógica–ar-
gumentación que son extremadamente generales e indiscutiblemente fecundas, por
una parte, y claramente irreductibles a la estrategia traducción–cálculo, por la otra.
107 Intentaré no provocar ideas erróneas acerca de cómo deberían representarse las distintas situa-
ciones apelando a los recursos de la teoría de conjuntos pero sólo en los casos que no interfiera
con la claridad del estilo sugeriré dicha representación pues pienso que la misma no es esencial.
Así en los casos restantes dejaré ese trabajo al lector.
108 Entre otros autores, Piacenza ha advertido este problema —véase Piacenza, E. (1998).
109 La noción de implicatura puede entenderse como un esfuerzo de esta naturaleza.
184
asumida el monto informacional de las premisas, la información codificada en la
conclusión puede, por ejemplo, tornarse más probable o plausible.
Estas formas de interacción son las más básicas de todas y, como es evidente,
no asumen la estrategia traducción-cálculo. En algunos casos pueden ni siquiera
suponer traducción, en otros casos pueden suponer traducción parcial (por ejem-
plo, traducción de terminología lógica) y en algunos casos, naturalmente, pueden
desembocar en una instancia de la estrategia traducción–cálculo. El aspecto impor-
tante que debe advertirse es que las modalidades que no suponen tal estrategia no
se dejan capturar por ella y son, sin embargo, extremadamente generales y fecundas
en relación con la práctica argumental.
Es evidente que si nos interesa exclusivamente la potencialidad persuasiva de
un argumento, entonces estos usos de la teoría lógica tal vez no sean un buen inicio
para ponderar (en aquéllos términos) la capacidad de un argumento. Parece obvio
que la conclusión que puede extraerse de esta observación no es que la colabora-
ción lógica en la evaluación de la corrección argumental en contextos informales y
no–deductivos sea nula.
Nos hemos referido antes a la relación de justificación «pretendida» (en un
texto) entre premisas y conclusión. Pero, por las razones arriba discutidas, cabría
esperar de un texto argumental la explicitación de tal relación. A la hora de describir
esa explicitación el modelo diádico resulta insuficiente. El modelo triádico efectúa
un aporte sustancial en esta dirección: obliga a recoger la explicitación de la relación
de justificación pretendida. Al igual que en el caso del primer enfoque, conviene
reparar en los dos aspectos. Si se piensa en a), es decir, en la lógica como guía del
trabajo con argumentos particulares, es evidente la colaboración que el modelo
provee en la identificación de textos argumentales pues concentra la atención en
un tipo especial de discurso que tiene que poner en obra recursos justificacionales
cuyo objetivo es conectar en tales términos las premisas con la conclusión. Al ha-
cerlo introduce una novedad sustancial: un argumento no puede ser identificado
exclusivamente por sus premisas y su conclusión. Para identificar un argumento es
necesario describir, por así decirlo, su trama justificacional; dos argumentos son di-
ferentes aunque coincidan en premisas y conclusión cuando su trama justificacional
diverge. Como es evidente, este enfoque llama así la atención sobre una diferencia
entre argumentos que no era capturada por el enfoque inicial. Nuevamente esta
ganancia en comprensión argumental no asume la posibilidad de aplicación exitosa
de la estrategia traducción-cálculo.
Quizá una de las consecuencias más importante de este último aspecto resida
Comisión Sectorial de Enseñanza
186
La riqueza de las relaciones lógica y argumentación:
ensayando otros modelos
Las reflexiones de la sección anterior pretenden sugerir más que la búsqueda de
un modelo de análisis argumental, el interés por la identificación de métodos o estra-
tegias de aplicación del conocimiento lógico a la tarea de la evaluación argumental.
La descripción de algunos de estas estrategias es una ocupación fundamental de las
páginas que siguen.
Nótese que, hasta ahora, no se ha hecho intervenir en la discusión la teoría lógica
como teoría matemática. Es decir, no se ha hecho referencia —intencionalmente—
a la ferretería habitual de los lenguajes formales, tanto en su dimensión semántica
como sintáctica. Sin embargo, quizá sea útil recordar que los conceptos pertene-
cientes a los dos enfoques estudiados encuentran, en la teoría lógica matematizada,
«contrapartidas» matemáticas precisas. Las nociones ya estudiadas de consecuencia
teórico–modélica —en símbolos, Γ ϕ— y consecuencia teórico–demostrativa —en
símbolos, Γ ϕ— son precisamente tales contrapartidas.
Los conceptos claves en una y otro caso son los conceptos de modelo y prueba
respectivamente; el hecho de que se posea definiciones matemáticamente en regla
en ambos casos constituye la clave del rigor de ambas definiciones.
El estudio matemático de estos conceptos ha permitido una comprensión ex-
traordinaria del funcionamiento de los sistemas deductivos y de su semántica. No se
pretende mostrar en detalle cómo es posible aprovechar estas ideas a los efectos de
fortalecer el análisis argumental; se dará apenas un ejemplo de ello.
Al poseerse un conocimiento preciso de en qué consiste una «regla de inferen-
cia» (definida sintácticamente) y de en qué consiste su carácter de «correcta» (en el
sentido técnico de asegurar la transmisión de la verdad), la percepción de en qué
consiste un paso argumental legítimo se ve notoriamente enriquecida.
Pensemos la situación en los términos más intuitivos. Ante un paso argumental,
al lector, por así decirlo, lógicamente cultivado, se le abren una serie de alternativas
analíticas que difícilmente se le presentarían en ausencia del background lógico:
¿es tal paso una instancia de una regla?, ¿es esta regla formulable sintácticamente?,
¿es esta regla sólo formulable en términos semánticos?, ¿es radicalmente novedosa
(en relación a las reglas lógicas)? ¿es correcta (en el sentido técnico aludido)? ¿es
correcta, en un sentido análogo al sentido técnico?, etc. El lector escéptico podría
objetar si no se tratan éstas de preguntas que suponen apelar a la estrategia traduc-
ción–cálculo. Seguramente en muchos casos existirá traducción parcial y sólo en
Comisión Sectorial de Enseñanza
algunos felices casos respuesta algorítmica, pero ¿es razonable entender la reflexión
compleja —sugerida por esta interacción entre conocimiento lógico y comprensión
argumental— como reductible a la estrategia referida?
Quizá resulte útil reiterar una vez más, a los efectos de evitar equívocos, la
valoración positiva de la estrategia traducción–cálculo; lo que se cuestiona aquí
187
es considerar tal estrategia como la forma exclusiva de aplicación de la lógica a la
evaluación argumental.
El aspecto especialmente importante de la lista de interrogantes del ejemplo
anterior es que evidencia la multiplicidad de alternativas conceptuales que el cono-
cimiento lógico propone al análisis argumental. Este portentoso enriquecimiento
estimula la eventual percepción o, si se prefiere, identificación de una diversidad de
recursos justificatorios. Parece razonable intentar recoger tal posibilidad en nuestro
modelo argumental. Quizá sea útil entonces para comenzar proponer una cuádrupla
donde JP consiste, por ejemplo, en una función que asocia con cada premisa,
(el conjunto que tiene como elemento) una descripción del mecanismo o forma de
justificación que la respalda.
Otra alternativa es refinar algunas de las dimensiones contempladas. Por ejem-
plo, podría resultar interesante retratar el orden de los pasos y esto conduce a tratar
el conjunto Pas como una n-tupla, dotando, por así decir, de mayor «estructura
conjuntística» al modelo, i.e.:
188
La riqueza de las relaciones entre lógica y argumentación:
la crítica argumental
El modelo escogido para ilustrar las aplicaciones aludidas es el modelo cuatridi-
mensional arriba mencionado. Se atenderá al uso crítico del mismo, es decir, el uso
de esta estratregia modelizadora como guía de la tarea de la crítica argumental.
Dado que se desea acentuar su dimensión práctica, se mostrará la forma en que
opera en diversas empresas críticas. Se clasifican las mismas en aquéllas que objetan
la conclusión y aquellas (más especiales) que, rechazando el argumento, aceptan la
conclusión.
a. Objeción a la conclusión. Adoptemos la convención de poner «=» cuando se
coincide y «?» cuando se disiente. Explotando el modelo, la representación
general podría ser la siguiente
caso particular podría adoptar esta forma —donde se representan las premi-
sas y pasos objetados y la conexión entre unas y otros—
<Pre,<Pas1,…,Pask,Pask+1,…,Pasm>, Con, <MJ1,…,MJj,MJj+1,…,MJm>>
= ?
? ? ? ?
190
crítica del segundo tipo es de una naturaleza más bien externa. También cae
en esta última categoría la crítica caracterizada como caso 1.
Es evidente que estas ideas estructurales pueden funcionar como guía heu-
rística tanto de la comprensión como del desarrollo crítico o constructivo de
argumentos.
Cada una de estas alternativas, como en el caso a), permite apreciar relevantes
diferencias estructurales. Puede resultar útil reconstruir aquí el, por así decir,
«equivalente» del primer ejemplo estudiado en el caso a). Es decir,
Síntesis
La perspectiva propuesta puede sintetizarse en la tesis de la riqueza esencial de
las relaciones entre lógica y argumentación.111 Entendido en términos críticos, tal
punto de vista se opone a la reducción de aquellas relaciones a un patrón exclusivo,
a saber, la estrategia traducción–cálculo. Entendido en términos positivos, supone
identificar y promover una variedad de formas de interacción entre el conocimiento
lógico y la comprensión y evaluación argumentales.
El blanco de la crítica son ciertas posiciones extremas de autores que suelen
ubicarse en la denominada teoría de la argumentación. La idea que parece subyacer
a la postura reduccionista de las relaciones en cuestión se vincula con una cierta
concepción de la teoría lógica. Simplificando las cosas podríamos decir que tal
concepción es, básicamente, sintactista. Por oposición, la concepción que subyace
al enfoque propuesto aquí es, en esencia, de énfasis semántico. Esta oposición cruda
no es totalmente justa pero captura, desde el punto de vista analítico, una tensión
esencial y resulta, al menos en algunos casos, sugestiva, desde el punto de vista de
Universidad de la República
111 No he encontrado esta tesis en la literatura pero creo que algunos esfuerzos reflexivos resultan
afines a la misma —por ejemplo, este es el caso de Parsons, T. (1996).
192
o pre–teórico de consecuencia lógica112 y, por otra, a comprender la contribución
técnica en clave conceptual. Esta operación estimula una gran flexibilización en
las formas de explotar tal contribución, aprovechando la misma en su forma más
estricta pero también en formas abiertamente analógicas o metafóricas. Esta actitud
intelectual es la que gobierna el desarrollo constructivo o positivo de la tesis.
195
Piacenza, E. (1998). Teoría de la argumentación, Lógica y no–monotonía, Memorias del XXX
Aniversario, Centro de Estudios Filosóficos Adolfo García Díaz, Venezuela.
Popper, K.R. (1991). Conjeturas y refutaciones, Barcelona, Paidós.
Quine, W.O. (1967). Los métodos de la lógica, Barcelona, Ariel.
Roitman, J. (1990). Introduction to Modern Set Theory, New York, John Wiley and Sons.
Rossi, P. (2000). Logic and the Art of Memory: The Quest for a Universal Language, London,
Athlone Press.
Seoane, J. (1997) «Lógica, realidad y argumentación», Dissertatio, n.° 6, Brasil, pp. 8–24.
———(2000) «Corrección argumental como relación» (abstract) Volumen de Resúmenes, X Congreso
Nacional de Filosofía, AFRA, Universidad Nacional de Córdoba, Argentina, p. 65.
———(2003) «Un modelo vazferreiriano de análisis argumental», Papeles de Trabajo (colección),
Montevideo, FHUCE, Universidad de la República.
———(2004). «Teoría lógica y modelos argumentales», Papeles de Trabajo (colección), Montevideo,
FHUCE, Universidad de la República.
Shapiro, S. (1991). Foundations Without Foundationalism: A Case For Second-Order Logic. Oxford
University Press, Oxford.
Smullyan, R. (1968). First Order Logic, Berlin, Springer–Verlag.
Strawson, P. (1952). Introduction to logical theory, London, Methuen.
Suppes, P. (1960). Axiomatic Set Theory, New York, Dover.
Torretti, R. (1993). «El método axiomático», en Moulines, C.U. ed., La ciencia: estructura y desarrollo,
Madrid, Trotta.
Van Eemeren, F. et al. (1987). Handbook of Argumentation Theory, Dordrecht, Foris Publications.
Vega Reñón, L. (1991). «La trama de la demostración», Madrid, Alianza Editorial.
Wagner, S. (1987). «The rationalist conception of logic», Notre Dame Journal of Formal Logic, Vol.
28, pp. 3–35.
Universidad de la República
196
Índice analítico
Alfabeto
• de la lógica proposicional
• de la lógica de primer orden
Algoritmo
Altura de una fórmula
Análisis veritativo–funcional
Argumento/Argumentar/Argumentación
• deductivo
• idealmente justificado
• lógicamente correcto
• por absurdo
• válido
Asignación de valores de verdad
• variante
Axioma/s
• de Extensionalidad
• de Par
• del conjunto potencia
• esquemas de
• lógicos
Bicondicional
Cardinalidad
Clase propia
Compacidad
Complemento
Composición de funciones
Condicional
• transitividad del
Condicionalización
Conectivos
Conectores
Comisión Sectorial de Enseñanza
Conjunción
• propiedades de la
Conjunto/s
• adecuado de conectivos
• de las fórmulas
• de los términos
• definición por comprensión
197
• definición por extensión
• equipotentes
• inductivo
• intersección de
• numerable
• par
• potencia
• unión de
• unitario
• vacío
Consecuencia
• lógica
• teórico–demostrativa
• teórico–modélica
Consecuente
Consistencia
Constante de individuo
Contingencia
Contradicción
Contraposición
Corrección argumental
Cuantificador
• existencial
• universal
Decidibilidad
Demostración
• por absurdo
Diferencia
Disyunción
• exclusiva
• inclusiva
• propiedades
Dominio de interpretación
Elemento maximal
Elemento máximo
Elemento minimal
Elemento mínimo
Universidad de la República
Estructura–L
Falacia
Formalización
Fórmula/s
• abierta
198
• atómica
• cerrada
• cuantificacional monádica
• interpretación de
Función
• biyectiva
• imagen (de una función)
• inyectiva
• sobreyectiva
• total
• veritativa asociada
Igualdad
Inclusión
• estricta
Inconsistencia
Inducción
• principio de
• principio de inducción ampliada
Intercambio definicional
Interpretación
• de L
• de términos
Isomorfismo
Lenguaje
• de orden uno
• formal
• lógico proposicional
Letras
• de enunciado
• de función
• de predicado
Leyes de De Morgan
Lógica de predicados
Metalenguaje
Modelo
Modus Ponens
Comisión Sectorial de Enseñanza
Modus Tollens
Monotonía
Negación
Palabra
Par ordenado
Paradoja de Russell
199
Partición
Principio de composicionalidad
Principios lógicos
• de identidad
• de no contradicción
• del tercero excluido
Producto cartesiano
Prueba
• por absurdo
• por inducción
Realización de L
Reglas
• de igualdad
• de inferencia
Relación
• antisimétrica
• asimétrica
• binaria
• de equivalencia
• de justificación
• de orden
• de orden débil
• de orden estricto o fuerte
• de orden total
• inversa
• irreflexiva
• reflexiva
• simétrica
• transitiva
Reemplazo de fórmulas equivalentes
Satisfacción
Semántica
• denotacional
• extensional
Sentido
Símbolos
• auxiliares
Universidad de la República
• de constante
Sistema/s
• axiomáticos
• de deducción natural
• deductivos
200
• formal
Subconjunto
• propio
Tablas analíticas
Tautología
Teorema
Teoría
• axiomática formal
• de conjuntos Zermelo–Fraenkel
Términos
Transmisión de la verdad
Validez
• teórico–modélica
Variables
• de enunciado
• de individuos
• libres
201