El Estudiante

Lógica proposicional

La lógica proposicional o lógica de orden cero es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadasconectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.1

La lógica proposicional trata con sistemas lógicos que carecen de cuantificadores, o variables interpretables como entidades. En lógica proposicional si bien no hay signos para variables de tipo entidad, sí existen signos para variables proposicionales (es decir, que pueden ser interpretadas como proposiciones con un valor de verdad de definido), de ahí el nombre proposicional. La lógica proposicional incluye además de variables interpretables como proposiciones simples signos para conectivas lógicas, por lo que dentro de este tipo de lógica puede analizarse la inferencia lógica de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones más simple

Teoría de conjuntos.

La teoría de conjuntos es una rama de las matemáticas que estudia las propiedades de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en sí mismas. Los conjuntos y sus operaciones más elementales son una herramienta básica en la formulación de cualquier teoría matemática.1

Sin embargo, la teoría de los conjuntos es lo suficientemente rica como para construir el resto de objetos y estructuras de interés en matemáticas: números, funciones, figuras geométricas, ...; y junto con la lógica permite estudiar los fundamentos de esta. En la actualidad se acepta que el conjunto de axiomas de la teoría de Zermelo-Fraenkel es suficiente para desarrollar toda la matemática.

Además, la propia teoría de conjuntos es objeto de estudio per se, no sólo como herramienta auxiliar, en particular las propiedades y relaciones de los conjuntos infinitos. En esta disciplina es habitual que se presenten casos de propiedades indemostrables o contradictorias, como la hipótesis del continuo o la existencia de un cardinal inaccesible. Por esta razón, sus razonamientos y técnicas se apoyan en gran medida en la lógica matemática. Conjunto En matemáticas, un conjunto es una agrupación de objetos considerada como un objeto en sí. Los En matemáticas, un conjunto es una agrupación de objetos considerada como un objeto en sí. Los objetos del conjunto pueden ser cualquier cosa: personas, números, colores, letras, figuras, etc. Cada uno de los objetos en la colección es unelemento o miembro del conjunto.1 Por ejemplo, el conjunto de los colores del arcoíris es:

AI = {Rojo, Naranja, Amarillo, Verde, Azul, Añil, Violeta}

Un conjunto suele definirse mediante una propiedad que todos sus elementos poseen. Por ejemplo, para los números naturales, si se considera la propiedad de ser un número primo, el conjunto de los números primos es:

P = {2, 3, 5, 7, 11, 13, ...}

Extencion y comprension

Por extension = Elementos de un conjunto

Por comprension = Lo que se entiende del conjunto

Conjunto 1:

Por extension= {a,b,c,d,e,f,g,h,i,j,k,l,m,n,ñ,o,p,q,r,s…

Por comprension= {letras del abecedario}

Conjunto 2

Por extension= {lunes,martes,miercoles,jueves,viernes,s…

Por comprension= {dias de la semana}

Conjunto 3

Por extension= {do,re,mi,fa,sol,la,si}

Por comprension= {notas musicales}

Conjunto 4

Por extension= {0,1,2,3,4,5,6,7,8,9}

Por comprension= {digitos}

Conjunto 5

Por extension

{enero,febrero,marzo,abril,mayo,junio,…

Por comprension= {meses del año } RELACIÓN DE INCLUSIÓN

Esta relación es recíproca la relación de contenencia, se dice que un conjunto está incluido en

...