Símbolos matemáticos

+ | Este es el símbolo de la suma

– | Lo utilizamos para la resta
* ó × ó • | Para la multiplicación utilizamos varios, pero el mas común es la x.
/ ó ÷ | Para la división también hay mas de uno.
± | Es el símbolo del ¨mas menos¨. Se utiliza cuando en una ecuación el numero siguiente puede
sumar o restar.
> | El numero que aparece en la izquierda es mayor que el de la derecha.
< | Justo al contrario que el anterior, el numero de la izquierda es menor que el de la derecha.
≥ | El numero de la izquierda es mayor o igual que el de la derecha.
≤ | Lo contrario que el anterior, el numero de la izquierda es menor o igual que el de la derecha.
∑ | sumatoria (sigma mayúscula en el alfabeto griego).
√ | Este es el símbolo de la raíz cuadrada
∞ | Representación del infinito
≡ | Se utiliza para decir que dos números son equivalentes
≠ | Se utiliza para decir que dos números son distintos

Lógica

La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal, o logística,
es parte tanto de la lógica como de la matemática, y consiste en el estudio matemático de la
lógica, y en la aplicación de dicho estudio a otras áreas de la matemática y de las ciencias. La lógica
matemática tiene estrechas conexiones con las ciencias de la computación y con la lógica
filosófica.

La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican o
definen nociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones, y
algoritmos, utilizando un lenguaje formal.

La lógica matemática se suele dividir en cuatro subcampos: teoría de modelos, teoría de la

demostración, teoría de conjuntos y teoría de la recursión. La investigación en lógica matemática
ha jugado un papel fundamental en el estudio de las matemáticas.

Teorías

Teoría de modelos

En matemática, teoría de modelos es el estudio de (clases de) estructuras matemáticas tales como
grupos, cuerpos, grafos, o incluso universos de teoría de conjuntos, en relación con las teorías
axiomáticas y la lógica matemática.

Teoría de la demostración

La teoría de la demostración o teoría de la prueba es una rama de la lógica matemática que trata a
las demostraciones como objetos matemáticos, facilitando su análisis mediante técnicas
matemáticas. Las demostraciones suelen presentarse como estructuras de datos inductivamente
definidas que se construyen de acuerdo con los axiomas y reglas de inferencia de los sistemas
lógicos. En este sentido, la teoría de la demostración se ocupa de la sintaxis, en contraste con la
teoría de modelos, que trata con la semántica. Junto con la teoría de modelos, la teoría de
conjuntos axiomática y la teoría de la recursión, la teoría de la demostración es uno de los "cuatro
pilares" de los fundamentos de las matemáticas.

Teoría de conjuntos

La teoría de conjuntos es una rama de la lógica matemática que estudia las propiedades y
relaciones 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.

Teoría de la computabilidad

La Teoría de la computabilidad es la parte de la computación que estudia los problemas de

decisión que pueden ser resueltos con un algoritmo o equivalentemente con la llamada máquina
de Turing. La teoría de la computabilidad se interesa por cuatro preguntas:

 ¿Qué problemas puede resolver una máquina de Turing?

 ¿Qué otros formalismos equivalen a las máquinas de Turing?
 ¿Qué problemas requieren máquinas más poderosas?
 ¿Qué problemas requieren máquinas menos poderosas?

Proposición

Una proposición es una oración con valor referencial o informativo, de la cual se puede predicar su
veracidad o falsedad, es decir, que puede ser falsa o verdadera pero no ambas a la vez.

La proposición es la expresión lingüística del razonamiento, que se caracteriza por ser verdadera o
falsa empíricamente, sin ambigüedades. Son proposiciones las oraciones aseverativas, las leyes
científicas, las fórmulas matemáticas, las fórmulas y/o esquemas lógicos, los enunciados cerrados
o claramente definidos. No son proposiciones las opiniones y suposiciones; los proverbios,
modismos y refranes; los enunciados abiertos no definidos; las oraciones interrogativas,
exclamativas, imperativas, desiderativas y dubitativas; las interjecciones en general; ni las
operaciones aritméticas.

Tipos de proposiciones

Proposiciones Simples o Atómicas

Son aquellas que carecen totalmente de conectivos lógicos y que, por lo tanto, son inseparables.
En este grupo se encuentran las proposiciones predicativas, que son aquellas en la cual se afirma o
atribuye una característica respecto de un objeto, como por ejemplo, Juan Pérez es profesor; y las
proposiciones relacionales, en las cuales existe una relación de dependencia, estableciendo un
enlace entre dos o más objetos, como por ejemplo, Caracas es la capital de Venezuela.

Proposición Compuesta o Molecular

Son aquellas que resultan de la combinación de varias proposiciones simples, unidas por uno o
más conectivos lógicos y que pueden ser separadas y descompuestas en proposiciones más
simples. Su valor de verdad depende del de las proposiciones que la componen.

Tabla de verdad

Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de verdad de
una proposición compuesta, para cada combinación de verdad que se pueda asignar.1

Fue desarrollada por Charles Sanders Peirce por los años 1880, pero el formato más popular es el
que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en 1921.

Negación

La negación operador que se ejecuta, sobre un único valor de verdad, devolviendo el valor
contradictorio de la proposición considerada.

Conjunción

La conjunción es un operador, que actúa sobre dos valores de verdad, típicamente los valores de
verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando ambas
proposiciones son verdaderas, y falso en cualquier otro caso. Es decir, es verdadera cuando ambas
son verdaderas

La tabla de verdad de la conjunción es la siguiente:

Disyunción
La disyunción es un operador lógico que actúa sobre dos valores de verdad, típicamente los
valores de verdad de dos proposiciones, devolviendo el valor de verdad verdadero cuando una de
las proposiciones es verdadera, o cuando ambas lo son, y falso cuando ambas son falsas.

La tabla de verdad de la disyunción es la siguiente:

Implicación o condicional

El condicional material es un operador que actúa sobre dos valores de verdad, típicamente los
valores de verdad de dos proposiciones, devolviendo el valor de falso sólo cuando la primera
proposición es verdadera y la segunda falsa, y verdadero en cualquier otro caso.

La tabla de verdad del condicional material es la siguiente:

Equivalencia, doble implicación o bicondicional

El bicondicional o doble implicación es un operador que funciona dando el valor de verdad cuando
ambos valores son iguales y dando el valor de falsedad cuando ambos valores son diferentes.

La tabla de verdad del bicondicional es la siguiente:

Pertenencia de conjuntos

La relación de pertenencia sólo se da entre los elementos de un conjunto y éste. Es decir es

perfectamente correcto decir que uno o más elementos pertenecen a un conjunto. En este caso,
nunca debe usarse la palabra inclusión, por tanto no es correcto decir que un elemento está
incluido en un conjunto.

La relación de pertenencia tiene un símbolo específico para el conector “pertenece” y para el

conector “no pertenece”. Veamos un ejemplo sencillo: si consideramos a V, conjunto de las letras
vocales, éste definido por extensión sería así:

V = { a, e, i, o, u }

Así las cosas es correcto decir cualquiera de las siguientes afirmaciones, que escribiré también en
lenguaje de símbolos matemáticos. Pon atención.

El elemento a pertenece a V ==> a ∈ V

El elemento f no pertenece a V ==> f ∉ V

Contenencia de conjuntos

La contenencia de conjuntos es la relación que existe entre un conjunto que es universal y otro
que se es subconjunto del universal; es decir que el conjunto A estará contenido dentro del
conjunto G si y solo si todos los elementos del conjunto A son también elementos del conjunto G;
Se representa con el símbolo C que se lee contenido y cuando no está contenido se representa
con el símbolo ₡ y se lee no contenido. Ejemplo:

En la imagen podemos observar que el conjunto A = {Pato, Gallo, Gallina } , el conjunto N {Vaca,
Oveja } y el conjunto G = { Pato, Gallo, Gallina, Vaca, Oveja y perro }

Por lo tanto podemos afirmar que A C G ( A esta contenido en G) porque todos los elementos del
conjunto A, estan dentro del conjunto G, Tambien podemos decir que es verdad que N C G ( N esta
contenido en G) porque todos los elementos del conjunto N estan en G.