INTRODUCCIN

En la actualidad, el estudio serio de cualquier tema tanto en el campo de las

humanidades como en el de la Ciencias de y la Tcnica requieren de conocer los
fundamentos y mtodos del razonamiento Lgico

La lgica es el estudio de los procesos validos del razonamiento humano,

la importancia prctica y formativa radica en que permite analizar y examinar,
rigurosamente el lenguaje, comn del lenguaje y el lenguaje cientfico.

El avance y desarrollo de la lgica empez cuando el matemtico George

Boole y el filsofo D Morgan crearon el lenguaje formalizado, es decir
combinaciones de signos sin contenidos de puras formas, pura estructura, con
la cual ya es posible operar matemticamente.

En la Lgica podemos distinguir: Lgica proposicional, estudia las

proposiciones inanalizadas, es decir sin entrar al anlisis interno de las
proposiciones; Lgica de Clases, asume el estudio de del contenido interno e
las proposiciones; Lgica cuantificacional, que estudia las proposiciones
analizadas, introduce la notacin y el algoritmo en sus clculos.

La lgica de clases analiza la proposicin lgica considerando la

pertenencia o no pertenencia de un elemento o individuo clasificado por poseer
una determinada propiedad. Sobre esta lgica se formaliza como modelo
cientfico la teora matemtica de conjuntos.

La funcin que desempea la lgica en los problemas humanos es de

suma importancia porque todo problema humano tiene que afrontarse y
resolverse humanamente es decir racionalmente.

BREVE HISTORIA DE LA LGICA

 El hombre prehistrico tenia dificultad de considerar por separado las
cualidades de las cosas. Su razonamiento lo haca mediante percepciones de
imagines. Pero la intervencin de instrumento, utensilios, etc., obro el milagro que el
espritu humano se tuviera que someter ala la disciplina de razonar. As por ejemplo
el fabricar instrumentos o construir una choza supona cierto razonamiento para logra
el acabado de tales cosas. A travs de las edades vemos la evolucin de la lgica,

En la edad antigua la lgica nace como disciplina independiente en Grecia.

Aristteles fue el primer filosofo quien escribi EL ORGANON. En esta obra
presenta de forma detallada el silogismo. Despus de Aristteles aparecen los
filsofos megricos como Cristierno Caro y otros que crearon la lgica coligativa.

En la edad media sigue dominando la lgica aristotlica. Aparecen los

filsofos Alberto Sajonia, Juan Burilan y Pedro Abelardo quienes descubrieron
nuevos tipos de inferencias coligativa.

En la edad moderna Godofredo Leibniz trato de inventar un lenguaje

formalizado pero non trascendi. Posteriormente los filsofos y matemticos George
Boole y D Morgan crean el lenguaje formalizado y revolucionaron la teora de la
inferencia.

En la primera dcada del presente siglo aparecen los filsofos Bertrand,

Russell, Alfredo Whitehead quienes sistematizaron todos los tipos a inferencia
descubiertos en su obra principia mathematica. Por ultimo aparece David Gilbert
que perfeccion los trabajos de Russell y Whitehead.

La lgica se mantuvo en los niveles que haba establecido Aristteles por la

carencia de un lenguaje que le permitiera llegar a un nivel de algoritmo (conjunto
ordenado de smbolos y procedimientos de clculo matemtico). En un inicio el
matemtico Leibniz tuvo la intencin de crear un lenguaje universal, pero fracas
porque no pudo desprender el signo del contenido. El avance y desarrollo de la
lgica empez cuando el matemtico George Boole y el filsofo D Morgan crearon el
lenguaje formalizado, es decir combinaciones de signos sin contenidos de pura
formas, pura estructura, con la cual ya es posible operar matemticamente.

As podemos distinguir: Lgica proposicional, estudia las proposiciones

inanalizadas, es decir sin entrar al anlisis interno de las proposiciones; Logica de
Clases, asume el estudio de del contenido interno e las proposiciones; ; Lgica
cuantificacional, que estudia las proposiciones analizadas, introduce la notacin y el
algoritmo en sus clculos.
 Captulo I
LOGICA DE CLASES

La lgica de clases analiza la proposicin lgica considerando la

pertenencia o no pertenencia de un elemento o individuo clasificado por
poseer una determinada propiedad. Sobre esta lgica se formaliza como
modelo cientfico la teora matemtica de conjuntos.

Se entiende por clase a un conjunto de posibles individuos que tienen

una propiedad comn. Ntese que la clase define una propiedad, no al
individuo; lo que diferencia la lgica de clases de la lgica de predicados. El
valor de verdad de la primera viene dado por la pertenencia o no pertenencia
del individuo a la clase.

1.1. Concepto de Clases

Clase es la reunin de elementos que tienen caractersticas en comn.
Un trmino designa o clasifica una clase cuando menciona la totalidad
de objetos que la componen. Ejemplo: Peruano, Escolar, etc. Como
sinnimo de clase tambin se puede utilizar la palabra conjunto.

1.2. Tipos de Clases

a) Clase Universal:
Es una clase o conjunto que contiene todos los elementos que hay
en el universo Simblicamente se representa por U y se define
U = { X/X X}
se lee: para cualquier x tal que x es idntica a x es satisfecho
cualquier elemento, grficamente se representa por un rectngulo

b) Clase Nula o Vaca:

 Es la clase que no tiene elementos. La clase nula esta implcitamente
incluida en todas las clases. Su smbolo es y formalmente se define
como:
= { = }
Se lee: para cualquier X tal que, X es diferente de X no es
satisfecho por algn elemento.

En el diagrama se representa sombreando toda la zona del crculo

que representa la clase vaca. Por ejemplo, si A es una Clase vaca
se tiene:

Y simblicamente se dice:
=

1.3. Relaciones entre Clases

Entre las principales clases se tiene la inclusin, la igualdad y la
exclusin de clases.
La teora de clase fue desarrollada por el matemtico y lgico ingles
George Boole (1815-1864), de all que se conoce con el nombre de
Algebra booleana y la idea bsica de los diagramas se debe al
matemtico suizo Leonard Euler (1707-1783). A continuacin, le
presentamos algunas nociones elementales del lgebra Booleana y sus
respectivos diagramas.
a) La inclusin: es la relacin de dos clases, en la cual todos los
elementos de la primera son elementos de la segunda, pero no
viceversa. En este caso, se dice que la primera es subclase de la
segunda.
El smbolo de la inclusin es que expresa como A B y se
define como:
= { }

Que se lee: la clase A est incluida en la clase B, es igual a todos

los elementos de X tales que si X es elemento de B.

Ejemplo: la clase de peruanos.

 Su diagrama se hace inscribiendo el crculo A en el crculo B.

B A

b) La Igualdad: Es la relacin de dos clases que tienen los mismos

elementos.
El smbolo es = que se expresa como A = B, siendo la frmula
de su designacin la siguiente:

= = { }
Que se lee: la clase A es igual a la clase B, para cualquier X tales
que X pertenece a la clase B.
Por ejemplo, la clase de los hombres es igual a la clase de los
bpedos racionales. En el diagrama se representa as:

AB

c) La exclusin: Se dice que una clase est excluida de otro, cuando

ningn elemento de la primera es elemento de la segunda.
 El smbolo es y la exclusin de las clases A y B se expresa
as: A B.
Su frmula es:
= { }
Que se lee: La clase A esta excluida de la clase B, es igual a decir
que para todos los X, si X pertenece a la clase A, entonces X no
pertenece a la clase B.

Por ejemplo: la clase de los nmeros pares est excluida de la

clase de los nmeros impares.

Su diagrama se hace dibujando dos crculos separados.

A B

1.4. Diagrama de Venn.

EL objetivo es presentar las proposiciones categricas de Venn, mtodo
diagramtico debido al lgico ingles John Venn. Segn este mtodo, los
diagramas muestran cuando una seccin est o no lo est, indicada para
la frmula booleana.

1.4.1. Diagramacin de una clase o un conjunto:

Como los trminos sujeto y predicado de las categricas
definen clases, primero vamos a representar en el diagrama una
clase por un circuito, por ejemplo, la clase designada por S. As:
 U

Aqu la clase S, tal como queda diagramada o indica si tiene

elementos o si es vaca. En este caso, simplemente no se tiene
informacin de la clase S, para especificar que S tiene elementos
o posee miembros, se usar X como sigue.

Formalmente S

Que significa, que la clase S es diferente al vaco o S tiene por lo

menos un elemento. Pero si queremos indicar que la clase S
carece de miembros o est vaca, en el diagrama se raya toda la
zona S.

S
S=

Que significa que la S es igual al vaco, o S no tiene elementos.

Con estas convenciones se puede diagramar sin dificultad el
complemento de S, As.
 U

1.4.2. Diagramacin de interseccin de dos clases:

La interseccin de dos clases, por ejemplo para S y P, se
tiene el siguiente diagrama:

2 3
1 4

S P

Donde las secciones de la clase universo han aumentado

a cuatro:
U = {1,2,3,4}
Y las clases S y P tienen cada una dos secciones:
S = {2,3}
P = {3,4}
Entonces el complemento de S y el complemento de P
sern:
S = {1,4}
P = {1,2}
En el diagrama de esta naturaleza tambin puede
representarse si la clase S es vaca, de igual mado si la
clase P es vaca o no.
1.4.3. Diagramacin de las proposiciones categricas:
En base de las convenciones anteriores ahora podemos graficar
en los diagramas de Venn las cuatro formas tpicas A,E,I,O de las
proposiciones categricas de la lgica tradicional.

a) La universal afirmativa:
Que se expresa por la forma: Todos los S son P, y se
diagrama as:

Que significa que la interseccin de S y no P es igual al vaco SP

= en una proposicin universal afirmativa. El diagrama expresa
que todos los miembros de la clase P, dado que la interseccin
por la parte sombreada de S que no es de P, es vaca.

b) La Universal Negativa:
Que se expresa por: Ningn S es P, y se representa como
sigue:

Que se lee, la interseccin de S y P es vaca (SP = ); luego

el diagrama muestra que no hay relacin entre la clase S y la
clase P, esto es, ningn miembro de S es miembro de P.

c) La Particular Afirmativa
 Cuya forma proporcional es: Algunos S son P, y su grfico es
el siguiente:

Significa que en la interseccin de S y P hay por lo menos

un elemento (SP )

d) La particular negativa:
La forma proposicional es: algunos S no son P, y su grafico
es como sigue
 CONCLUSIONES

La lgica de clases analiza la proposicin lgica considerando la

pertenencia o no pertenencia de un elemento o individuo clasificado por poseer
una determinada propiedad. Sobre esta lgica se formaliza como modelo
cientfico la teora matemtica de conjuntos.

La funcin que desempea la lgica en los problemas humanos es de

suma importancia porque todo problema humano tiene que afrontarse y
resolverse humanamente es decir racionalmente.

BIBLIOGRAFA

1. LIBROS
FIGUEROA G., Ricardo. Matemtica Bsica 1. 5ta ed. Lima,
Per. W H EDITORES.
RIOS Q., Hugo. Nociones De Lgica Matemtica. 1ra ed.
Cajamarca, Per. Asociacin Obispo Martnez Compan.
VENERO B., Armando. Matemtica Bsica. Lima, Per.
EDICIONES GEMAR.

2. PAGINAS WEB
https://es.wikipedia.org/wiki/L%C3%B3gica_de_clases
LOGICA DE CLASES