Professional Documents
Culture Documents
Traduccin verbal:
- Todos los x.
- Para cada x.
- Para cualquier x.
- Cualquiera que sea x.
- Sean todos los x.
- Cualquier cosa que sea x.
- Cualquier cosa individual x se verifica que.
- Quien quiera que sea x.
- Para todo x.
- Todo lo que sea x.
- 100 % de los x.
- Los x, las x.
Traduccin verbal:
- Algunos x.
- Hay al menos una x que.
- Existe al menos un x.
- Alguien, algo, alguno que sea x.
- Existe cuando menos un x.
- Existe a lo sumo x.
- Tantos, ciertos, muchos, la mayora de x.
- Hay exactamente un x.
- Al menos un x existe.
- Existe a lo ms un x.
- Existe siquiera un x.
- Existe por lo menos un x.
- (Algn porcentaje menor a 100)% de x.
- Pocas x.
- Hay x.
Ejemplos:
1.- Cualquier cosa que sea mi novio, es mi amigo
Nx: Novios
Ax: Amigos
x( Nx Ax)
Nota.- Si para simbolizar un enunciado se utiliza una letra para un sujeto o un predicado
que luego se tiene que volver a utilizar para un segundo sujeto o predicado, usamos
tambin para diferenciar la segunda letra de la palabra tal como en el ejemplo anterior o
de ser necesario alguna otra letra representativa de la palabra.
LGICA DE CLASES
Definicin.- Llamamos clase a una coleccin de objetos que tienen una caracterstica o
propiedad comn, basado en esto, esta definicin es equivalente a la definicin de
conjunto aunque algunos autores consideran el concepto de clase como algo ms
abstracto y que posee otras caractersticas ms.
Observacin.- Para hacer notoria esta diferencia consideremos por ejemplo el conjunto
A 1, , , a el cual es un conjunto pero no es una clase, porque los elementos no
poseen una caracterstica o propiedad comn, entonces cualquier conjunto no es una
clase, pero toda clase s es un conjunto.
Observaciones:
1.- Dada la definicin de clase, una clase siempre debe ser escrita como se escribe un
conjunto por comprensin, con lo cual primero siempre estar determinada por
comprensin.
2.- De acuerdo a la observacin 1, todo conjunto determinado por comprensin genera
una clase.
3.- Para indicar si un conjunto determinado por extensin es una clase debemos de
tomar en cuenta que la caracterstica o propiedad comn de todos sus elementos debe
estar completamente clara.
4.- Al igual que en conjuntos para determinar por extensin una clase, se partir de su
forma determinada por extensin, es decir slo escribiremos de manera explcita los
elemento que conforman la clase.
Relaciones entre clases:
Igualdad de clases.- Se dice que las clases A y B son iguales y se denota por A B , si
ambas clases tienen los mismos elementos.
Inclusin de clases.- Se dice que la clase A est incluida en la clase B, si todo elemento
de la clase A es elemento de la clase B, lo cual es denotado por A B .
Definiciones:
Clase vaca.- Es la clase que no tiene elementos, es denotada por .
Clase universal.- Es la clase que contiene a todos los elementos de las clases que
participan en un estudio en particular, es denotado U.
Subclase.- Llamaremos subclase a una clase que est incluida en otra clase, es decir A
es una subclase de la clase B, si A B .
Ejemplo.-
Sean las clases:
B x / x 5 escrita por extensin B 1, 2,3, 4,5
A x / 0 x 4 escrita por extensin 1, 2,3
A es una subclase de B puesto que A B es decir A est incluido en B.
Nota.- Hasta aqu pareciera que la lgica de clases no nos es til o que slo es un
concepto restringido de conjuntos, pero una de las utilidades ms importantes radica en
que la lgica de clases nos permite tambin representar de manera grfica proposiciones
categricas y verificar la validez de silogismos categricos (conceptos que se estudiarn
luego).
2.- Se escribir una x dentro de la clase para indicar que existe al menos un elemento en
la clase.
x A
Nota.- Llamaremos a esta representacin grfica de clases, diagramas de Venn para
lgica de clases.
U
A B
x A B A.B
x x x A B
A
x
Nota.- En esta figura y cuando sea necesario se escribir dentro del conjunto su nombre.
4.- Diferencia de clases.- Es equivalente a la diferencia de conjuntos, se define en base
a la conjuncin de los elementos de la clase A con los elementos del complemento de
la clase, es denotado por: A B
U
A B
x A B
Observaciones:
1.- Utilizando el producto y el complemento de clases o de manera similar a como se
hace usando definiciones de conjuntos tenemos que: A B A B AB .
2.- De las definiciones de las 4 operaciones entre clases definidas, notamos que son
equivalentes a las operaciones mencionadas en sus definiciones, es decir se definen
de manera similar a como se hace en teora de conjuntos.
3.- La lgica de clases tambin es llamada por algunos autores como algebra Booleana,
en referencia a que tambin se pueden realizar operaciones muy semejantes a las que
se hacen en el algebra de Boole, teniendo en cuenta la forma booleana de las formas
tpicas que ser estudiada luego.
S P
Todo S es P Si x es S entonces es P.
Ejemplo
Todo alumno es estudioso Si x es alumno entonces x es estudioso.
Ax: Alumnos
Ex: Estudiosos
x( Ax Ex)
Notacin.- Utilizaremos para lgica de clases y lgica de predicados la notacin:
S S
S P
Ejemplo
Ningn peruano es francs Todo peruano no es francs
Si x es peruano entonces x no es francs
Px: Peruanos
Fx: Franceses
x( Px Fx)
Algn S es P x es S y es P.
Ejemplo
Algn deportista es peruano x es deportista y es peruano
Dx: Deportistas
Px: Peruanos
x( Dx Px)
Ejemplo
Algn casado es no feliz x es casado y no es feliz
Cx: Casados
Fx: Felices
S P
Algn no S es no P x no es S y no es P
Ejemplo
Existe a lo sumo un no empresario que no es responsable
x no es empresario y no es responsable
Ex: Empresarios
Rx: Responsables
x(Ex Rx)
Ejemplo
Todos son estudiantes salvo que sean profesores
Si x no es estudiante entonces es profesor
Ex: Estudiantes
Px: Profesores
x(Ex Px)
Nota.- Para simbolizar las formas tpicas y las formas adicionales de proposiciones
categricas, debemos de tomar en cuenta que siempre el conector lgico que relaciona
sujeto con el predicado, cuando aparece:
Un cuantificador existencial es la conjuncin.
Un cuantificador universal es la implicacin.
Ejercicios
Graficar las siguientes proposiciones categricas:
F
E
Todo futbolista es educado.
M C
x
CUADRO DE BOECIO
Tambin llamado cuadro oposicin tradicional, en ste aparecen las proposiciones
categricas tpicas: A, E, I, O, que tiene el mismo sujeto y el mismo predicado, las
cuales mantienen entre s las llamadas relaciones de oposicin.
Subalternante de I Subalternante de O
Contrarias
A E
I O
Sub contrarias
Subalterno de A Subalterno de E
Ejemplos:
Dadas las proposiciones categricas, simbolizarlas y hallar sus relaciones de oposicin:
1.- No es cierto que cada alumno sea bien educado
Ax: Alumno
Bx: Bien educado
x( Ax Bx) x((Ax Bx))
x( Ax Bx)) :O
Algunos alumnos no son bien educados.
Contraria: A : x( Jx Hx)
Todos los jueces son honestos.
Contradictoria I: I : x( Jx Hx)
Algunos jueces son honestos
Subalterna: O : x( Jx Hx)
Algunos jueces no son honestos
Ejemplos:
Expresar en sus formas equivalentes las siguientes proposiciones categricas:
1.- Todos los ambientales son estudiosos
Ax: Ambientales
Ex: Estudiosos
x( Ax Ex)
a) x(Ex Ax) : Todos los no estudiosos son no ambientales.
b) x( Ex Ax) : Todos, son estudiosos o no son ambientales.
c) x(Ax Ex) : Todos, son no ambientales o estudiosos.
d) x( Ax Ex) : No es cierto que algunos son ambientales y no estudiosos.
e) x(Ex Ax) : Es mentira que algunos no son estudiosos y son ambientales.
Ejemplos:
Negar las siguientes proposiciones categricas:
1.- Ningn poltico es honesto.
Px: Poltico
Cx: Corruptos
E : x( Px Cx)
Como su contradictorio es I : x( Px Cx)
Su negacin es: Algunos polticos son honestos.