Sie sind auf Seite 1von 43

PRINCIPIOS Y MTODOS DE ANLISIS LGICO

2
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

CONTENIDOS TEMTICOS:
1 Teora de conjuntos 3
1.1 Introduccin 3
1.2 La paradoja de Burali-Forti 4
1.3 La paradoja de Russell (1902) 5
1.4 Propuestas de solucin a las paradojas 6
1.5 Los conceptos fundamentales de la teora de conjuntos: 8
1.5.1 Conjunto 8
1.5.1.1 Definiciones de los conjuntos por extensin o intensin 8
1.5.1.2 Conjunto Finito, Infinito 9
1.5.1.3 Conjunto nulo o vaco 9
1.5.1.4 Subconjunto, propio, igualdad 10
1.5.1.5 Contener e incluir 10
1.5.1.6 Igualdad 10
1.5.1.7 Conjunto potencia, particiones y Conjunto Universo 11
1.5.1.7.1 Unin e interseccin de conjuntos 12
1.5.1.8 Diferencia, diferencia simtrica y complemento 12
1.5.1.9 Ejemplos 13
1.5.1.10 Actividades sobre conjuntos 13
1.5.1.11 Propiedades de las operaciones booleanas entre conjuntos 13
1.5.1.12 Tablas de membresa 14
1.5.1.12.1 Actividad. Prueba por tablas de membresa. 16
1.5.1.13 Correspondencia y mapeo 16
1.5.1.14 Equivalencia 16
1.5.1.14.1 Propiedades y relaciones 16
1.5.1.14.2 Conjuntos equivalentes y nmeros cardinales 17
1.6 Diagramas de Euler-Veen 18
1.6.1 Conjuntos y Diagramas de Veen 18
1.6.1.1 Actividades sobre conjuntos 21
1.6.2 Adecuacin de los diagramas de Veen 22
1.6.3 Bibliografa sobre Teora de Conjuntos 23
2 Proposiciones categricas, conjuntos y diagramas de Veen 24
2.1.1 Cuadro de proposiciones categricas simplificadas 25
2.1.2 Distribucin 25
2.2 Contenido existencial del las proposiciones categricas 25
2.2.1.1 Actividad. Falacias existenciales 28
2.3 Representacin simblica para las proposiciones categricas 29
2.4 Diagramacin para las proposiciones categricas 31
2.4.1 Actividad. Representacin de proposiciones categricas 35
2.5 Silogstica y diagramas de Venn 36
2.5.1.1 Graficacin de Diagramas para silogismos categricos 36
2.5.1.2 Pasos para su graficacin 38
2.5.1.3 Representacin de forma tradicional, boolena y diagramacin 38
2.5.1.4 Simbolizacin y representacin de la Premisa Mayor 38
2.5.1.5 Simbolizacin y representacin de la Premisa menor 38
2.5.1.6 Ubicacin de la conclusin y de la validez o invalidez del silogismo 39
2.5.1.7 Determinacin de validez 42
2.5.1.8 Bibliografa 42
2.5.2 Actividades. Diagramas de Venn para silogismos categricos. 43

PRINCIPIOS Y MTODOS DE ANLISIS LGICO
3
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr


1 Teora de conjuntos
1.1 Introduccin
El descubrimiento de la teora de conjuntos se debe al matemtico alemn de origen ruso:
George Ferdinand Lwdwig Cantor (1845-1918) el cual, despus de una dura lucha entre los
aos 1874 y 1887, consigui ver aceptada su teora entre la comunidad de los matemticos y
los lgicos. El horror infiniti era lo comn entre los matemticos del siglo XIX que
consideraban que la nocin de infinito actual pertenece a la provincia de la filosofa (Crosley,
J. N., 1972, p.147).
La nocin de infinito tiene sus orgenes en el pensamiento religioso y fue introducida en la
ciencia por los griegos. El nacimiento de la teora de conjuntos recibi un fuerte impulso desde
ciertas discusiones filosficas acerca de la nocin de infinito actual o real, discusiones que
se remontan a Aristteles y se encuentran en sistemas teolgicos como los de Agustn de
Hipona y Toms de Aquino y en distintos filsofos como, Lucrecio, Hasdai Crescas, Gregorio
Rimini, Descartes, Spinoza, Leibniz, Locke, Kant, etc. (Cfr. Crosley, J. N., 1972, p.147;
Fraenkel, A. A., 1959, p. 10).
En el contexto matemtico del siglo XIX el infinito aparece por lo general slo en su forma
potencial
1
. Partiendo de esta forma, A. L. Cauchy y sus sucesores establecieron los
rigurosos fundamentos del clculo en la primera mitad de ese siglo. El infinito potencial puede
ilustrarse mediante un ejemplo muy sencillo: la expresin
0
1
lim ) ( =
n
n
[lase: el lmite de
1/n, cuando n tiende al infinito es cero(o infinitamente pequeo)] no es ms que la abreviatura
de la afirmacin puede hacerse que el cociente 1/n se aproxime a 0 con cualquier
precisin deseada si el entero positivo n se toma suficientemente grande. En esta
afirmacin no se plantea lo infinitamente grande o lo infinitamente pequeo, y el
smbolo

sirve tan slo como la notacin concisa (Fraenkel, A.A., 1959, pp. 9-10)
Esta lnea o tradicin matemtica es propulsada por Gauss. En una carta a Schumacher en
1831: En las matemticas las magnitudes infinitas nunca pueden tomarse como algo final; el
infinito es slo un faon de parler, que significa un lmite al actual ciertas proporciones pueden
aproximarse tan cercanamente como se desee cuando se permite que otras se incrementen
indefinidamente (Fraenkel, A. A., 1959, p. 10). Ante una autoridad como Gauss, la mayora de
los matemticos y cientficos en general se adhirieron a esta tradicin, lo que llev a la
supresin, por un perodo de dos dcadas, a la teora del infinito real.
No obstante, la influencia directa sobre Cantor vienen de las argumentaciones acerca de las
propiedades paradjicas de la nocin de infinito actual (en particular la equivalencia entre un
conjunto infinito y una parte propias del l mismos) contenidas en la obra pstuma del clrigo
B. Bolzano: Paradoxien des Unendlichen, publicada en 1850, donde utiliza por vez primera la

1
La nocin de Potencia proviene de la tradicin de la ontologa aristotlica, entendindose como un
predicado del ser opuesto al acto. En este sentido potencia se entiende como la posibilidad de llegar a ser, en sentido
aristotlico es un modo preparatorio del acto, en tanto este ltimo es la existencia misma del ser o del objeto.
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
4
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

palabra Menge (conjunto). Cantor en 1870 parti de problemas matemticos concretos en
la teora de funciones de una variable real, problemas que implican distinguir un nmero finito o
infinito de puntos excepcionales, como, los puntos de discontinuidad. En 1883, publica el
quinto de sus artculos, denominado: Sobre agregados infinitos lineales de puntos(1879-
1884), donde escribe lo siguiente:
La descripcin de mis investigaciones en la teora de los agregados ha alcanzado un
estadio donde la continuacin de estas investigaciones ha venido a depender de la
generalizacin del concepto de entero positivo real ms all de los lmites actuales; aun
generalizacin que toma una direccin que, hasta donde yo s, nadie ha considerado
an.
Dependo de esta generalizacin del concepto de nmero en tal medida que sin ella no
podra lograr libremente ni siquiera pequeos avances en la teora de los conjuntos.
Espero que esta situacin llegue a justificar, o a excusar de ser necesario, la
introduccin en mis argumentos de ideas aparentemente extraas. De hecho el
propsito no es otro que el de generalizar o extender la serie de de los enteros reales
ms all del infinito. Por atrevido que esto pudiera parecer, expreso no slo la esperanza
sino tambin la firme conviccin de que a su tiempo esta generalizacin ser reconocida
como un paso natural, apropiado y bien sencillo. Con todo tengo plena conciencia de
que al adoptar tal procedimiento me coloco en oposicin a los criterios ms extendidos
respecto al infinito en las matemticas, as como a las opiniones en boga sobre la
naturaleza del nmero (Cfr. Fraenkel, A. A., 1959, p. 12).
No es extrao, pues, que las relaciones entre la filosofa y la teora de conjuntos y en
particular, las relaciones entre la teora de conjuntos y la lgica- sean particularmente
estrechas. Precisamente y sobre esta base es que Cantor comienza a delimitar el concepto de
conjunto (1882, 1883). Las definiciones clsicas de Cantor sobre lo que es un conjunto,
pertenecen a 1895 y 1932, "Un conjunto es una coleccin como totalidad de objetos definidos
y distintos de nuestra intuicin o nuestro pensamiento. Los objetos son llamados los elementos
(o miembros) del conjunto(1932 )
2
.(Cfr. Crosley, J. N., 1972, p.147-148; Fraenkel, A. A., 1959,
p. 13-14).
No obstante se puso de manifiesto que esta definicin de conjunto llevaba a ciertas
circularidades insalvables como lo son las paradojas de B. Russell y B. Burali Forti.
1.2 La paradoja de Burali-Forti
Esta es la primera paradoja descubierta en al poca contempornea (1895) y nace en el seno
de la teora cantoriana de conjuntos (Heijenoort, J.V.1967,p.46). Esta es la paradoja del mayor de
los ordinales:
Todo conjunto bien ordenado tiene un nmero ordinal. An ms el conjunto de todos los
ordinales es bien ordenado, por consiguiente el conjunto de todos los ordinales tiene un nmero

2
Unter einer Menge verstehen wir jede Zusammenfassung M von bestimmten wohluntersshidenen
Objekten m unserver Anschauung order unseres Denkens (welche die Elemente von M genannte warden) zu einem
Gazen(1932). Gesammelte Abhandlugen mathematischen un philosophischen Inhalts. E. por E. Zermelo, Berln. 1961
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
5
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

ordinal, digamos . Pero el conjunto de todos los ordinales hasta e incluyendo un ordinal dado, es
bien ordenado; as que tiene un nmero ordinal que excede en uno al ordinal dado, en
consecuencia, el conjunto de todos los ordinales, incluyendo W tiene el nmero ordinal + 1,
que es el mayor. Por consiguiente , no es nmero ordinal de todos los
ordinales(Suppes, P.,1960,p.7).
Cesare Burali Forti public esta paradoja en una memoria titulada: Una questioni sui numeri
transfiniti (Una cuestin sobre los nmeros transfinitos), utilizando el formalismo introducido por
Peano. La paradoja conlleva un verdadero absurdo. Su publicacin provoc algunas discusiones
entre los matemticos, y en particular Poincar present en Ciencia y mtodo una discusin de
esta paradoja, cuya existencia pareca imputar a la lgica simblica, adems de formular algunas
exigencias a los que quisieran utilizar correctamente el lenguaje de la lgica. Hadamard tambin
se ocup de esta contradiccin de la teora cantoriana de conjuntos, y lleg a la conclusin de que
haba que rechazar la existencia de una coleccin de todos los ordinales en un conjunto. A partir
de ese momento se descubrieron otras paradojas por el el mismo Cantor, Dedikind y la de Russell,
que se presenta a continuacin.
1.3 La paradoja de Russell (1902)
La paradoja de Russell, surge al plantearse la existencia del Conjunto de todos los conjuntos que
no son elementos de si mismos. Russell realiza la siguiente divisin:
(1) El conjunto de los elementos que no son elementos de si mismos y,
(2) El conjunto de los elementos que son elementos de si mismos.
As, la clase de los objetos abstractos, al ser el mismo un objeto abstracto, es miembro de si
mismo y por ello es del tipo 1. No pasa as con la clase de los Ornitorrincos, no es en si
misma un Ornitorrinco y por ende pertenece a 2. Ahora bien, sea la clase r, la "clase Russell", es
definida por las siguientes condiciones:
(1) para cada x, xr si y solo si x x
(O sea, para cada x, x pertenece a la clase de las clases que no se pertenecen a si mismas, si y
solo si x no se pertenece a si mismo)
Por sustitucin se obtiene:
(2) r r si y solo si r r
(O sea, la clase de las clases que no se pertenecen a si mismos, se pertenece a si misma, si y
solo si no se pertenece a si misma.)
En breve, si la clase de las clases que no se pertenecen a si mismas se pertenece a si misma,
entonces no debera pertenecerse a si misma; pero si no se pertenece a si misma, debera
pertenecerse a si misma (Heijennoort, J. V.,1967,p.46).
Estas paradojas conmovieron a los matemticos hasta el punto que Dedekind, por ejemplos se
desanim tanto que retras a sabiendas durante ocho aos la publicacin de la tercera edicin de
su obra: Was sin und was solleb di salen(La naturaleza y el significado de los nmeros).
Algunos de ellos, perplejos ante las mismas, aceptaron compromisos no slo a nivel de la teora
de conjuntos, sino tambin en partes importantes de anlisis. Otros, por fin, entre ellos hay que
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
6
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

contar a Zermelo y Russell, decidieron emprender una revisin sistemtica de la teora de
conjuntos, el primero de ellos elaborando una axiomatizacin, y el segundo con la
colaboracin estrecha de Whithead, llevando a cabo una sistematizacin de las matemticas en el
monumental tratado de Principia mathematica(1910-1953) (Collete, J. P., 1975, pp.552-557).
Ante la aparicin de paradojas se propusieron en la primera dcada del siglo XX, tres vas de
solucin independientes.
1.4 Propuestas de solucin a las paradojas
1.4.1 Intuicionista
Sostenida por el matemtico holands Luitzen Egbertus Jan Brouwer (1881-1966), que
reafirmaba la opinin kantiana que los juicios matemticos son sintticos y a priori
3
(Church,
A., Matemtica, en: Runes, D. D., 1960, p. 241). El intuicionismo incorpora una teora distinta
de los fundamentos del anlisis y que, como es sabido, vaca en gran manera la teora de los
conjuntos. Estos no responden a las paradojas de una manera tajante: se ha tratado de
abusos y extralimitaciones de la lgica y el lenguaje. Cuando la lgica y el lenguaje han
dejado de corresponder con la verdadera matemtica es que se suceden las paradojas (Ruiz
Z., A, 2003, p. 543). En este sentido, se rechaza las definiciones impredicativos (-concepto
que haba sido introducido por Poincar en 1906, que son aquellas que definen un miembro
concreto de cualquier clase en la que se hace referencia a la totalidad de los miembros de
dicha clase. Poincar consider circularmente viciosas estas definiciones, por lo que no
deban admitirse-) (Church, A., Definicin impredicativa, en:: Runes, D. D., 1960, p. 186).
Asimismo se rechaza el supuesto de que todas las cosas que satisfacen una condicin dada
puedan reunirse en un conjunto al que tratar como cosa individual. Adems se rechaza la ley
de tercero excluido, aplicado enunciados que incluyan conjuntos infinitos. No son aceptables
expresiones como: Todo nmero par mayor de que 2 puede expresarse como la suma de
dos primos, porque hay infinitos nmeros primos mayores que 2 y es imposible examinarlos
todos, uno por uno y decidir si son o no la suma de dos nmeros primos(Church, A.,
Intuicionismo matemtico, en: Runes, D. D., 1960, pp. 195-196)
1.4.2 Teora de tipos de Russell
Salva las paradojas, partiendo del rechazo del rechazo definiciones impredicativas. Esta teora
fue incorporada a los Principia Mathematica (1910-13). Consista en una Teora simple de los
Tipos lgicos a la cual se superpona una teora ramificada.
1.4.2.1 Teora simple de los tipos
Divide el universo del discurso en una jerarqua:
TIPO 0: Individuos X
0
TIPO 1: Conjuntos de Individuos X
1
TIPO 2: Conjuntos de conjuntos de Individuos X
2

3
I. Kant, en su obra Crtica de la Razn Pura (1781), establece que el conocimiento se dan en dos tipos de
juicios: los anlticos y los sinteticos, los primeros se establece que el predicado se encuentra contenido en el sujeto(son
explicativos) los sintticos son aquellos en que el prdicado se encuentra fuera del contenido del sujeto. Estos ltimos
pueden ser a priori y a posteriori .Los juicios sintticos a priori son necesarios y universales, y son los juicios del
conocimiento cientfico.
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
7
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

. .
. .
TIPO N: Conjunto de conjuntos de.... X
3
Las reglas de formacin se restringen de tal manera que la formula:
"X e Y" , estar bien formada solo si el ndice de tipos de " Y " es superior en uno al de "
X ". As por lo tanto, la frmula: " X e X " est mal formada, y la propiedad de no ser
miembro de si mismo, esencial en la paradoja de Russell, no puede expresarse
(Hack,S.,1978, Idem).
1.4.2.1.1 Teora ramificada de tipos lgicos
Esta tambin se refiere a una jerarqua de rdenes, pero ahora sobre las "
Proposiciones "(oraciones cerradas) y "Funciones proposicionales" (oraciones abiertas).
Se tendr tambin la restriccin de que ninguna proposicin (funcin proposicional) podr ser
"acerca de". Es decir, un cuantificador no podr abarcar proposiciones (funciones
proposicionales) del mismo orden o superior que el suyo propio. Esta teora se aplica a las
paradojas criterios de "verdad" y "falsedad" autoreferentes. As una proposicin del orden n,
ser verdadera o falsa en el orden n+1. La teora ramificada de los tipos fue desarrollada
posterior a Russell por Leon Chwistek, en 1921, y F. P. Ramsey, en 1926. Por otro lado, Norbert
Wiener en 1914 y Kazimierz Kuatowski en 1921 mostraron que los predicados polidicos pueden
se definidos en trminos de predicados mondicos. Esto posibilit presentar la teora de una
forma simplificada (Ferrater, M., J y H. Leblanc, 1955, p.166-167).
Las teoras de los tipos resolvan entonces el problema de las paradojas surgidas en el
contexto de la teora cantoriana de conjuntos, pero pagando como precio ciertas
consecuencias como afirmaba Quine innaturales e inconvenientes, como es el caso que la
teora no permite que una clase tenga ms que miembros de un tipo, la clase universal origina
una serie infinita de clases cuasi-universales para cada tipo y, en cada tipo, naturalmente.
1.4.3. Enfoque axiomtico.
Donde los axiomas restringen lo que sea un conjunto sin necesidad de proporcionar una
definicin directa (Cf. Crosley, J. N., 1972, p.147-148). La teora de conjuntos del matemtico
alemn Ernst Friedrich Ferdinand Zermelo (1871-1953), evita la divisin de las clases pero
impone restricciones en otra direccin. Zermelo establece un repertorio de axiomas destinado
a salvar las paradojas de la teora de conjuntos
4
. A diferencia de los intuicionistas, sigue
considerando la teora de conjuntos como la ms fundamental de los apartados de la
matemtica. Zermelo sugera la necesidad de reconstruirla sobre la base de una serie de
principios capaces de sostener la doctrina generalmente aceptada, pero elegidos de tal modo
que no dieran lugar a contradicciones. A estos efectos, reconoca la imposibilidad de probar la
consistencia de sus axiomas, pero alegaba que estos ltimos permitan al menos soslayar las
antinomias recientemente descubiertas. El rasgo esencial del mtodo propuesto consiste en la
restriccin de la libertad con que Cantor hablaba de conjuntos, dando entrada en la teora slo

4
ber die Grundlagen der Mengenlerhre, Mathematische Annalen, LXV, 1908, pp. 261-81
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
8
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

aquellos conjuntos cuya existencia se halle garantizada por sus axiomas ( (I)determinacin,
(II)conjuntos elementales, (III)seleccin, (IV)conjunto-potencia, (V)conjunto-unin,.
(VI)Eleccin, (VII) Infinitud). En la teora de Zermelo no hay distincin de tipos, pero evitan las
contradicciones conocidas considerando permisibles slo aquellos conjuntos que no sean
demasiado vastos. En particular, el dominio de los conjuntos no puede, a su vez, ser admitido
como un nuevo conjunto ( Kneale, W y M, 1972, pp. 633-635).
1.5 Los conceptos fundamentales de la teora de conjuntos:
1.5.1 Conjunto
La siguiente definicin fue formulada por el creador de la teora de conjuntos, George
Cantor.
a. Definicin 1:
"Un conjunto es una coleccin como totalidad de objetos definidos y distintos de
nuestra intuicin o nuestro pensamiento. Los objetos son llamados los elementos (o
miembros) del conjunto(1932 )
5
.
En este sentido se dice que un conjunto contiene a sus elementos, o que los elementos
pertenecen al conjunto. As, el trmino definido significa que, dado un conjunto C, debera
ser posible decidir para cualquier objeto(al menos en principio) si pertenece o no a C, aun
cuando no podemos de hecho afirmar cul de los dos sea el caso. Distintos significa que
todos los elementos del mismo conjunto son diferentes, es decir que un cierto objeto est o no
contenido en un conjunto dado, pero que no est contenido repetidamente.
Elemento: como cada uno de los objetos definidos y distintos que constituyen un
conjunto.
Pertenencia: es la relacin que se da de los elementos con el conjunto que forman.
Es posible estipular una convencin para simbolizar, conjuntos elementos y pertenencia. Se
utilizan letras minsculas para los elementos, maysculas para los conjuntos y un smbolo
especial para la pertenencia.
De modo que el hecho de que b sea un elemento del conjunto A, se escribir
A b

que se lee "b pertenece a A" y si por el contrario escribimos
A b

se leer "b no pertenece a A", es decir, el objeto b no es un elemento del conjunto A.
1.5.1.1 Definiciones de los conjuntos por extensin o intensin
Un conjunto viene determinado por los elementos que lo componen por lo que una manera de
definir un conjunto, consiste en escribir todos sus elementos; se denomina definicin por

5
Unter einer Menge verstehen wir jede Zusammenfassung M von bestimmten wohluntersshidenen
Objekten m unserver Anschauung order unseres Denkens (welche die Elemente von M genannte warden) zu einem
Gazen(1932). Gesammelte Abhandlugen mathematischen un philosophischen Inhalts. E. por E. Zermelo, Berln. 1961
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
9
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

extensin.
Un conjunto viene determinado por los elementos que lo componen y esto se puede denotar
encerrando entre llaves a sus elementos, si se define por extensin(escribir todos sus
elementos), o su propiedad caracterstica, si se define por comprensin o
intensionalmente..
Ejemplos:
A := {1,2,3, ... ,n} Por extensin
B := {p

Z | p es par} Por intensin o comprensin


Ejemplos por intensin y sus referentes por extensin:
U = { X | X son los das de la semana } = { lunes, martes, mircoles, jueves, viernes,
sbado, domingo }
A = { X | es semana inglesa } = { lunes, martes, mircoles, jueves, viernes };
B = { X | es da impar (empezando con lunes) } = { lunes, mircoles, viernes, domingo }
C = { X | X es el da de la semana, cuya palabra tiene un nmero de letras menor que
9 } = { lunes, martes, jueves, viernes, sbado, domingo }
Ejemplo :
El conjunto S de los nmeros naturales menores que 6, est formado por los nmeros:
0,1,2,3,4 y 5 lo que se indicar con el smbolo:
S = {0,1,2,3,4,5}
verificndose que 0

S y 7

S.
Sin embargo, es falso que {0}

S dada la distincin existente entre el 0 como elemento del


conjunto S y el conjunto que se puede formar con el 0 como nico elemento; aunque todo
conjunto puede ser elemento de otro y as, si se define como conjunto T:
T = {0, 1, 2, 3, 4, 5, {0}}
se puede escribir que 0

T y {0}

T
Ejemplos de conjuntos:
o : el conjunto vaco, que carece de elementos.
o N: el conjunto de los nmeros naturales.
o Z: el conjunto de los nmeros enteros.
o Q : el conjunto de los nmeros racionales.
o R: el conjunto de los nmeros reales.
o C: el conjunto de los nmeros complejos.
1.5.1.2 Conjunto Finito, Infinito
Es posible distinguir distintos tipos de conjuntos. La primera distincin relevante es entre
conjuntos finitos e infinitos en el sentido obvio de que un conjunto C es finito si hay un entero
positivo n, tal que C contienen exactamente n, y no ms, elementos diferentes; de otro modo
C es infinito.
1.5.1.3 Conjunto nulo o vaco
En este sentido, se puede distinguir un conjunto impropio que no contiene miembros en
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
10
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

absoluto. A este conjunto se le denomina: conjunto nulo, o conjunto vaco, y se le denota por
.
Si A es un conjunto cualquiera, la proposicin:

A es falsa, ya que, si fuera verdadera,


habra algn elemento de . que no sera elemento de A, cosa imposible pues no tiene ningn
elemento. Segn los principios de no contradiccin y del tercio excluido es verdadera la
proposicin

A.
1.5.1.4 Subconjunto, propio, igualdad
Definicin I: Si S y T son conjuntos y si todo elemento de S pertenece tambin a T, se
dice que S es un subconjunto de T. En particular, S es un subconjunto propio de T, si T
contiene al menos un elemento que no pertenece a S.
Se escribe S

T (S es un subconjunto de T) o
S

T (S es subconjunto propio de T) y, en caso contrario: A

B.
1.5.1.5 Contener e incluir
Un conjunto contiene sus elementos e incluye sus subconjuntos
1.5.1.6 Igualdad
Se dice que los conjuntos S y T son iguales (S = T) si cada uno es subconjunto del
otro, es decir contienen los mismos elementos. De otra manera se dice que son diferentes ( S

T).
La relacin de igualdad definida aqu no es una identidad en el sentido de Leibniz
(identitas indescernibilium, es decir los objetos que no pueden ser distinguidos unos de
otros son idnticos) de la misma manera que la relacin 2 = 6/3 no expresa identidad. Por
tanto, la definicin no implica necesariamente que siempre que S = T, S y T sean ellos
elementos de exactamente los mismos conjuntos. La relacin = slo denota igualdad de
extensin o extensionalidad. De esto se puede poner por ejemplo que: el conjunto de los
nmeros primos pares es igual al conjunto cuyo nico elemento es 2.
Otro ejemplo surge en el contexto de la historia de las matemticas del siglo XIX. A
principios de ese siglo, se descubri, para la sorpresa del mundo matemtico, que no todas las
ecuaciones algebraicas pueden ser resueltas algebraicamente (esto es, por medio de las
cuatro operaciones elementales y por extraccin de raz), sino, en general, slo las ecuaciones
de grado 1, 2, 3, 4, en otras palabras, el conjuntos G de los grados de las ecuaciones
resolubles en forma general es igual al conjunto F cuyos elementos son los enteros 1, 2, 3 y 4.
Sin embargo, la afirmacin en el siglo XVIII se desconoca si el conjunto G era igual al
conjunto F (es decir, si la ecuacin general de grado 5, por ejemplo, tena o no solucin)
es verdadera. Con todo, si en esta afirmacin reemplazamos G por el conjunto F que le es
igual, se obtiene un absurdo.
De acuerdo con lo estipulado, un conjunto est completamente determinado (en sentido de
distinguirse de otros conjuntos) por la totalidad de sus elementos. Por tanto, el conjunto cuyos
elementos son exactamente a, b, c, d, puede ser y ser denotado por
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
11
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

{a, b, c, d,}
El orden de los elementos dentro de las llaves: { } es arbitrario; por ejemplo, { 1, 2, 3 } = {
3, 2, 1 }. En particular, se sigue que existe un nico conjunto nulo . Si C es infinito, los puntos
() son inevitables y en cada caso particular se asume que si significado es obvio; por
ejemplo, el conjunto de todos los enteros positivos se denota por {1, 2, 3, }, el conjunto de
todos los pares por {2, 4, 6, }. El uso de los puntos tambin es conveniente para conjuntos
finitos que contienen muchos elementos.
Pueden darse ejemplos de conjuntos finitos con cualquier nmero deseado de elementos,
digamos n,
{1, 2, 3 , , n} o { 0, 1, 2,, n-1 }
Un ejemplo sencillo de un conjunto infinito es el con junto de todos los enteros positivos.
Otra instancia aparentemente sencilla o intuitivamente obvia es el continuo por ejemplo el
conjunto de todos los puntos (matemticos) situados en un segmento de un crculo o de una
lnea recta infinita.
TABLA 1
___________________________________________________
Propiedades de la igualdad e inclusin de conjuntos
Reflexiva : A = A y A

A
Simtrica : A = B

B = A
Antisimtrica : (A

A)

A = B
Transitiva : (A = B

B = C )

A = C
A

B y B

C implican A

C
6

Para la ltima propiedad de la tabla anterior: la transitiva de la inclusin resulta de considerar
que si A

B, entonces todo elemento de A pertenece a B; y si B

C, todo elemento de B, y
por tanto los de A, pertenecen a C; luego, A

C.
1.5.1.7 Conjunto potencia, particiones y Conjunto Universo
El conjunto formado por todos los subconjuntos de uno dado A se llama particiones de A, y se
denota P(A), o conjunto potencia de A. Se le denota como
N
2 .
Ejemplos:
a).- Si A = { 1, 2 } como podemos ver el conjunto tiene dos elementos y el conjunto potencia
tendr 4 2
2
= elementos y son:
{ }{ }{ } { } = , 2 , 1 , 2 , 1 2
N

b).- Si ahorra el conjunto N consta de tres elementos el, N = {1,2,3}, el conjunto potencia tendr
8 elementos y son:
{ }{ }{ }{ }{ }{ }{ } { } = , 3 , 2 , 1 , 3 , 2 , 3 , 1 , 2 , 1 , 3 , 2 , 1 2
N

c) Dado el conjunto A = {6,2,8,4,3} el conjunto de todos los subconjuntos de A que se pueden

6
Simbologa:

: conjuncin(y),

: implicacin(si..entonces),

: bimplicacin (si y slo si, equivalencia)


PRINCIPIOS Y MTODOS DE ANLISIS LGICO
12
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

construir con sus elementos, es decir el conjunto potencia, es el siguiente:
N
2 ={ {6},{2},{8},{4},{3},{6,2},{6,8},{6,4},{6,3},{2,8},{2,4},{2,3},{8,4},{8,3},{4,3},
{6,2,8},{6,2,4},{6,2,3},{6,8,4},{6,8,3},{6,4,3},{2,8,4},{2,8,3},{8,4,3},{6,2,8,4},{6,2,8,3},{2,8,4,3,},
{6,8,4,3,},{6,2,4,3,},{6,2,8,4,3},{ }}
Teorema: Si un conjunto N es finito con "n" elementos, entonces su conjunto potencia
N
2
tendr
n
2 elementos.
Cuando en determinado contexto se consideran siempre conjuntos que son partes de uno dado
U, se suele considerar a dicho U como conjunto universo o de referencia.
1.5.1.7.1 Unin e interseccin de conjuntos
La unin (suma) (smbolo:
U
) y la interseccin (producto interior) (smbolo:
I
) de
dos conjuntos C
1
, C
2
se definen, respectivamente como el conjunto que contiene todos los
elementos de C
1
o C
2
(o de ambos) y como el conjunto que contiene todos los elementos que
pertenecen a ambos, a C
1
y a C
2.
La unin corresponde as a la operacin lgica o no
exclusiva (disyuncin; vel en latn) (smbolo:

), y la interseccin a la operacin y
(conjuncin)(smbolo: ). Para garantizar la existencia de la interseccin en todos los caso,
aun cuando C
1
y a C
2
sean ajenos (sin elementos en comn), se debe admitir al conjunto nulo.
Definiciones comprensivas:
A
U
B : = { x | x

B}. Unin
A
I
B := {x | x

B} Interseccin
Las operaciones de unin o interseccin pueden extenderse fcilmente de dos conjuntos a un
nmero finito de conjuntos, a una sucesin infinita de conjuntos (C
1
, C
2,
C
k,
)
7
, e incluso
cualquier conjunto de conjuntos. Ambas operaciones son conmutativas y asociativas, y se
hallan conectadas por dos leyes distributivas.
1.5.1.8 Diferencia, diferencia simtrica y complemento
Dados dos conjuntos A y B, se llama diferencia al conjunto A - B = {a

A | a

B}. Asimismo,
se llama diferencia simtrica entre A y B al conjunto A B = (A - B)
U
(B - A). Si A

P (U),
a la diferencia U - A se le llama complemento de A respecto de U, y se denota
abreviadamente por A' (U se supone fijado de antemano). Si A y B son subconjuntos
cualesquiera de U se verifica:
o ' = U.
o U ' = .
o (A')' = A.
o A

B'

A.
o Si A = {x

U | p(x) es una proposicin verdadera} entonces A' = {x

U | p(x)
es una proposicin falsa}.

7
En una sucesin el orden de los elementos es importante, en contraste con el caso de los conjuntos, donde
el orden es irrelevante; el conjunto Ck arriba mencionado es el elemento k-simo de la sucesin. Los parntesis ( ),
denotan sucesiones.
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
13
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

Si A y B son subconjuntos de un cierto conjunto universal U, entonces es fcil ver que A - B = A
I
B'.
1.5.1.9 Ejemplos
Dados tres conjuntos A, B, C siguientes:

Es posible establecer lo siguiente:
A unin con B y A interseccin con C da como resultado los siguientes conjuntos:

Asimismo A interseccin con B e interseccin con C

El Conjunto Universal para ambos queda definido como el siguiente:

Tambin es posible establecer el conjunto diferencia de A con B y de B con A de la siguiente:
manera:
A -B = {1,3,5}

B - A = {6,8}
1.5.1.10 Actividades sobre conjuntos
1) Desarrolle una respuesta para cada uno de los siguientes puntos.
a) A quien se le considera el padre de la Teora de Conjuntos?
b) Qu es un conjunto?
c) Definir la interseccin entre conjuntos.
d) Cul es la diferencia entre una interseccin y una unin?
e) Cul es la diferencia entre complemento y diferencia de conjuntos?
f) Cul es conjunto formado por la interseccin de los conjuntos {e, x, i, t, o} y {t, r, i, u, n, f,
o}?
g) Representa la unin de los conjuntos {e, x, i, t, o} y {t, r, i, u, n, f, o}
h) Cul es la interseccin de los siguientes conjuntos: A= {l, u, n, a} y B= {t, r, i, u, n, f, o}
i) Obtener la diferencia A - B si A = {c, o, r, a, z, n} y B = {h, i, p, e, r, t, n, s, o}
2.- Cules de los siguientes conjuntos son: vacos, unitarios, finitos, infinitos?
a) A = { x I x es da de la semana}
b) B = { vocales de la palabra conjunto}
c) C = { 1, 3, 5, 7, 9, . . . . .}
d) D = {x I x es un nmero par}
e) E = {x I x < 15}
1.5.1.11 Propiedades de las operaciones booleanas entre conjuntos
En este caso, las llamadas operaciones booleanas (unin e interseccin) verifican las
siguientes propiedades:
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
14
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr


PROPIEDADES

UNION

INTERSECCION
1.- Idempotencia
A

A = A A

A = A
2.- Conmutativa
A

B = B

A A

B = B

A
3.- Asociativa
A

( B

C ) = ( A

B )

C A

( B

C ) = ( A

B )

C
4.- Absorcin
A

( A

B ) = A A

( A

B ) = A
5.- Distributiva
A

( B

C ) =
( A

B )

( A

C )
A

( B

C ) =
( A

B )

( A

C )
6.- Complementariedad
A

A' = U A

A' =
Estas propiedades hacen que partes de U con las operaciones unin e interseccin tenga una
estructura de lgebra de Boole. Adems de stas, se verifican tambin las siguientes
propiedades:
A

= A,
A

=
Elemento nulo
A

U = U,
A

U = A
Elemento universal
(A

B )' = A'

B'
( A

B )' = A'

B'
Leyes de Morgan
1.5.1.12 Tablas de membresa
Las identidades entre conjuntos se pueden demostrar utilizando tablas de membresa.
Consideramos cada combinacin de conjuntos a la que puede pertenecer un elemento y
verificamos que los elementos de una misma combinacin de conjuntos pertenecen a ambos
conjuntos de la identidad. Para indicar que un elemento pertenece a un conjunto se usa un 1.
Para indicar que elemento no est en el conjunto se usa un 0. As es posible establecer las
siguientes tablas de verdad:
Tabla de Membresa para A
(Complemento de A)
A A
1 0
0 1

Tabla de Membresa para B A
A B
B A
1 1 1
1 0 1
0 1 1
0 0 0

PRINCIPIOS Y MTODOS DE ANLISIS LGICO
15
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

Tabla de Membresa para B A
A B B A
1 1 1
1 0 0
0 1 O
0 0 0
Con base en las tablas de membresa anteriores para conjuntos complementarios, unin o
interseccin es posible probar identidades, para cualquier conjunto dado. As para probar:
, se realiza la siguiente tabla de membresa:
A B C





1 1 1 1 1 1 1 1
1 1 0 1 1 1 0 1
1 0 1 1 1 0 1 1
1 0 0 0 0 0 0 0
0 1 1 1 0 0 0 0
0 1 0 1 0 0 0 0
0 0 1 1 0 0 0 0
0 0 0 0 0 0 0 0
Esta tabla de membresa anterior, muestra combinaciones de conjuntos. Esta tabla tiene ocho
filas. Como las columnas: y son idnticas, entonces la
identidad es vlida.
Otra identidad que puede ser probada por una tabla de membresa es la siguiente:
) ( C B A =( ) ( ) C A B A :
A B C C B ) ( C B A
B A C A ( ) ( ) C A B A
1 1 1 1 1 1 1 1
1 1 0 0 1 1 1 1
1 0 1 0 1 1 1 1
1 0 0 0 1 1 1 1
0 1 1 1 1 1 1 1
0 1 0 0 0 1 0 0
0 0 1 0 0 0 1 0
0 0 0 0 0 0 0 0
En este caso es posible comparar la columna de: ) ( C B A y la de ( ) ( ) C A B A y
se puede descubrir que son las mismas, por lo tanto se cumple la identidad. En caso contrario
no lo seran. As por ejemplo B A C A , se demuestran su no identidad por la tabla de
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
16
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

membresa anterior, pues las columnas no son las mismas. Y as en lo sucesivo se pueden
realizar o no por medio de tablas de membresa, prueba de identidad o no identidad para
cualquier otro conjunto (Cfr. Rosen, K., 2003, pp. 71-87; Gill, A., 1976, pp. 11-15).
1.5.1.12.1 Actividad. Prueba por tablas de membresa.
Probar por medio de tablas de membresa las propiedades sobre las operaciones booleanas
entre conjuntos, establecidas en la tabla anterior.
1.5.1.13 Correspondencia y mapeo
Si cada elemento t de un conjunto T, hablamos de una correspondencia univalente
(unvoca). No obstante, el mismo t puede corresponder a diferentes elementos s, como en el
caso de la relacin padre e hijo ( t es el padre de s). Aun cuando esta clase de correspondencia
es fundamental para la teora de las funciones (funcin univalente), en lo que sigue estaremos
mucho ms interesados con una especializacin adicional, a saber, correspondencias uno a
uno (biunvocas), por medio de las cuales un nico t de T corresponde a cada s de S y, ms
an, un nico s corresponde a cada t; esto es, los miembros de S pueden ser apareados con
aquellos de T. En otras palabras, la correspondencia univalente es entonces tambin invertible
en forma nica.
La correspondencia entre esposos y esposas es biunvoca en una sociedad monogmica
pero slo unvoca en un polindrica. A la correspondencia uno a uno de los miembros de T con
aquellos de S se llama tambin un mapeo de T sobre S, o entre S y T. La ltima expresin se
justifica por la simetra entre S y T, basada en el carcter biunvoco de la correspondencia.
1.5.1.14 Equivalencia
Definicin: S es equivalente a T, en smbolos
S T
, si existe un mapeo del conjunto T
sobre el conjunto S.
Obviamente, cualquier conjunto es equivalente a s mismo (
S S
); ms an,
S T
implica
T S
dada la simetra del mapeo. De las relacione
S T
s y
T U
se sigue que
S U
en
vista de la existencia de mapeos simultneos de S sobre T y de T sobre U. Estas tres propiedades
de
S T
se expresan definiendo que la relacin de equivalencia como: reflexiva, simtrica y
transitiva. Claramente, la relacin de igualdad tiene estas mismas tres propiedades.
Debido a la simetra,
S T
pueden tambin expresarse diciendo que S y T son
equivalentes.
Si S contiene ms de un miembro, entonces varios mapeos entre S y cualquier conjunto
equivalente, y habr un nmero infinito de ellos en caso de que S sea un conjunto infinito.
Si S contienen ms de un miembro, entonces existen varios mapeos entre S y cualquier
conjunto equivalente, y habr un nmero infinito de ellos en caso de que S sea un conjunto infinito.
1.5.1.14.1 Propiedades y relaciones
x es un nmero primo es una propiedad (de enteros x) o en trminos generales un
predicado mondico.
x y
y x es menor que y son predicados didicos o, por concisin,
relaciones (binarias). Esta distincin entre las proposiciones no se revela por lo general en la
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
17
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

estructura gramatical de las proposiciones correspondientes y as fue pasado por alto por los
lgicos, desde Aristteles hasta la segunda mitad del siglo XIX. Slo con el desarrollo de la lgica
simblica, y en particular debido al trabajo de Bertrand Russell, percibieron los matemticos y los
lgicos la diferencia fundamental entre propiedades y relaciones ( binarias, ternarias, n-arias).
Relaciones ternarias son, por ejemplo, expresiones tales como x + y = z o y se encuentra
entre x y z (donde x, y, z, son puntos en una lnea).
La distincin entre una propiedad y una relacin (binaria) puede hacerse notar en la siguiente
historia jocosa. Una mujer visita a su amiga que a dado a luz unos gemelos y dice tus criaturas
estn tan preciosas , en particular la de la izquierda. Ms tarde otra amilla llega y dice tus
criaturas son tan parecidas, en particular la de la izquierda. Gramaticalmente, los dos enunciados
tienen la misma estructura, pero, ser precioso es una propiedad y ser parecido es una relacin.
1.5.1.14.2 Conjuntos equivalentes y nmeros cardinales
La importancia del concepto de correspondencia uno a uno para el concepto de nmero,
entendiendo por ello nmero cardinal finito, fue sealada por Descartes, y ms notablemente por
Hume. As, el nmero cardinal 5 es comn a todos los conjuntos que son equivalentes al
conjunto de los dedos de una mano humana, o equivalentes al conjunto {0,1,2,3,4}. Habiendo
admitido al conjunto vaco , tambin admitimos al nmero 0 como el cardinal de .
Definicin de cardinalidad (primera aproximacin) A: Conjuntos equivalentes tienen
cardinales iguales y, conversamente, todos los conjuntos con cardinales iguales son
equivalentes.
No obstante, esta primera definicin no hace una definicin explcita de nmero cardinal.
Cantor trat de remediar esta deficiencia por medio de una definicin por abstraccin
8
, que
dice: El trmino cardinal significa el concepto que a travs del proceso de pensamiento
se deriva de un conjunto C, al hacer abstraccin de la cualidad de los miembros de C y del
orden en que son dados El resultado de este doble acto de abstraccin el cardinal o
potencial de C, se denota por
C

Definicin de cardinalidad (segunda aproximacin) B: El cardinal de C es el conjunto de
todos los conjuntos que son equivalentes a C.
Esta definicin se origin en Frege (1884) y Russel (1903/10). No obstante puede conducir a
inconvenientes crculos viciosos, tpico de las paradojas, similares suscitadas a partir de la
definicin de Conjunto de Cantor. En este sentido se han plateado varias objeciones provenientes
de algunos filsofos contra la Definicin A o la B, queda tan slo el punto respecto a la B de que
difcilmente definira ordinariamente se entiende por nmero cardinal y, por lo tanto, que la
definicin no sera aplicable. Esta objecin revela una completa incomprensin de la naturaleza
de una definicin. No se trata de una afirmacin que pueda ser verdadera o falsa, sino de una
estipulacin que, en principio, es arbitraria y puede venir a ser ms o menos til. La definicin B,
a pesar de su novedoso carcter, puede usarse muy fcilmente. En cuanto a su naturaleza

8
Las definiciones por abstraccin, usadas esencialmente ya por Leibniz, constituyen una importante
especializacin de un tipo general de definiciones algunas veces llamadas definiciones matemticas constructivas.
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
18
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

abstracta, esto lo comparten las definiciones de conceptos tales como continuo, dimensin y
otros. Se haban considerado estos conceptos como intuitivamente claros pero, debido al creciente
desarrollo de la ciencia, se vio que requeran de un anlisis profundo. A propsito, e analoga con
B, un nmero real se define como un conjunto infinito de nmeros racionales.
Tanto en la Definicin A como en la Definicin B no se ha hecho ninguna asuncin respecto al
carcter finito de los conjuntos implicados, ambas son tambin adecuadas para definir los
cardinales de conjuntos infinitos, usualmente llamados cardinales transfinitos en contraste con
los cardinales finitos 0, 1, 2, 3, Pero la posibilidad de definir los cardinales transfinitos de esta
manera no implica que este concepto tenga un significado real.
1.6 Diagramas de Euler-Veen
Un diagrama de Euler-Venn tiene como fin representar clases de objetos o de cosas, que como
elementos de un conjunto tienen alguna caracterstica en comn. As por ejemplo, puede
pensarse en el conjunto de las letras que tienen en comn ser vocales: { } u o i e a , , , , ,cuyo
respectivo diagrama conjuntista sera:


Originalmente Leonard Euler propuso el siguiente tipo de diagramas para representar las
clases S y P:

El problema de los diagramas de Euler es que algunas veces las proposiciones categricas
enlazan dos trminos de igual extensin. En este caso, el modelo debera ser un crculo con
otros dos crculos concntricos de igual radio. Por ello, acabaron por imponerse los diagramas
de Venn.
1.6.1 Conjuntos y Diagramas de Veen
John Venn (1834-1923) en su libro Lgica Simblica, clarifica ideas presentadas originalmente
por Boole. En este libro presenta un desarrollo sistemtico de un mtodo de un mtodo que
utiliza figuras geomtricas, conocido como diagramas de Venn. Hoy da estos diagramas son
una herramienta primordial para analizar argumentos lgicos e ilustrar relaciones entre
conjuntos.
En este mismo sentido la teora intuitiva de conjuntos acude a los diagramas de Veen para
realizar las representaciones de sus objetos. As, los conjuntos de suelen representar
grficamente mediante "diagramas de Venn", con una lnea que encierra a sus elementos. As,
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
19
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

todas las operaciones entre conjuntos se pueden representar grficamente con el fin de
obtener una idea ms intuitiva. Los siguientes, son una serie de diagramas, que utilizan los
mtodos tradicionales en Teora de Conjuntos, que supone que cada crculo simboliza una
clase, si este crculo se encuentra vaco, se trata de una clase sin elementos y se ha sido
rellenada o coloreada, entonces esa clase se considera no vaca. Esta convencin no
diferencia entre clases totales y clases con algn o algunos elementos.
Elementos de A:

{ } A x x A = |
Subconjunto A de B: B A

{ } B x A x x B A = |
Unin entre A y B: B A :


Unin entre A, B y C: C B A

{ } C x B x A x x C B A = |



PRINCIPIOS Y MTODOS DE ANLISIS LGICO
20
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

Interseccin entre A y B:


Interseccin entre A y B: = B A


{ } B x A x x B A = |
Interseccin entre A, B y C: C B A

{ } C x B x A x x C B A = |
Diferencia de A con B: A B:


Diferencia de B con A: B A

{ } B x A x x A B = |
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
21
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

Complemento de A, con A:


{ } U x A x x A = |
Complemento del complemento de A: ( A ):

( ) A A =


Casos derivados:
Interseccin de C con A :

A C
El caso: ( ) C B A , sera el siguiente:

1.6.1.1 Actividades sobre conjuntos
1. Por medio de los diagramas de Venn, represente los siguientes conjuntos:
a) C B A
b) C B A
c) ( ) C B A
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
22
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

d) ( ) C B A
e) ( ) B A C
2. Determinar por medio de diagramas de Venn, si se cumplen las siguientes
igualdades
a) ) ( C B A =( ) ( ) C A B A
b)
c) ( ) ( ) ( ) B A B A B A B A =
d) ( ) B A C B A =
e) ( ) ( ) = B C C A
1.6.2 Adecuacin de los diagramas de Veen
Con el propsito de poder dar cuenta de las diferencias entre clases vacas, indefinidas y
clases con algn y algunos elementos se reformular la diagramacin anterior, -en el contexto
de la propuesta de Venn y para dar cuenta de las formulaciones algebraicas de George Boole-,
introduciendo las siguientes convenciones.
Conjunto Complementario. En el diagrama, el rea exterior del crculo indica la presencia de
todos aquellos individuos que no son S. En el diagrama ese hecho lo denota
_
S
o tambin
como ~S, es decir No-S o complemento de S.

Conjunto Universo. El conjunto universal (o universo), Universo-discurso o dominio es
denotado por U. Este puede ser asumido como el Super-conjunto, o unin entre el conjunto S
y
_
S
(S y su complemento):





PRINCIPIOS Y MTODOS DE ANLISIS LGICO
23
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

Clase Neutra. Este Diagrama de Venn representa a la clase neutra de los S. En el caso de que
existan, los miembros de ese crculo, seran siempre S.
.
Clase vaca. El sombreado interior del crculo nos indica que no contiene nada. Es decir, el
crculo est vaco de individuos que sean S.

Clase no vaca. La presencia de la "x" en el interior del crculo nos indica que existe al menos
un elemento en la clase S, es decir, que la clase de los S no est vaca.


1.6.3 Bibliografa sobre Teora de Conjuntos
Boole, George (1984).El anlisis lgico de la matemtica. Madrid: Ediciones Ctedra.
Ferrater Mora, J. y H. Leblanc (1955). Lgica Matemtica. Mxico: Fondo de Cultura
Econmica.2da ed.(1962/83)p.164
Feys, R., F. B. Ficht (1980).Los smbolos de la Lgica Matemtica. Madrid: Paraninfo
Fraenkel, A. (1959/66). Teora de Conjuntos y Lgica. Mxico: UNAM, 1976
Garrido, Manuel (1974).Lgica Simblica. Madrid: Editorial Tecnos, S.A. 6ta reimpresin:
1983.
Gill, A.(1976).Applied Algebra for the Computer Sciences. USA. Prentice Hall International Inc.
Gngora, Enrique (1983).Introduccin al pensamiento Lgico Matemtico. San Jos: EUNED.
Freund, Max (1983).La concepcin semntica de la verdad en: Conocimiento y poder. San
Jos: Editorial Nueva Dcada
Heijenoort, J. V.(1967) From Frege to Gdel U.S.A. Harvard University Press.
Heijennoort, J. V. Logical Paradoxes en: Edwars , Paul(Ed)(1967). The Encyclopedia of
Philosophy. New York: Macmillan Publisihing Co, Inc, The Free Press. Reprint Edition 1972
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
24
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

Kneale, William y Marta(1961).El Desarrollo de la Lgica. Madrid: Editorial Tecnos.1ra.
ed.(1972/1980).
Quine, W.V.O.(1966). The ways of Paradox en: The ways of paradox and other essays New
York: Random House.
Quine, W. V. O.(1970). Filosofa de la lgica Madrid: Alianza Editorial, S. A. Cuarta Edicin:
Alianza Universidad:1984
Ramsey, F.P.(1925). Los fundamentos de la matemtica. en: Los fundamentos de la
Matemtica y otros ensayos sobre lgica. Santiago: Universidad de Chile. 1968
Suppes, Patrick (1960) Teora axiomtica de conjuntos. Cali: Editorial Norma. 1968.
Hamilton, A.G.(1981). Lgica para matemticos. Madrid: Paraninfo
Hilbert, D. y W. Ackerman (1972). Elementos de lgica terica. Madrid: Editorial Tecnos. 2da
edicin 1975
Lipschutz, S.(1980).Matemticas para computacin. Mxico: McGraw Hill. 1992.
Mates, Benson (1965). Lgica matemtica elemental. Madrid: Editorial Tecnos, 1987.
Kowalski, R.(1979). Lgica, Programacin e Inteligencia Artificial. Madrid: Ediciones Das de
Santos, S.A.
Rodrguez, R.(1995). El mundo de la lgica: de la paradoja a la verdad. San Jos: EIDOS.
Rosen, K. H. (2003). Matemtica Discreta y sus aplicaciones. Madrid: McGraw-Hill.
Rooss, Keneth A. y Ch. R. B. Wright (1986). Matemticas Discretas. Mxico: Prentice Hall
Hispanoamericana, S.A.
Rossley,J.N. et al.(1972). Qu es la lgico matemtica? Madrid: Tecnos S.A. 1988.
Smullyan, R.(1992).Satn, Cantor y el Infinito. Barcelona: Editorial Gedisa, S.A.
2 Proposiciones categricas, conjuntos y diagramas de Veen
Existen cuatro formas tpicas de proposiciones categricas clasificadas por cualidad
(Afirmativa/Negativa) o cantidad (Universal/Particular):
Universal
Afirmativa

Universal
Negativa

Particular
Afirmativa
Particular
Negativa

A E I O
Todos los tiburones
son carnvoros
Ningn tiburn es
vegetariano
Algunos tiburones
son carnvoros
Algunos tiburones no
son vegetarianos
Esquemticamente:
Todos los tiburones son carnvoros
Todo S es P
Cuantificador Sujeto cpula Predicado
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
25
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

2.1.1 Cuadro de proposiciones categricas simplificadas
A E
Todos S es P Ningn S es P
I O
Algn S es P Algn S no es P
2.1.2 Distribucin
Un trmino de una proposicin se dice que es DISTRIBUIDO si el enunciado se refiere a todo
tem de su categora. Una proposicin distribuye un trmino si se refiere a todos los miembros
de la clase designada por ese trmino. El trmino sujeto de una proposicin A est distribuido
en (o por) esta proposicin, mientras que su trmino predicado no est distribuido en (o por)
ella. Lo anterior significa que Todo Se es P quiere decir que Todo vale para S, pero no vale
para P. Otro caso distinto: Ningn atleta es fumador (E). Aqu se excluye a la totalidad de la
clase de los atletas de la clase de los fumadores. Sin embargo tambin se dice que la totalidad
de los fumadores est excluida de la clase de los atletas, por lo tanto el cuantificador ningn
se distribuye tanto en el Sujeto como en el Predicado. As sucede que la verdad de Ningn
Atleta es fumador, implica la verdad de que Ningn fumador es Atleta y viceversa.
A continuacin el cuadro de distribucin de las proposiciones categricas:
PROPOSICIN MODO S P
Todos los S son P
Algunos S son P
Ningn S es P
Algunos S no son P
A
I
E
O
Distribuido
No distribuido
Distribuido
No distribuido
No distribuido
No distribuido
Distribuido
Distribuido
2.2 Contenido existencial del las proposiciones categricas
Se dice que una proposicin tiene contenido existencial cuando denota la existencia de
objetos de alguna clase especifica. En este sentido, una proposicin tiene un rango
extensional determinado por las propiedades semnticas de la conjuncin de los rasgos
semnticos de sus trminos constitutivos. As, la proposicin hay rosas en el jardn se le
asigna un contenido ntico-existencial a sus trminos, mientras que la proposicin No hay
unicornios azules no lo tiene. Por otro lado en el caso, las enunciacin proposiciones
particulares, establece un compromiso ntico, pues subdetermina el contenido existencial de al
menos un elemento de las clases denotadas por sus trminos. La proposicin Algunos
mamferos son acuticos afirma que existe al menos un mamfero que es acutico. Y la
proposicin: Algunos mamferos no son acuticos afirma que existe al menos un mamfero
que no es acutico. Ambas proposiciones particulares afirman que las clases designadas por
sus trminos sujetos no son vacas, esto es, tienen miembros.
Excepciones aparentes a lo anterior, son enunciadas tales como En las obras de
Shakespeare aparecen algunos fantasmas y En La Ilada se describe algunos dioses
griegos. Estos enunciados son verdaderos a pesar del hecho de que no hay fantasmas ni
dioses griegos. Pero un poco de reflexin revelar que esas aparentes excepciones estn
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
26
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

formuladas de una manera engaosa. Esos enunciados no afirman realmente la existencia de
fantasmas o de dioses griegos; lo que afirman es solo que hay otras proposiciones que se
afirman o que se hallan implcitas en las obras de Shakespeare y en La Ilada. Las
proposiciones de Shakespeare y de Homero pueden no ser verdaderas, pero ciertamente es
verdad que sus escritos contienen dichas proposiciones o las implican. Y es solo esto lo que lo
afirman las aparentes excepciones. Fuera de estos contextos literarios o mitolgicos bastante
poco comunes, las proposiciones I y O tienen contenido existencial (Cfr. Copi, 1953/61,
pp. 191-195).
Si se admite que la proposiciones I y O tienen contenido existencial, entonces se
desprende del Cuadro de oposicin tradicional que las proposiciones A y E tambin
tienen contenido existencial.
En efecto, si I se sigue validamente de la correspondiente proposicin A por
subalternacin, entonces I afirma existencia, y por ende A tambin debe afirma
existencia. Anlogamente, E debe de tener contenido existencial, si O lo tiene. El
contenido existencial de A y E tambin se desprende del I y O, si admitimos la validez de
la conversin por limitacin de A y de la contraposicin por limitacin de E.
En este punto surge una dificultad. Si las proposiciones A y O correspondientes tienen
contenido existencial, entonces pueden ser ambas falsas. Si Todos los osos polares de
la Antartida son blancos y Algunos osos polares de la Antartida no son blancos afirma
que existen Osos Polares en la Antartida, entonces ambas son falsas si en la Antartida no
hay osos polares. Y si las proposiciones A y O pueden ser ambas falsas, entonces no
son contradictorias. Entonces: hay algo errneo en el Cuadro de Oposin tradicional?. Al
parecer, si es correcto que la subalternante A y E implican a las subalternas I y O, entonces se
equivoca al sostener que las proposiciones A y O correspondientes son contradictorias.
Tambin parece equivocado al sostener que I y O son subcontrarias.
Es posible argumentar favorablemente o rehabilitar el Cuadro de Oposicin tradicional, as
como la conversin por limitacin y la contraposicin limitacin introduciendo el concepto
de presuposicin. Algunas preguntas (complejas) pueden ser respondidas por un s o un
no slo si se presupone que ya se ha dado una respuesta definitiva a una pregunta
anterior. As, puede darse razonablemente una respuesta por s o por no a la pregunta
Gast usted el dinero que rob? slo si se admite la presuposicin de que usted rob
algn dinero. Anlogamente puede decirse que las cuatro proposiciones categricas de
forma tpica presuponen que las clases a las que se refieren tienen miembros. Esto es,
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
27
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

las preguntas acerca de la verdad o falsedad y de las relaciones lgicas existentes entre ellas
slo son admisibles si se presupone que ya ha sido respondida por al afirmativa la pregunta
existencial. Si se hace esta presuposicin general de que todas las clases designadas por
los trminos (y sus complementos) tienen miembros, entonces la conversin y la
contraposicin por limitacin son vlidas, y lo son las relaciones establecidas en el Cuadro
de Oposicin tradicional: A y E son contrarias, I y O son subcontrarias, las subalternas se
infieren vlidamente de sus subalternantes, y A y O son contrarias, as como E e I. (Cfr. Copi,
1953/61, pp. 191-195).
Para Aristteles, los grupos de elementos que componen los trminos de las proposiciones
categricas no podas ser clases vacas. Siempre existiran representantes de dichas clases.
La presuposicin existencial necesaria y suficiente para la correccin de la lgica aristotlica
tradicional se hallan en estrecho acuerdo con el uso castellano ordinario en muchos casos. Si
por ejemplo, que se afirma que Todos las fresas sobre la mesa son de Mara , y luego
miramos la mesa y encontramos que no hay ninguna fresa sobre la mesa. Tpicamente, no se
considera que este hecho hace verdadera la proposicin, ni tampoco que la hace falsa. Ms
bien se presupondra ms que no hay fresas sobre la mesa, indicando en este caso particular
la presuposicin existencial era equivocada.
Hay, sin embargo, varias objeciones que hacer a esa presuposicin existencial de carcter
general. En primer lugar, aunque conserva las relaciones tradicionales entre proposiciones
categricas, lo hace a costa de reducir su poder de hacer afirmaciones. La presuposicin
existencial hace imposible para toda proposicin categrica de forma tpica negar la
existencia de miembros de las clases designadas por sus trminos. En segundo lugar,
presuposicin existencial no est en completo acuerdo con el uso ordinario. Por ejemplo,
la proposicin Todos los transgresores sern penados por la ley, lejos de presuponer que
la clase de los transgresores tienen miembros, habitualmente se la entiende como dirigida a
asegurar que la clase es vaca. Y en tercer lugar, a menudo se razona sin hacer ninguna
presuposicin de existencia. En fsica, por ejemplo, la primera ley del movimiento de Newton
afirma que: todo cuerpo sobre el cual no actan fuerzas externas persiste en su estado
de reposo o de movimiento uniforme rectilneo. Pero ningn fsico desea presuponer que
existen realmente cuerpos sobre los que no actan fuerzas externas(Cfr. Copi, 1953/61, pp.
191-195).
Sobre la base de objeciones como stas, la lgica formal moderna renuncian a hacer
presuposicin existencial general, aunque su decisin los obliga a abandonar parte de la lgica
aristotlica tradicional. En contraposicin a la interpretacin tradicional o aritetolica, el
tratamiento moderno de las proposiciones categricas de forma tpica es llamado Booleano
por el lgico y matemtico ingles George Boole (1815-1864), uno de los fundadores moderna
lgica simblica. Entonces, el contexto de la lgica formal moderna, la existencia de una
clase o conjunto no implica necesariamente la existencia de individuos, por lo que las clases o
conjuntos pueden ser conjuntos vacos.
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
28
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

En la interpretacin booleana las proposiciones I y O tienen contenido existencial, de modo
que cuando la clase S es nula, las proposiciones Algn S es P y Algn S no es P son
falsas. Las proposiciones universales A y E son consideradas como las contradictorias de
las proposiciones O e I, respectivamente. Si S es una clase nula, ambas proposiciones
particulares son falsas y sus contradictorias Todo S es P y Ningn S es P ambas son
verdaderas. En la interpretacin booleana se considera que las proposiciones
universales no tienen contenido existencial. Sin embargo, una proposicin universal
formulada en castellano ordinario que afirma existencia puede ser representada en la
formulacin booleana. Para lograr esto, se usan dos proposiciones, la universal booleana no
existencial y la correspondiente particular existencial (Cfr. Copi, 1953/61, pp. 191-195).
Esto significa que la proposiciones A y E pueden ser ambas verdaderas, y por lo tanto, no
son contrarias, y que las proposiciones I y O pueden ser falsas y, por consiguiente, no son
subcontrarias. Adems, puesto que A y E pueden ser verdaderas e I y O falsas, las
inferencias basadas en la subalternacin no son vlidas; esto significa que las relaciones
representadas por las diagonales (contradictorias), es lo que queda del Cuadro de
Oposicin Tradicional. La obversin sigue siendo vlida aplicada a cualquier proposicin,
pero la conversin (y la contraposicin) por limitacin debe de ser considerada como
invlida en general. La conversin mantiene su validez para las proposiciones E e I y la
contraposicin para las proposiciones A y O.
Si no se afirma explcitamente que una clase tiene miembros, errneo sera suponer que los
tiene. De todo razonamiento que cometa este error se dir que comete la falacia
existencial. (Cfr. Copi, 1953/61, pp. 191-195).
2.2.1.1 Actividad. Falacias existenciales
A luz del examen precedente del contenido existencial, explicar en qu paso (o pasos)
los siguientes razonamientos comenten falacia existencial:
I. 1) Ningn matemtico ha cuadrado el crculo.
Por lo tanto, 2) Nadie que halla cuadrado el crculo es un matemtico.
Por lo tanto 3) Todos los que cuadrado el crculo son matemticos.
Por lo tanto 4) Algn no-matemtico ha cuadrado el crculo.
II 1) Ningn ciudadano ha logrado lo imposible.
Por lo tanto 2) Nadie que haya logrado realizar lo imposible es un ciudadano.
Por lo tanto 3) Todos los que han logrado realizar lo imposible son no-ciudadanos.
Por lo tanto 4) Algunos que han logrado realizar lo imposible son no-ciudadanos.
III 1) Ningn acrbata puede levantarse a s mismo por los cordones de sus zapatos.
Por lo tanto, 2) Nadie que pueda levantarse a s mismo por los cordones sus zapatos.
Por lo tanto, 3) Alguien que puede levantarse a s mismo por los cordones de sus zapatos
no es acrbata. (De la cual se deduce que hay al menos un ser que puede elevarse a s
mismo por los cordones sus zapatos).
IV 1) Es verdad que: Ningn unicornio es un animal que se encuentra en el
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
29
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

Zoolgico Bronx.
Por lo tanto, 2) Es falso que: Todos los unicornios son animales que se encuentran en el
Zoolgico Bronx.
Por lo tanto, 3) Es verdad que: Algunos unicornios no son animales que se encuentran el
Zoolgico Bronx . (Del cual se desprende que existe al menos un unicornio).
V. 1)Es falso que: Algunas sirenas son miembros de clubes de estudiantes.
Por lo tanto, 2) Es verdad que: Algunas sirenas no son miembros de clubes de
estudiantes.(Del cual se desprende que existe al menos una sirena).
(Cfr. Copi, 1953/61, pp. 191-195).
2.3 Representacin simblica para las proposiciones categricas
Dada que la interpretacin booleana de las proposiciones categricas dependen
estrechamente de la nocin de clase nula, es conveniente tener un smbolo especial para
representarla. Se utiliza con este propsito el smbolo para afirmar que la clase designada
por el termino S no tiene miembros, se escribe entonces un signo de igualdad entre S y .
As la ecuacin = S afirma que no hay ningn S, o sea que S no tiene miembros.
Afirmar que la clase designada por S tiene miembros equivocados, equivale a negar que sea
vaca. Afirmar que hay al menos un elemento de S es negar la proposicin simbolizada por
= S . Simbolizamos esta negacin cruzando con una raya oblicua el signo de igualdad.
La desigualdad: S afirma que hay al menos un S mediante la negacin de que S sea
nula.
Las proposiciones categricas de forma tpica se refieren a dos clases y, por
consiguiente, las ecuaciones que la representan son un poco ms complicadas. Si cada
una de las clases tiene ya un smbolo que la s designa, la clase de todas las cosas que
pertenecen a ambas puede representarse colocando uno junto al otro los smbolos de las
clases originales. Por ejemplo si la letra S designa la clase de todas las stiras y la letra P la de
todos los poemas, entonces la clase de todas las cosas que son al mismo tiempo stiras y
poemas se representa con el smbolo SP, que designa la clase de todos los poemas satricos
(o de todas las stiras poticas). La parte comn, o los miembros comunes, a las dos clases es
llamada el producto o la interseccin de las clases. El producto de las dos clases es la clase
de todas las cosas que pertenecen a ambas. El producto de la clase de todos los americanos y
la clase de todos los marineros es la clase de todos los marineros americanos.
Esta nueva nocin permite simbolizar las proposiciones E y I en forma de ecuaciones y
desigualdades. La proposicin: E: Ningn S es P afirma que ningn miembro de la clase de
S es miembro de la clase P, esto es, que no hay cosas que pertenezcan a las dos clases. Esto
puede formularse de otra manera, diciendo que el producto de las dos clases es vaco; lo cual
se simboliza con la ecuacin = SP . La proposicin I Algn S es P afirma que al menos
un miembro de la clase S es tambin miembro de la clase P. Esto significa que el producto de
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
30
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

las clases S y P no es vaco, lo cual se simboliza mediante la desigualdad SP . Con el
objeto de simbolizar las proposiciones categricas A y O es conveniente introducir un nuevo
mtodo para representar los complementos de las clases. El complemento de la clase de
todos los ovparos es la clase de todas las cosas que no son ovparos, la clase de todos los no-
ovparos. Si la letra S simboliza la clase de todos los ovparos, simbolizaremos la clase de los
no-ovparos por: S (lase no S), o sea mediante el smbolo de la clase original con una
raya encima. La proposicin: A: Todo S es P afirma que todos los miembros de la clase S
son tambin miembros de al clase P, es decir, que no hay ningn miembro de la clase S
que no sea miembro de P, o (por obversin) que Ningn S es no-P. Esta, como toda la
proposicin E, afirma que el producto de las clases designas por sus trminos sujeto y
predicado es vaco; se lo simboliza por la ecuacin = P S . De la proposicin O Algn
S no es P se obtiene por obversin la proposicin lgicamente equivalente Algn S es
no-P, que se simboliza por la desigualdad P S (Cfr. Copi, I., 1953/72, pp. 191-202).
En sus formulaciones simblicas, las relaciones entre las cuatro proposiciones categricas de
forma tpica aparecen con gran claridad. Cuando se simboliza las proposiciones A y O como:
= P S y P S , respectivamente, es obvio que son contradictorias, como es
igualmente obvio que las proposiciones E e I: SP y = SP son contradictorias.
Esta es la interpretacin que adopta la lgica contempornea y as el cuadro de oposiciones
aristotlico pierde las aristas laterales, es decir, para las proposiciones categricas universales
A y E no tienen contenido existencial, pero lo tienen las categricas particulares I, O, pues la
versin algebraica desarrollada por George Boole en su libro: The Mathematical Anlisis of
Logia, being essay towards a calculus of deductive reasoning en 1847(Cfr Boole, G., 1984, pp.
53-86), la representacin mediante una desigualdad, la cual seala que no es vaca la
interseccin de las dos clases, esto es en el caso de la I: Algunos S son P, representadas
como: SP y la O: Alguno S no son P: P S , entonces de la verdad de las
proposiciones categricas universales no se sigue la verdad de las respectivas proposiciones
categricas particulares, es decir, desaparece la relacin de subalternacin. Pero si adems la
clase S es vaca, entonces es verdadero tanto SP como = P S . De esto se
sigue que, a diferencia del cuadro de oposicin aristotlico, ahora podrn ser verdaderos a la
vez las proposiciones categricas A y E y falsas las proposiciones categricas particulares, I,O,
por lo que ya no habr proposiciones categricas contrarias ni subcontarias, as como
tampoco valdr la relacin de subalternacin. El cuadro, es reducido a sus dos grandes
diagonales, esto es, sigue habiendo enunciados contrarios: A y O, por una parte, y E e I por la
otra.


PRINCIPIOS Y MTODOS DE ANLISIS LGICO
31
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr


El cuadro de oposicin a partir de la formulacin booleano puede representarse as:

(Cfr. Robles Garca, 1995, pp. 60-62)
2.4 Diagramacin para las proposiciones categricas
Se puede representar diagramticamente las proposiciones mediante loa diagramas de las
clases a las cuales se refieren. Se representa una clase por un crculo rotulado con el trmino
que designa a esa clase. As, la clase S es representada mediante el diagrama siguiente:

El anterior es el diagrama de una clase, no de una proposicin. Simplemente representa a la
clase S, pero no hace ninguna afirmacin acerca de ella. Para diagramar la proposicin que
afirme la ausencia de miembros en S, sea que no hay ningn S, sombreamos todo el anterior
del crculo que representa S, indicando de esta manera que no contiene nada, que est vaco.
Para diagramar la proposicin que afirma la existencia de S, a lo que interpretamos como
afirmando que hay al menos un miembro de S, colocando una X en el anterior del crculo
que representa a S, indicando de esta manera que hay algo en su interior, que no est vaco.
As, las dos proposiciones no hay S y hay S se hallan representadas, respectivamente, por
los dos diagramas siguientes:

= S
S
Se debe observar, de paso, que el crculo destinado a diagramar la clase S sirve tambin para
diagramar la clase, pues, as como el anterior del crculo representa a todos los miembros de
S, su exterior representa a todos los miembros de S. Para diagramar una proposicin
categrica de forma tpica se requiere dos crculos en vez de uno. El esqueleto o el armazn
para diagramar cualquier proposicin categrica de forma tpica cuyos trminos sujeto y
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
32
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

predicado abreviamos mediante S y P, se construye trazando dos crculos que se intersecan,
como en la siguiente figura:
En la figura anterior, se presenta el diagrama de al dos clases S y P, pero no es el diagrama
de ninguna proposicin relativa a ellas. No afirma que ninguna de ellas o ambas tengas
miembros, ni tampoco lo niega. De hecho hay ms de dos clases diagramadas por los dos
crculos que se intersecan. La parte del crculo rotulado S que no se superpone con el crculo
rotulado P es el diagrama de todos los S que no son P y puede considerarse que representa el
producto de las clases S y No-P. Se puede rotularlo S No-P. Las partes de ambos crculos que
se superponen representan el producto de las clases S y P; es el diagrama de Todos las cosas
que pertenecen a ambas. Lo rotulado SP. La parte del crculo rotulado P que no se superpone
con el crculo rotulado S, es el diagrama de todas las P que no son S y representa el producto
de las clases S y P .Lo rotulado S No-P. Finalmente, la parte del diagrama que es exterior a
ambos crculos representa a todas las cosas que no estaen S ni en P . Es de la cuarta clase,
rotulada No S No-P. Si insertamos todos estos rtulos, la anterior se convierte en la siguiente:
Se puede interpretar este diagrama, por ejemplo, trminos de las diferentes clases
determinadas por la clase de todos los mamferos(S) y al clase de todos los animales acuticos
(P). SP es el producto de estas dos clases, que contienen todas aquellas cosas que
pertenecen a ambas, y solamente a ellas. Todo miembro de SP debe de ser miembro de S y P;
todo miembro debe ser al mismo tiempo un espaol y un pintor. Esta clase producto SP es la
clase de todos los mamferos acuticos, que contiene entre otros, a los Delfines y las Ballenas.
S No-P es el producto de la primera clase y el complemento de la segunda; contiene todas
aquellas cosas, y slo aquellas, que pertenecen a la clase S pero no a la clase P. Es la clase
de todos los mamferos que no son acuticos, todos los mamferos no-acuticos; no
contendrn a Ballenas, Delfines pero incluirn Elefantes y o Camellos, entre muchos otros. S
No-P es el producto de al segunda clase y el complemento de la primera, o sea es la clase de
todos los animales acuticos que no son mamferos. Finalmente No-S No-P es el producto de
los complementos de las dos clases originales y contiene todos aquellos entes, y slo
aquellos, que no son mamferos ni acuticos. Es realmente, una clase muy amplia, pues
contiene no solamente reptiles y aves, peces, crustceos, plantas, hongos, bacterias, virus,
como tambin cosas, como Ovparos, Terrestres, Cefalpodos, artrpodos, arcnidos, etc
Todas estas clases estn diagramadas en al figura anterior, donde las letras S y P deben
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
33
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

interpretarse como acabamos de indicar. Esto permite tambin descubrir 4 reas, que han sido
numricamente simbolizadas en el diagrama anterior.
Si se sombrean las diversas partes de este cuadro o si insertamos x en ellas, podemos
representar cualquiera de las cuatro proposiciones categricas de forma tpica. Para
representar la proposicin; A Todo S es P, simbolizada por =
_
P S , simplemente
sombreamos la parte del diagrama que representa a la clase SP, para indicar de este modo
que no tiene miembros, que es nula. Para representar la proposicin: E Ningn S es P,
simbolizada por = P S , sombreamos la parte del diagrama que corresponde a la clase SP,
indicando as que est vaca. Para representar la proposicin: I Algn S es P simbolizada
por
P S
, insertamos una x el al parte del diagrama que represente a la clase SP. Esta
insercin que la clase producto no es vaca, sino que tiene al menos un miembro. Finalmente
para la proposicin: O Algn S no es P, simbolizada por

_
P S
, insertamos una x
en la parte del diagrama que representa a la clase SP a fin de indicar que no es nula, sino que
tiene al menos un miembro. Colocamos uno junto al otro, los diagramas de las cuatro
proposiciones categricas de forma tpica revelan muy claramente sus diferentes significados.
Debemos destacar un aspecto de estos Diagramas de Venn (as llamados por el matemtico y
lgico John Venn, que fue el primero en introducirlos). El simple diagrama de los crculos,
rotulados pero sin ninguna otra indicacin, representa clases, pero no expresan proposiciones.
Dejar un espacio en blanco no significa nada, ni que hay miembros de la clase representada
por este espacio ni que no los hay. Un diagrama slo puede expresar una proposicin si tiene
una parte de l sombreada o el la cual se inserta una X.
Modo
Proposicin
categrica
Simbolizacin
booleana
Simbologa
Conjuntista
Diagrama
de
Veen
A Todo S es P
=
_
P S



E
Ningn S es P
= P S



I Algn S es P
P S




P S
= P S
= P S
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
34
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

O Algn S no es P

_
P S




El cuadro anterior presenta las representaciones diagramticas para cada una de las
proposiciones categricas: A, E, I, O. As, para representar la proposicin: A: Todo S es P,
simbolizada por =
_
P S se debe sombrear la parte del diagrama que representa a la
clase S No-P. As la clase de Todas los aves son ovparas, es sinnimo que la clase de los
aves que no son ovparas es vaca. Y para representar la proposicin: O Algn P no es S,
simbolizada por

_
P S
, se inserta una x en la parte del diagrama que corresponde a la
clase S No-P. Lo que mostrara si fuera el caso de la proposicin: Algn reptil es ovparo, que
la case de los reptiles-ovparos, no es vaca y que al menos existe un reptil que es ovparo en
dicha clase.
Los diagramas de Venn constituyen una representacin grfica de las proposiciones
categricas de forma tpica, en los cuales se muestran las inclusiones y las exclusiones no
espaciales de las clases. Reflejan las relaciones estructurales y las analogas y diferencias
entre los diversos tipos de proposicin categrica. Los esquemas representativos de
A(Universal Afirmativa) y O ( particular negativa) son diametralmente opuestos y no dejan
superponer, pues la zona negada o sombreada o el grfico de A es la sealada positivamente
en el grfico O. Esta oposicin grfica es reflejo de la relacin lgica de contradiccin o de
incompatibilidad que existe entre A y O. Otro tanto sucede, de manera anloga, con E
(universal negativa) e I (particular afirmativa) y sus correspondientes diagramas. En este
aspecto esta nueva formulacin en los modelos de Venn, coinciden con la lgica tradicional.
Adems, esta modelacin de Veen, separa radicalmente las proposiciones universales de las
particulares no slo por razn de la cantidad, sino porque las proposiciones particulares
importan afirmacin de existencial (como lo indica la X de sus respectivos diagramas), mientras
que las universales no dicen nada positivo respecto de este punto(pues el sombreado de sus
respectivos esquemas indica slo negacin de existencia). A partir de esto se descubre que los
diagramas de Venn, invalidan determinadas tesis de la teora tradicional de la inferencia, tanto
inmediata como mediata. Esto se evidencia, en el cado que el sujeto de una proposicin
categrica es un trmino extensional de una clase vaca, es decir, carente de elementos, como
la clase de los icosaedros o de los centauros (Garrido, 1974, pp.153-154).
A la propuesta que sostiene que las proposiciones categricas cuyos sujetos tengan por
extensin a clases vacas, son verdaderas si son universales y falsas si particulares, se le
denomina teora del compromiso o importe existencial de la proposicin categrica. De
acuerdo con este principio, no sera vlido, en principio, pasar por inferencia de la generalidad
a la particularidad, ni por ello, de una proposicin de tipo A a una proposicin de tipo I. Porque
sino se dispone de informacin adicional previa relativa a la efectiva existencia de individuos,
P S
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
35
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

una inferencia semejante podra dar lugar al transito de lo verdadero a lo falso. En este
sentido, todas aquellas zonas de la teora tradicional de la inferencia que impliquen el
paso de lo general a lo particular sin informacin previa relativa a la existencia de
individuos quedan sujetas a ese riesgo (Cfr. Garrido, 1974, pp.155-156). Esto sucede en la
teora tradicional de la inferencia inmediata con las leyes de subalternacin y de conversin
accidental, que permiten el paso directo de proposiciones de tipo A a proposiciones de tipo I.
(Cfr. Garrido, 1974, p. 156).
El problema del compromiso existencial no ha encontrado una solucin terica totalmente
satisfactoria. En la prctica, posiblemente sea el mejor expediente como ha indicado Church,
condicionar el uso de las proposiciones categricas universales a presuposiciones de contexto
que permitirn o no, segn el caso, la aplicacin de las referidas leyes de subalternacin y
conversin accidental. La explicacin formal de presuposiciones existenciales defendida por
Strawson y algunos autores contemporneos suele acarrear a su vez diversos inconvenientes
formales de tipo inferencial (Cfr. Garrido, 1974, p. 158). .
2.4.1 Actividad. Representacin de proposiciones categricas
Expresar cada una de las proposiciones siguientes como ecuaciones o desigualdades,
representando cada clase por la primera letra de la palabra castellana que la designa y
simbolizada por medio del diagrama de Venn.
a) Algunos escultores son pintores.
b) Ningn buhonero es millonario.
c) Todos los comerciantes son especuladores.
d) Algunos msicos no son pianistas.
e) Ningn tendero es miembro de este club.
f) Algunos lderes polticos de gran reputacin son pillos.
g) Todos los mdicos autorizados a ejercer en este estado son graduados de Facultades
mdicas que han aprobado exmenes de capacitacin especiales.
h) Algunos corredores de bolsa que aconsejan a sus clientes acerca de las inversiones no
son socios de compaas cuyos valores recomiendan.
i) Todos los puritanos que rechazan todo placer intil son ajenos a mucho de lo que hace la
vida digna de ser vivida.
j) Ninguna pintura moderna presenta una semejanza fotogrfica con los objetos que representa.
k) Algunos activistas estudiantiles son hombres y mujeres de edad media que tratan de
recuperar su juventud perdida.
l) Todos los sabios medievales eran piadosos monjes que vivan en monasterios.
m) Algunos empleados pblicos no son ciudadanos de espritu cvico.
n) Ningn magistrado sujeto a eleccin y destitucin ser un tirano castigador.
o) Algunos pacientes que exhiben todos los sntomas de al esquizofrenia son maniaco-
depresivos.
p) Algunos pasajeros de nuevos y grades aviones a chorro no son clientes satisfechos.
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
36
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

q) Algunos sacerdotes son partidarios militantes del cambio social radical.
r) Algunos firmes defensores del orden existente no son miembros de partidos polticos.
s) Ningn oleoducto construido en territorios extranjeros es una inversin segura.
t) Todas las pelculas pornogrficas son amenazadas para la civilizacin y la decencia.
2.5 Silogstica y diagramas de Venn
Del mismo modo que la Silogstica tradicional suministra un conjunto de principios y Reglas
para decidir que Silogismos son vlidos y cules son invlidos; los Diagramas de Venn
constituyen tambin un buen sistema grfico para decidir acerca de la validez o invalidez de
tales Silogismos. Debe tomarse en cuenta, que los diagramas de Veen, heredan la teora del
compromiso existencial de las proposiciones categricas, pero en este caso llevada a la
inferencia mediata de la silogstica. De esto se deriva que algunos modos silogsticos
tradicionales como Darapti, que constan de dos premisas universales (AA, en este caso), y sin
embargo introducen una conclusin particular I, no pueden considerarse como inferencias
vlidas. Lo mismo puede aplicarse a Felapton, Bramantip y Fesapo.
Para saber como operar con los Diagramas de Venn, en relacin con los Silogismos, es
necesario tener en cuenta los siguientes puntos:
1. Existencia de tres crculos en mutua interseccin:

2. Los 3 crculos interrelacionados generan la figura siguiente:
3. Adems de entender el significado de los crculos y sus Intersecciones, hay que
tener en cuenta, para operar, las convenciones anteriormente establecidas entre Clase
Neutra, No vaca y vaca.
2.5.1.1 Graficacin de Diagramas para silogismos categricos
Un diagrama de Veen para un Silogismo Categrico puede ser representado grficamente y
por zonas numricas. Cada trmino se representa por un crculo. As se intersecan lo tres
crculos, para representar todas las conjunciones booleanas de los tres trminos del silogismo
categrico de la siguiente manera:
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
37
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr


rea Representa
3 SPM
6 SP~M
2 S~PM
5 S~P~M
4 ~SPM
7 ~SP~M
1 ~S~PM
8 ~S~P~M
Nota: ~S es equivalente a:
_
S
Estos tres crculos son un mecanismo para probar la validez o invalidez del silogismo
categrico. Para lograr esto se necesita determinar:
Cmo etiquetar el diagrama
Qu marcar en lugar del diagrama.
Dnde se debe poner las marcas
Cmo interpretar los resultados
La siguiente tabla seala las correspondencias entre los trminos y las regiones
Premisa En:
PM 3, 4
P~M 6,7
M~P 1, 2
SM 2, 3
S~M 5, 6
M~S 1,4
Conclusin En:
SP 3, 6
S~P 2, 5
P~S 4, 7
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
38
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

2.5.1.2 Pasos para su graficacin
Se simbolizan las premisas y la conclusin, conceptualizando los trminos como clases o
conjuntos.
Se traslada la informacin de las premisas al diagrama. Hay que tener en cuenta que si una
de las premisas es universal y la otra es particular se debe comenzar diagramando la universal,
aunque sea la premisa menor.
NUNCA SE GRAFICA LA CONCLUSIN, ya que es justamente lo que debe ser obtenido
para comprobar si surge como consecuencia necesaria de las premisas.
Verificar si al diagramar las premisas, tambin ha quedado diagramada en forma explcita la
conclusin. En este caso la forma es vlida. De lo contrario es invlida.
Cuando la informacin dada por las premisas no permite decidir en cual sector de los
dos es posible, debe diagramarse la X de existencia, sta debe dibujarse en la frontera
entre ambos. Este diagrama no permite afirmar que la cruz pertenezca necesariamente a
alguno de los dos sectores y por lo tanto estas formas son invlidas.
Ejemplo 1:
Todo diputado es poltico.
Ningn trabajador honesto es poltico.
Ningn trabajador honesto es diputado.

Forma tradicional

Forma Boolena

Diagrama de Venn
Todo P es M
Ningn S es M
Ningn S es P
P~M =

(6, 7)
SM =

(2, 3)
SP =

(3, 6)

2.5.1.3 Representacin de forma tradicional, boolena y diagramacin
Con el objetivo de determinar la validez o invalidez de un silogismo, lo primero es el diseo de
un diagrama de Veen para las tres clase M, P, S. Asimismo se debe determinar la forma
tradicional, por medio del reconocimiento de su modo y su figura. En este ejemplo en concreto,
se trata de la segunda figura y cuyo modo es AEE. Con base en esto, se pasa a la
representacin boolena de cada una de las premisas y de la conclusin.
2.5.1.4 Simbolizacin y representacin de la Premisa Mayor
La primera premisa o premisa Mayor, Todo M es P, es posible representarlas como P~M =

.
Inmediatamente se rellenan o se representan como vacas en el diagrama de Venn, las
regiones que son P~M, es decir, las 6 y la 7, a la vez, que se colocan entre parntesis lo
nmero de las regiones, a la derecha de la forma boolena.
2.5.1.5 Simbolizacin y representacin de la Premisa menor
Con la segunda premisa o premisa menor, se realiza el mismo procedimiento. Asi, se tiene que
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
39
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

su formulacin booleanas es: SM =

. Por lo que se descubre que las regiones SM son las


regiones 2 y 3, lo que se seala entre parntesis a la derecha de la formulacin boolena. Se
pasa entonces a rellenar en el diagrama como clase vaca a los SM, de las regiones 2 y 3. Al
finalizar se tiene que las clases vacas en el diagrama de Veen son las regiones: 2, 3, 6, 7.
2.5.1.6 Ubicacin de la conclusin y de la validez o invalidez del silogismo
Entonces se busca la conclusin: SP =

, en las premisas previamente representadas. Por lo


que si se encuentra representada entonces se considera que se deriva vlidamente de las
premisas, y hace entonces el silogismo vlido. En caso contrario el silogismo es invlido. En
este caso se trata de un silogismo vlido.

Ejemplo 2:
Todos los defensores de los derechos humanos son socialistas
Todos los ecologistas son socialistas
Todos los ecologistas son defensores de los derechos humanos

Forma tradicional

Forma Boolena

Diagrama de Venn
Todo P es M
Todo S es M
Todo S es P
P~M =

(6, 7)
S~M =

(5, 6)
S~P =

(2, 5)


Se trata de AAA, en la segunda figura. La premisa mayor P~M =

(6, 7), y la premisa menor:


S~M =

(5, 6), no dan suficientes elementos de juicio para sustentar la conclusin, puesto
que la regin dos requerida por la conclusin, no se encuentra representada em las premisas,
por lo que la informacin de las premisas es menor a la informacin de la conclusin, por lo que
esta ltima no se deriva vlidamente de las premisas. As entonces, el silogismo es invlido.

Ejemplo 3:
Algunos delincuentes juveniles son producto de hogares disfuncionales
Todo delincuente juvenil es un individuo desajustado socialmente
Algunos individuos desajustados socialmente son producto de hogares disfuncionales





PRINCIPIOS Y MTODOS DE ANLISIS LGICO
40
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr


Forma tradicional

Forma Boolena

Diagrama de Venn
Algunos M son P
Todo M es S
Algunos S son P
MP

(3, 4)
M ~S

(1, 4)
SP

(3,6)

En este caso se trata de la figura 3, con un modo IAI. En el caso que aparezca antes una
particular que una universal en las premisas, es recomendable empezar por las universales.
As en este caso aparece una particular afirmativa como Premisa Mayor y una Universal
afirmativa como premisa menor. Entonces de acuerdo con lo anterior se empieza a representar
la universal: Todo M es S, con: M ~S

, por lo que las regiones correspondientes son la 1 y
la 4, por lo que se procede a rellenarlas en el diagrama de Venn. Luego se procede con la otra
premisa que es una particular afirmativa, cuya representacin boolena es: MP

, cuyas
regiones son la 3 y la 4. Pero de estas dos regiones, la 4 ya se haba representado como vaca,
por lo que a la afirmacin existencial de la Premisa Mayor, le corresponde slo la regin 3. As
entonces, se procede a marcar una X en esta regin. Finalmente se procede a buscar la
conclusin dentro de la representacin de las premisas. La conclusin, que es una particular
afirmativa, informa que: SP

, le corresponde las regiones 3 y 6, pero para que sea
cumpla lo afirmado por la particular afirmativa, de Algunos S son P, basta con que exista un
solo elemento o en 3 o en 6. De acuerdo a lo representado con las premisas en el diagrama de
Veen, aparece al menos un elemento en la clase: o 6 o 3, pues la X se encuentra en 3 y por
ende la informacin de la conclusin se encontraba previamente en las premisas. En este
caso se considera vlido el silogismo.
Ejemplo 4:
Algunos individuos saludables no son economistas neoliberales
Ningn economista neoliberal es ecologista
Algunos ecologistas son individuos saludables
Forma tradicional Forma Boolena Diagrama de Venn
Algn P no es M
Ningn M es S
Algn S es P
P~M

(6, 7)
MS =

(2, 3)
SP

(3,6)

Se sigue el mismo procedimiento que en los casos anteriores, es decir, se representa primero
la premisa menor, por ser de carcter universal, obtenindose: MS =

, por lo que se rellena


PRINCIPIOS Y MTODOS DE ANLISIS LGICO
41
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

las regiones 2 y 3, que son las MS. Luego se representa la otra premisa, que es la particular
negativa con: P~M

, que es tiene como regiones 6 y 7. Como con esta ltima no se
puede definir si se encuentra en la regin 6 o en la 7, entonces la X correspondiente, debe
colocarse entre la frontera de las regiones 6 y 7. Finalmente cuando se busca la conclusin,
que es una particular afirmativa, representada con: SP

y que le corresponderan las
regiones 3 y 6, se descubre que por una parte, 3 se encuentra vaco, por lo que no es una
informacin atinente para la conclusin. Adems en la otra regin, no es posible decidir de
acuerdo a las premisas si existir al menos un elemento, pues en el diagrama de Veen, se
muestra que existe un elemento en 6 o en 7, pero no se sabe con certeza si ese elemento se
encuentra en 6 o en 7. Por lo tanto el silogismo es invlido.
Ejemplo 5:
Ningn pingino vuela
Algunas aves vuelan
Algunas aves no son pinginos
Forma tradicional Forma Boolena Diagrama de Venn
Ningn P es M
Algn S es M
Algn S no es P
PM =

(3, 4)
SM

(2, 3)
S ~P

(2, 5)

En este caso se tiene como premisa mayor es una universal categrica negativa, cuya
representacin es: PM =

, y cuyas regiones de PM son la 3 y cuatro, por lo que se procede


a rellenarlas. Luego la premisa menorr es una particular afirmativa, cuya representacin es: SM

, y las regiones SM son la 2 y la 3. Pero la tres ya se haba representado como vaca en la
premisa anterior, procedindose entonces a colocar la X en la regin 2. Finalmente se busca la
conclusin cuya representacin es: S ~P

y cuyas regiones son la 2 y la 5. En esta caso
la formulacin de la conclusin exige que exista cuando menos un elemento o en 2 o en 5, y de
acuerdo al diagrama esto se cumple, pues existe al menos un elemento en 2. Se concluye
entonces que el silogismo es vlido.

Ejemplo 6:
Todos los felinos son carnvoros
Algunos felinos son pumas
Algunos pumas son carnvoros


PRINCIPIOS Y MTODOS DE ANLISIS LGICO
42
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

Forma tradicional Forma Boolena Diagrama de Venn
Todo M es P
Algn M es S
Algn S es P
M ~P =

(1, 2)
MS

(2, 3)
S P =

(3, 6)

En este caso, la premisa mayor es una universal afirmativa, simbolizada en su forma boolena
como: M ~P =

y que conlleva a sombrear las regiones: 1, 2. Luego la premisa menor es una


particular afirmativa, representada como: MS

, determinando que debera existir al menos
un elemento en las regiones 2 y 3. Pero como la regin 2 ya qued sombreada, es decir se
encuentra vaca entonces se coloca la X en tres. La conclusin es una particular afirmativa: S P
=

, en las regiones 3 y 6. Esto significa que esta conclusin particular exige la existencia de
al menos un elemento en las regiones o 3 o 6. Como la representacin de las premisas
demuestra que existe al menos un elemento en la regin 3, es posible descubrir que la
informacin de la conclusin est contenida en la informacin de las premisas. Por ende el
silogismo es vlido.
2.5.1.7 Determinacin de validez
Debe tenerse claro entonces, que al llegar a la conclusin esta debe estar ya representada.
Sino lo estuviese todava, de modo que la informacin de la conclusin aade algo al diagrama
el silogismo, este silogismo es entonces invlido, puesto que las premisas deben contener la
conclusin para que el silogismo sea vlido. Si la conclusin es universal, el sector relativo
debe ya estar sombreado, si es particular, debe aparecer una X en alguno de los sectores
propios, claramente dentro de un sector especfico y no sobre una lnea.
2.5.1.8 Bibliografa
Aristteles. Tratados de Lgica (El Organon). Mxico: Editorial Porra., S. A.
Boole, G.(1984). El anlisis matemtico de la lgica. Madrid: Ediciones Ctedra, S.A.
Boole, G. (1854). The Laws of Thought on wich are founded the mathematical theories of
logic and probabilities. New York: Dover Publications, Inc. 1958.
Camacho, L.(1983).Introduccin a la lgica. Cartago: Editorial Tecnolgica de Costa Rica:
2da. ed. 1987, 1era. Reimpresin:. 1993.
Cohen, M., E. Nagel (1961) Introduccin a la lgica y al mtodo cientfico. Buenos Aires:
Amorrurtu editores. Sexta reimpresin: 1983, de la primera edicin en castellano: 1968.
Church, A. (1965). The history of the question of existencial import of categorial
propositions, En: Y. Bar-Hillel, Logic, Methodology and Philosophy of Science.Procee, of the 1964
International Congress, Amsterdam: N Holland. 1965
Copi, I. (1953/72). Introduccin a la lgica. Buenos Aires: EUDEBA: Vigsimo sptima
edicin espaola: 1984.
PRINCIPIOS Y MTODOS DE ANLISIS LGICO
43
RODOLFO J. RODRIGUEZ-RODRIGUEZ
U.R.L.: http://cariari.ucr.ac.cr/~rodolfor
E-mail: rodolfor@cariari.ucr.ac.cr

Ferrater Mora, J.(1983). Diccionario de Filosofa de Bolsillo. 2T. Madrid: Alianza Editorial.
Garrido, M.(1974).Lgica simblica. Madrid: Editorial Tecnos, S.A., 6ta reimpresin, 1983.
Lzaro, J. M. (1965/69). El pensar lgico. San Juan, Puerto Rico: Editorial de la
Universidad de Puerto Rico. 1997.
Lukasiewicz, J. (1957). La silogstica de Aristteles. Desde el punto de vista de la lgica
formal moderna. Madrid: Editorial Tecnos, S.A. 1977
Prior, A. N. (1976). Historia de la lgica. Madrid: Editorial Tecnos.
Robles Garca, J. A. (1995). Historia de la lgica. En: Alchourn, C. E. et. al.(ed.) (1995).
Lgica. Madrid: Editorial Trotta, S. A.
Strawson, P. F.(1952). Introduction to logical theory. Londres: Methuen & Co. LTD.
Quine, W. V. (1962). Los mtodos de la lgica. Barcelona: Editorial Ariel. 1981.
Rodrguez R., R. J. (1995). El mundo de la lgica: de la paradoja a la verdad. San Jos:
Editorial Eidos
Saetti, J. (2000). Logic Toolbox. Actualizado:12/17/06. Disponible en:
http://philosophy.lander.edu/~jsaetti/Welcome.html. (29/3/2006)
Suppes, P.(1966). Introduccin a la lgica simblica. Mxico. CIA Editorial Continental, S.
A de C.V. Dcimo quinta impresin: 1984.

2.5.2 Actividades. Diagramas de Venn para silogismos categricos.
Usando diagramas de Venn, determine la validez o invalidez de las siguientes formas
silogsticas.

1. AAA-2 2. EAE-3
3. IEO-4 4. EAA-4
5. OAI-3 6. OAO-3
7. EIA-2 8. EIO-2
9. AAI-1 10. AEO-1
11. AEE-3 12. AEO-1
13. AOI-1 14. OEO-4
15. EIO-1 16. IEO-1
17. IAI-2 18. OAO-1
19. EAE-1 20. EII-3

Das könnte Ihnen auch gefallen