Logica de clase

Solo disponible en BuenasTareas
  • Páginas : 3 (582 palabras )
  • Descarga(s) : 0
  • Publicado : 21 de mayo de 2011
Leer documento completo
Vista previa del texto
Lógica de clase: es la que expresa los vínculos que hay entre los individuos y los conjuntos que se expresan en los enunciados.
Los elementos de un conjunto comparten atributos y cualidades.
Laclase hace posible la creación de proposiciones. Las proposiciones son expresiones que niegan o afirman algo del concepto sujeto que puede ser verdadero o falso.
Elementos: todos los objetos que formanparte de una misma clase.
Relación de pertenencia: es la relación entre una clase un elemento de ella. (a ϵ A y su opuesto a ϵ A)
Las relaciones que se dan entre clases distintas se fundamentanen los elementos que tienen en común.
* Relación de la inclusión: B A (B está incluido en A)

* Relación de la Igualdad: esta relación se da entre conjuntos que tienen exactamentelos mismos elementos.( A=B [(x ϵ A) (x ϵ B) ])
Clases según su número de miembros:
* Conjunto finito: un conjunto con un número de elementos que puede ser contado en un tiempo determinado. Ej.Los países de Europa, Los meses del año, Los días de la semana
* Conjunto infinito: es el conjunto cuyo número de elementos es infinito y no tienen fin en el tiempo. Ej. Los números naturales, lospuntos de una recta
* Conjunto unitario: conjunto que solo tiene un elemento y se representa C = {a}. Ej. Números pares entre 6 y 10., la capital de Panamá
* Conjunto vacío: no tiene ningúnelemento y se representa “o” o “{ }”. Ej. Conjunto de los perros que hablan y el de los meses de 90 días.
* Conjunto universal: conjunto que tiene todos los elementos o individuos posibles yse simboliza “E”. Ej. Seres humanos, seres vivos.

Operaciones entre las clases:
* Intersección de clases: son los elementos en común que tienen 2 o más clases, también se llama producto lógico.(A B = {x, y ,z} )

* Las clases disyuntos: son las clases que pueden expresarse de dos formas “el uno el otro o ambos”. Es la más común en la lógica matemática (cuando incluye: A V...
tracking img