REPÚBLICA BOLIVARIANA DE VENEZUELA

UNIVERSIDAD NACIONAL EXPERIMENTAL

SIMÓN RODRÍGUEZ

NÚCLEO CARICUAO

MATERIA : PRECALCULO

LOGICA Y CONJUNTO

PROFESOR
ESTUDIANTE

IRE MARCHENA
 CI. 27302782

En el estudio de cualquier rama de la Matemática, sea análisis, Algebra, o

Geometría, resulta útil emplear la terminología de la Teoría de conjuntos. Esta
teoría fue desarrollada por Boole y Cantor a fines del siglo XIX, pero su primer
trabajo de Cantor sobre la teoría de conjuntos data de 1874.

Ha tenido una profunda influencia en el desarrollo de las Matemáticas en el siglo

XX, ya que ha unificado muchas ideas y ha contribuido a reducir gran número de
conceptos matemáticos a sus fundamentos lógicos por un método elegante y
sistemático.

Cabe mencionar que, esta teoría es un área de estudio enfocada en los

conjuntos. Por tanto, se encarga de analizar tanto los atributos que poseen, como
las relaciones que pueden establecerse entre ellos. Es decir, su unión,
intersección, complemento u otro.

Por otra parte, se sabe que sin razonamiento lógico no se puede resolver un
problema matemático. Entonces se tiene que la teoría de conjuntos es una rama
de la lógica matemática, puesto que la lógica es la disciplina que se encarga de
estudiar e identificar las distintas formas de razonamiento, con el objetivo de
elaborar técnicas para determinar si un argumento es válido o no. Puesto que
esta lógica parte del estudio del uso de lenguaje en la argumentación y se basa
en la identificación de aquellas partes del lenguaje que son fundamentales para
estos propósitos. Es además una disciplina bastante antigua y existen varios tipos
de ellas, una se conoce con el nombre de lógica matemática.

Los principales antecedentes de la lógica matemática se remontan al pueblo

griego en el cual sus representantes fueron Platón, Aristóteles y Euclides. Fueron
ellos los primeros que plantearon las primeras ideas con respecto a la lógica.

Platón se encargó de brindar ideas relacionadas con abstracciones mientras que

Aristóteles se encargó de resolver el razonamiento deductivo. Finalmente,
Euclides logró crear y establecer el método axiomático.

Sin embargo, la verdadera revolución de la lógica vino de la mano de Gottlob

Frege, quien frecuentemente es considerado como el lógico más importante de la
historia, junto con Aristóteles. En su trabajo de 1879, la Conceptografía, Frege
ofrece por primera vez un sistema completo delógica de predicados. También
desarrolla la idea de un lenguaje formal y define la noción de prueba.

Cabe destacar que, la lógica tradicionalmente se consideró una rama de

la filosofía. En 1847, George Boole publicó un breve tratado titulado El análisis
matemático de la lógica, y en 1854 otro más importante titulado Las leyes del
pensamiento. La idea de Boole fue construir a la lógica como un cálculo en el que
los valores de verdad se representan mediante el 0 (falsedad) y el 1 (verdad), y a
los que se les aplican operaciones matemáticas como la suma y la multiplicación.

Al mismo tiempo, Augustus De Morgan publica en 1847 su obra Lógica formal,

donde introduce las leyes de De Morgan e intenta generalizar la noción de
silogismo. Otro importante contribuyente inglés fue John Venn, quien en 1881
publicó su libro Lógica Simbólica.

Pero desde finales del siglo XIX, su formalización simbólica ha demostrado una
íntima relación con las matemáticas, y dio lugar a la lógica matemática, y en este
mismo siglo la lógica aristotélica y estoica mantuvo siempre una relación con los
argumentos formulados en lenguaje natural. Por eso aunque eran formales, no
eran formalistas. 

Hoy esa relación se trata bajo un punto de vista completamente diferente. La

formalización estricta ha mostrado las limitaciones de la lógica tradicional o
aristotélica, que hoy se interpreta como una parte pequeña de la lógica de clases.

Esto es puesto que en el siglo XX la misma ha pasado a ser principalmente la

lógica simbólica, un cálculo definido por símbolos y reglas de inferencia, lo que ha
permitido su aplicación a la informática.

Posee diferentes tipos de aplicación según la rama, bien sea la filosofía,

matemáticas, computación, física. En la filosofía para determinar si un
razonamiento es válido o no, ya que una frase puede tener diferentes
interpretaciones, sin embargo, la lógica permite saber el significado correcto.
En las matemáticas para demostrar teoremas e inferir resultados matemáticos
que puedan ser aplicados en investigaciones. En la computación para revisar
programas.

La lógica es caracterizada por ser conocida por diferentes nombres como lógica
simbólica, lógica teorética o logística. Encargada de estudiar la inferencia por
medio de la construcción de sistemas formales.

Por lo general, se divide en cuatro diferentes áreas las cuales son: la teoría de
modelos, teoría de conjuntos, teoría de la demostración y por último, la teoría de
la computabilidad. Además de está estrechamente relacionada con las ciencias
afines con la computación y puede estudiar los conceptos de nociones y objetos
matemáticos básicos.

Además, no tiene la capacidad de hacer estudios sobre el razonamiento humano,

pero si, en el razonamiento matemático, haciendo mención a que la lógica posee
el razonamiento que es el proceso que nos permite obtener una verdad, de
premisas (proposiciones iniciales) verdaderas.
También está compuesto por un razonamiento inductivo que es aquel que,
partiendo de hechos particulares, llega a una concusión General.

Cabe destacar que más allá de las características antes mencionadas, posee los
elementos destacados como lo son las proposiciones, los enunciados lógicos,
conectivos y la equivalencia puesto que estas conforman a la lógica de manera
estructural.

Las oraciones o enunciados lógicos son aquellos sobre las cuales se puede decir
si son verdaderas o falsas. Este tipo de enunciados son los que se utilizan para
expresar y transmitir conocimientos

Cuando se habla de proposiciones se dice que son aquellas tomado de la lógica y

como un enunciado que puede ser calificado de verdadero o falso. Se considera
como una frase u oración.

Del mismo modo esta se encuentra divida en dos en las proposiciones simples
que básicamente son aquellos que tienen una solución directa sin enlaces, es
verdad o falso y en algunos casos podría suceder que sea indeterminado; y
tenemos las proposiciones compuestas que son aquellas que están formadas por
dos o más proposiciones simples y con los llamados enlaces o conectores
lógicos.

Estos conectores lógicos son una regla que permite tomar una o más
proposiciones, “operarlas” y de ahí construir una nueva proposición “resultado”.

Por otra parte, se habla de teoría de conjuntos como el estudio de una rama de la
lógica, pero es se conoce que esta teoría habla netamente de conjuntos, siendo
estos definidos como una agrupación de elementos, ya sean números, letras,
palabras, funciones, símbolos, figuras geométricas u otros. Y para determinarlo se
suele definir la característica que tienen en común sus elementos.

Sin embargo, la idea de conjunto no tiene mucho cambio a lo largo del tiempo,
puesto que desde la antigüedad han considerado conjunto a objetos de diferentes
elementos y las nociones elementales de la moderna teoría de conjuntos siguen
siendo las mismas.

Georg Carter, quien fue el que impulso esta teoría de conjuntos entre los temas
que estudió destaca, por ejemplo, el de los conjuntos infinitos y los conjuntos
numéricos. Cantor estudió el conjunto de números racionales y naturales y fue
revolucionario su descubrimiento de los conjuntos de números infinitos, ya que
develó la existencia de infinitos de diferentes tamaños al asegurar que siempre se
puede encontrar un infinito mayor.
Cabe acotar que mantuvo un frecuente intercambio de ideas con el matemático
Richard Dedekind, quien contribuyó al estudio de los números naturales.

Según la definición de Cantor, un conjunto es una colección en un todo de

determinados y distintos objetos de nuestra percepción o nuestro pensamiento, a los
que se les llama elementos del conjunto.

Según (Lipschutz, 1991) Un conjunto es un grupo de elementos u objetos

especificados de tal forma que se pueda afirmar con certeza que un objeto dado
pertenece o no al conjunto. En general, para denotar a los conjuntos se usan letras
mayúsculas, y letras minúsculas para sus elementos. Esto, sin embargo, no es
necesario, puesto que un conjunto puede ser, a su vez, un elemento de otro conjunto.

A su vez, un conjunto puede convertirse también en un elemento. Por ejemplo: en

el caso de un ramo de flores, en principio una flor sería el primer elemento, pero al
conjunto de flores se lo puede considerar luego como un ramo de flores,
convirtiéndose así, en un nuevo elemento.

Del mismo modo existen los subconjuntos, llamados de esta manera ya que son
aquellos que se encuentran dentro de otro conjunto. Ejemplo de ello: Los números
impares son un subconjunto del conjunto números naturales.

La característica esencial de un conjunto es la de estar bien definido, es decir

que, dado un objeto particular, determinar si este pertenece o no al  conjunto. Por
ejemplo, si se considera el conjunto de los números dígitos, sabemos que el 3
pertenece al conjunto, pero el 19 no.

Cabe destacar que existen diferentes tipos de conjuntos, los de compresión,

extensión, finitos, infinitos, vacío, unitario y homogéneo el cual cumplen diferentes
reglas.

Los conjuntos de extensión son sencillamente una lista de los elementos del
conjunto dado por comas a diferencia de los de compresión se definen
literalmente con un argumento, es decir, se usa una variable que represente a los
elementos especificando una propiedad que cumpla dicha variable que
caracteriza a los elementos sobreentendidos del conjunto.

También, se tienen los conjuntos finitos que son los que tienen un número
limitado de elementos y es visible para ser contado. Y el infinito al contrario no
tienen un número limitado de elementos, es decir, puede tener un sin fin de
elementos o como bien su nombre lo indica infinitos.

A su vez están los conjuntos unitarios, que como su nombre lo indica solo poseen
un único elemento, al contrario del vacío que no tiene elementos. Por otra parte,
los homogéneos son aquellos en que sus elementos pertenecen a una misma
categoría y los heterogéneos en sus elementos poseen diferentes clases y
categorías.

Cabe resaltar que tenemos un conjunto numérico son las distintas agrupaciones
en las que se clasifican los números en función de sus distintas características.
Se trata de una construcción abstracta que tiene una importante aplicación en las
matemáticas. Los conjuntos numéricos son los complejos, imaginarios, reales,
irracionales, racionales, enteros y naturales.

De todos los conjuntos antes mencionados se desarrolla una rama llamada el

álgebra de los conjuntos, el cual consiste en manera general las relaciones que se
pueden hacer entre los conjuntos, bien sea intersección de conjuntos, unión de
conjuntos, diferencia entre ellos, complementarios, diferencia simétrica y producto
cartesiano.

Con todo esto se puede decir que, existe una relación muy estrecha entre la
Teoría de Conjuntos y la Lógica puesto que, la lógica es la que posee el
razonamiento para realizar alguna demostración, en este caso demostrar si es
verdadero o falso un teorema de algún conjunto.

También, la teoría de Conjuntos y la definición o significado de conjunto, es uno

de los más fundamentales en matemáticas, incluso más que la operación de
contar, pues se puede encontrar, implícita o explícitamente, en todas las ramas de
las matemáticas puras y aplicadas. En su forma explícita, los principios.

Asi mismo, la lógica es pues muy importante; ya que permite resolver incluso
problemas a los que nunca se ha enfrentado el ser humano utilizando solamente
su inteligencia y apoyándose de algunos conocimientos acumulados, se pueden
obtener nuevos descubrimientos.

Los matemáticos requieren de la lógica, pues dicta reglas y normas que permiten
conseguir razonamientos válidos y determinan que métodos de demostración se
pueden usar, y como se puede formar una estructura solida

Se podría decir que lógica es la ciencia que, desde un punto de vista puramente
formal, estudia la estructura del pensamiento y establece el procedimiento
adecuado mediante el cual la razón puede evitar el error y alcanzar la verdad.

Las matemáticas no son posibles sin la lógica, cualquier teoría matemática, es

decir, una construcción abstracta que considere ciertos tipos de entidades y
establezca unas relaciones de partida entre ellas requerirá de la lógica (para
hacer deducciones, demostraciones y encontrar resultados nuevos).
De este modo, se establece que, sin la lógica, el conjunto y la teoría del mismo,
con sus operaciones más elementales, son una herramienta básica en la
formulación de cualquier teoría matemática. La relación existente entre estas,
muestras de cómo estas disciplinas no van cada una por su lado, sino que en el
fondo mantienen una estructura única.

Puesto que, la lógica matemática se enfocó en la manera de argumentar hasta

que finalmente se centró en el estudio de todos los contenidos.