La lógica matemática, también llamada lógica simbólica, lógica

teorética, lógica formal o logística, es el estudio formal y

simbólico de la lógica, y su aplicación a algunas áreas de la
matemática y la ciencia. Comprende la aplicación de las técnicas
de la lógica formal a la construcción y el desarrollo de las
matemáticas y el razonamiento matemático, y conversamente la
aplicación de técnicas matemáticas a la representación y el
análisis de la lógica formal.

Una tabla de verdad es un dispositivo para demostrar ciertas

propiedades lógicas y semánticas de enunciados del lenguaje
natural o de fórmulas del lenguaje del cálculo proposicional.

Las tablas de verdad son, por una parte, uno de los métodos más
sencillos y conocidos de la lógica formal, pero la mismo tiempo
también uno de los más poderosos y claros. Entender bien las
tablas de verdad es, en gran medida, entender bien a la lógica
formal misma.

Un conjunto es una colección de elementos con características

similares considerada en sí misma como un objeto.

Un conjunto se define como la agrupación de diferentes

elementos que comparten entre sí características y propiedades
semejantes. Estos elementos pueden ser cualquier cosa, tales
como números, canciones, meses, personas, etcétera.

Unión: (símbolo ∪) La unión de dos conjuntos A y B, que se

representa como A ∪ B, es el conjunto de todos los elementos que
pertenecen al menos a uno de los conjuntos A y B.
Intersección: (símbolo ∩) La intersección de dos
conjuntos A y B es el conjunto A ∩ B de los elementos comunes
a A y B.

Diferencia: (símbolo \) La diferencia del conjunto A con B es el

conjunto A \ B que resulta de eliminar de A cualquier elemento
que esté en B.

Complemento: El complemento de un conjunto A es el

conjunto A∁ que contiene todos los elementos que no pertenecen
a A, respecto a un conjunto U que lo contiene.

Diferencia simétrica: (símbolo Δ) La diferencia simétrica de dos

conjuntos A y B es el conjunto A Δ B con todos los elementos que
pertenecen, o bien a A, o bien a B, pero no a ambos a la vez.

Los diagramas de Venn son esquemas usados en la teoría de

conjuntos, tema de interés en matemáticas, lógica de
clases y razonamiento diagramático. Estos diagramas muestran
colecciones (conjuntos) de cosas (elementos) por medio de líneas
cerradas. La línea cerrada exterior abarca a todos los elementos
bajo consideración, el conjunto universal U.

Con los diagramas de Venn es posible representar las relaciones

de intersección, inclusión y disyunción sin cambiar la posición
relativa de los conjuntos

Intersección Dado que los conjuntos pueden tener elementos

comunes, las regiones encerradas por sus líneas límite se
superponen. El conjunto de los elementos que pertenecen
simultáneamente a otros dos es la intersección de ambos
Inclusión Si todos los elementos de un conjunto son parte de los
elementos de otro, se dice que el primero es un subconjunto del
segundo o que está incluido en el segundo. En los diagramas de
Venn, todas las regiones de superposición posibles deben ser
representadas. Y, cuando hay regiones que no contienen
elementos (regiones vacías), la situación se indica anulándolas
(con un color de fondo distinto).

Disyunción Cuando los conjuntos no tienen elementos comunes,

la región de superposición queda vacía.

Aquí se listan los principales conjuntos de números. Su

conocimiento es indispensable para un dominio básico
del Álgebra y el Cálculo

Entre los complejos están todos: Reales y Imaginarios, Racionales

y Irracionales dentro de esto están: los Enteros y Fraccionarios,
En los Enteros están: los Naturales o Cero enteros negativos, en
los Naturales; Uno, Primos, Compuestos. En los fraccionarios
están: Exactos, Periódicos y en estos están los puros y los Mixtos.

Una ecuación es una igualdad entre dos expresiones algebraicas

en las que aparece una (o más) incógnita. Normalmente, la
incógnita es x.

La incógnita x representa al número (o números), si existe, que

hace que la igualdad sea verdadera. Este número desconocido es
la solución de la ecuación.

La reducción de términos semejantes es un método que se emplea

para simplificar expresiones algebraicas. En una expresión
algebraica, los términos semejantes, son aquellos que tienen la
misma variable; es decir, tienen las mismas incógnitas
representadas por una letra, y estas tienen los mismos
exponentes.