República Bolivariana de Venezuela.

Universidad Nacional Experimental Simón Rodríguez-Núcleo Caricuao.

Carrera: Administración Mención Mercadeo.

Materia: Pre-cálculo (viernes).

Profesor: Orangel Marquez.

Estudiante: Brayerlin Veruska J. Rodriguez Cruz.

Lógica y Conjuntos.

Habitualmente se cree que la lógica solo ocupa la definición o estudio del

razonamiento. En la actualidad este término puede considerarse obsoleto debido a la
gran extensión que ha alcanzado esta disciplina, pero puede servirnos como primera
aproximación en su argumento. Una de las principales funciones de la lógica
matemática es servir de fundamento al razonamiento matemático, evitando
ambigüedades y contradicciones mediante la determinación absoluta, precisa y
rigorosa de lo que es un razonamiento matemático. A tales razonamientos se les ha
denominado como lógica, asimismo entendemos por razonamiento un proceso donde
se concluye una afirmación a partir de un conjunto de afirmaciones. Diremos que el
razonamiento es correcto, si cada vez que las afirmación iniciales son verdaderas.

Ahora bien, la lógica está dedicada al estudio de los razonamientos correctos. El

estudio del pensamiento correcto o lógico se remonta a la antigüedad,
específicamente al siglo IV a.C. conocido como la lógica aristotélica. La noción central
del sistema lógico de Aristóteles es el silogismo; Aristóteles define el silogismo en los
siguientes términos “un argumento en el cual habiendo concedido solo ciertas cosas,
algunas otras distintas de aquellas se siguen necesariamente de su verdad, sin que
haya necesidad de ningún otro termino exterior”: Pero a principios del siglo XIX, la
lógica se desprende de la filosofía y la ciencia de la mente (gracias a los trabajos de
Frege y Peano, que en un principio no eran más que simples ensayos un poco más

Página 1 de 8
complejo y ambicioso que los anteriores expuestos por otros autores) y se empiezan
a adoptar métodos tomados de las matemáticas.

En un sentido amplio el término lógica hace referencia al estudio de todos los

razonamientos, y en un sentido escrito ha estado circunscrito al estudio del
razonamiento deductivo. Se pueden distinguir dos tipos de lógica: La lógica clásica,
que considera el “juicio” y la “proposición” y en donde, el juicio es un acto mental por
medio del cual pensamos algún enunciado y la proposición es lo pensado en dicho
acto, mientras que La lógica moderna, se remite solamente a las “proposiciones”
prescindiendo de los juicios, es así que tenemos la “lógica proposicional” o “sentencial”
y que trata a las proposiciones como unidades y hace combinaciones entre ellas.

Asimismo una proposición lógica es todo enunciado que tiene un valor de verdad:
verdadero (V) o falso (F) pero no ambas a la vez (Doroteo & Gálvez, 2005, p.12).
Aunque la lógica proposicional había sido insinuada por los filósofos anteriores, fue
desarrollada en una lógica formal por Chrysippus en el siglo III a.C. y ampliada por su
sucesor Stoics. Por otro lado, la veracidad o falsedad de una proposición no es más
que su valor de verdad. Una expresión en la que no se puede determinar si es
verdadera o falsa, no es una proposición.

La expresión “El año empieza con el mes de Enero” es una proposición, dicho de
otra forma en él se puede notar que su valor de verdad es verdadero, ya que se conoce
con certeza que el año empieza con el mes de enero, no obstante la siguiente
expresión matemática 7+1=9 que se lee “siete más uno es igual a nueve” es una
proposición con valor verdadero falso ya que en el sistema numérico decimal, (sistema
posicional que tiene como base aritmética el número diez “10”) se conoce con certeza
que 7+1=8 que se lee “siete más uno es igual a ocho”.

En la lógica proposicional, los conectivos lógicos (también llamados enlaces) se

tratan como funciones de verdad, es decir, como funciones que toman conjuntos de
valores de verdad y devuelven valores de verdad, de igual forma los conectores

Página 2 de 8
lógicos son símbolos usados para combinar proposiciones con lo que se producen
otras, llamadas proposiciones compuestas. Los conectivos mayormente usados son:
negación (∼), conjunción (∧), disyunción inclusiva (∨), disyunción exclusiva (∨),
condicionante (→) y bicondicionante (↔). Una proposición que no tenga ningún
conectivo se dice que es una proposición simple, también conocidas como
proposiciones atómicas (constituyen un único termino lógico), mientras que las
proposiciones que contengan algún conectivo se llaman proposiciones compuestas
(términos unidos por un nexo).

Varios métodos de prueba del cálculo proposicional, entre ellos el de la tabla de

verdad, se basan en una concepción muy tradicional del análisis lógico, según la cual
el objetivo de este es determinar las condiciones necesarias y suficientes de la verdad
de una proposición o enunciado. Aunque dicho método de análisis era ya conocido en
la tradicional lógica-algebraica gracias a Peirce y Post que habían utilizado tablas de
verdad, fueron Russell y Wittgenstein los que divulgaron este método como
instrumento de análisis del significado de los enunciados en términos de condiciones
de verdad.

• La negación de una proposición es una nueva proposición que

tiene un valor de verdad opuesto, es decir, si p es verdadera, la negación de p es

falsa. Se denota con ∼p y se lee no p.

La tabla de verdad para la negación de p está dada por:

p ∼p

V F

F V

Página 3 de 8
Donde V significa verdadera y F falsa.

• La conjunción, es la proposición compuesta que resulta de conectar dos

proposiciones p y q mediante la conjunción (∧). Esta proposición se denota con p ∧ q

y se lee “p y q”.

Es natural que el valor de verdad de una proposición compuesta dependa de los

valores de verdad de las proposiciones simples que la forman. La característica
fundamental de la conjunción es que su valor de verdad es verdadero sólo en el caso
en que las proposiciones simples que la forman tengan valor de verdad verdadero. La
tabla de verdad de una conjunción es la siguiente:

p q p∧q
V V V
V F F
F V F
F F F

• La disyunción inclusiva, es la proposición compuesta que resulta

de conectar dos proposiciones p y q mediante la disyunción inclusiva (∨). Esta

proposición se representa p ∨ q y se lee “p o q”.

La característica fundamental de la disyunción inclusiva es que su valor de verdad es

falso sólo en el caso en que las dos proposiciones simples que la forman tengan valor
de verdad falso. En todos los otros casos la disyunción inclusiva tiene valor de verdad
verdadero.

La siguiente es la tabla de verdad de una disyunción inclusiva.

Página 4 de 8
 p q p∨q
V V V
V F V
F V V
F F F

• La disyunción exclusiva, es la proposición compuesta que resulta

de conectar dos proposiciones p y q mediante la disyuntiva exclusiva (∨). Esta

proposición se denota por p ∨ q y se lee “o p o q”.

La característica fundamental de la disyunción exclusiva es que su valor de verdad

es verdadero sólo cuando las proposiciones que la componen tienen valores de
verdad contrarios. En los otros casos la disyunción exclusiva tiene valor de verdad
falso. La tabla de verdad de una disyunción exclusiva es la siguiente:

p q p ∨ q
V V F
V F V
F V V
F F F

• La condicional, es la proposición compuesta que resulta de conectar dos

proposiciones p y q mediante la condicionante (→). Esta proposición se denota por

p → q y se lee “si p entonces q”.

En la estructuras p → q, la proposición que está antes de la flecha se llama el

antecedente y la que está después de la flecha se llama el consecuente. La
característica fundamental de la condicional es que su valor de verdad es falso
sólo cuando el consecuente es falso y el antecedente es verdadero. En los demás
casos la condicional es verdadera. La siguiente es la tabla de verdad de una
condicional:

Página 5 de 8
 p q p→q
V V V
V F F
F V V
F F V

• La bicondicional es la proposición compuesta que resulta de conectar

dos proposiciones p y q mediante la bicondicionante (↔). La proposición resultante

se representa con p ↔ q y se lee “p si y sólo si q”.

La característica fundamental de la bicondicional es que su valor de verdad es

verdadero sólo en los casos en que p y q tengan valores de verdad iguales (ambos
V o ambos F). En los demás casos la bicondicional es falsa. La tabla de verdad de
una bicondicional es la siguiente:

p q p↔q
V V V

V F F

F V F

F F V

Otra forma de leer p ↔ q es diciendo que p es equivalente a q o que p es una condición

necesaria y suficiente para q, y q es una condición necesaria y suficiente para p.

Dando paso a otro tema, la matemática deduce resultados nuevos a partir de otros ya
conocidos. Una teoría matemática se compone de axiomas, definiciones y teoremas.
Por consiguiente un axioma (o postulado) en el marco de una deducción, permite
arribar a una conclusión, dicho de una forma más sencilla, es algo que se admite como

Página 6 de 8
cierto y no necesita demostrarse, por ende los axiomas han de cumplir solo un
requisito: de ellos, y solo de ellos, han de deducirse todas las demás proposiciones
de la teoría dada. Sin embargo en 1931 el matemático Kurt Friedrich Gödel demostró
de manera contundente que no todo es demostrable dentro de los sistemas
axiomáticos.

Por su otra parte, un teorema es una proposición teórica, enunciado o formula que
incorpora una verdad, (axioma o postulado) ya demostrada, dicha definición fue
teorizada del siguiente ejemplo: El teorema del triángulo isósceles establece que “si
dos lados de un triángulo son congruentes, entonces los ángulos opuestos a estos
lados son congruentes (Un triángulo isósceles es un triángulo que tiene al menos dos
lados congruentes). Este teorema se demuestra a partir de otras proposiciones, entre
las cuales se cuenta uno de los postulados para congruencia de triángulos (lado-
ángulo- lado L + L).

Aclarado estos temas continuamos diciendo que para los matemáticos es sustancial
tener la lógica para determinar sus propias posibilidades y limitaciones ya que
establecer este tipo de resultados de independencia es una de las partes más
importantes de la lógica aplicada a la teoría de conjuntos. La teoría de conjuntos a
su vez, se edifica sólidamente sobre axiomas mediante las leyes de la lógica siendo
la base de la matemática moderna. Las relaciones, teoremas, leyes o proposiciones
se realizan sobre las características de los elementos de un conjunto o de varios
conjuntos.

Los conjuntos se han convertido en los objetivos matemáticos más fundamentales y

podemos definirlos como una colección de objetos, que se llaman elementos. Los
conjuntos se simbolizan con letras mayúsculas (A,B,C,D…) y los objetos que lo
componen se denominan elementos o miembros y se denotan con letras minúsculas
(a,b,c,d…), por otro lado la relación de pertinencia de la teoría de conjuntos la
representa el símbolo ∈ y para su negación /∈. Cuando un elemento “a" pertenece al

Página 7 de 8
conjunto “A” se denota por: a ∈ A (“a pertenece a A”) y para expresar que el elemento
“a” no pertenece al conjunto “A" se representa con: a ∉ A (“a no pertenece a A”).

Fue con el trabajo de Cantor que la teoría de conjuntos se estableció sobre una base
matemática adecuada. La teoría de conjuntos trajo claridad y precisión a la exposición
de muchas teorías y áreas de la matemática, como la teoría de las probabilidades, la
topología, la teoría de los grupos, etcétera.

El desarrollo de las teorías fundacionales de la Matemática aparecidas en el siglo XX

ha dado lugar a numerosos avances científicos en lógica, en ciencias de la
computación y en las matemáticas. La teoría de conjuntos propuesta inicialmente por
Georg Cantor a finales del siglo XIX y luego axiomatizada por Zermelo y Fraenkel para
evitar paradojas constituye una de las teorías fundacionales más estudiadas y
aceptadas por la comunidad científica.

“Un conjunto es un “muchos” que puede ser pensado como uno”.

Georg Cantor

Página 8 de 8