La lógica

Definición: Es una ciencia formal que estudia los principios de la demostración y

la inferencia válida. Es decir estudiar las maneras para acceder a verdades.
Inferir: Extraer un juicio o conclusión a partir de hechos, proposiciones, sean
generales o particulares.
En un principio se consideraba a la lógica como una rama de la filosofía.
La lógica es una ciencia formal que estudia los principios de la demostración y la
inferencia válida, es decir estudiar las maneras por las cuales se pueden acceder
a verdades y además los procesos por los cuales se pueden derivar conclusiones
a partir de otras verdades ya conocidas en un principio.

En el siglo XIX. Teoría de conjuntos. George Cantor. Pasó a lógica simbólica.

Que tiene dos partes principales. (Uso símbolos, reglas de inferencia), la lógica
pasó a ser la fundamentación teórica de las matemáticas.

Por lo que tenemos que ya a las matemáticas se van a basar en los dos
siguientes principios:

El primero es que todos hacen un lenguaje conjuntista es decir toda la

matemática se va a definir a partir de conjuntos y la otra parte es que las
matemáticas van a fundamentarse axiomáticamente, es decir de algunas
verdades que no se prueban sino que se asumen, entonces las matemáticas van
a estar fundamentadas de esta manera a través de la lógica

Ahora en la lógica necesitamos primero algunos conceptos básicos como los son
los siguientes: el lenguaje y los signos. El lenguaje es como el hombre ha podido
comunicar sus ideas a través de la creación de oraciones de algunas simbologías
y aunque se presta algunas malas interpretaciones y posibles problemas es de
alguna manera claro por ejemplo para algo problemas matemáticos si realmente
comprendiéramos el lenguaje no tendríamos ningún problema en hallar la
solución, por lo tanto para construir una lógica debemos construir un lenguaje
claro y preciso el cual no de dudas acerca de su uso. también para construir la
lógica necesitamos algunos signos los signos son los que constituyen el idioma
o nuestro lenguaje, en este caso por ejemplo podemos tener los signos como las
letras a b c o algunos signos de interrogación, admiración, puntos, comas, en fin,
una infinidad de signos los cuales dotan de cierto significado a las palabras que
se encuentran aquí en el lenguaje por ejemplo: calle,no es lo mismo que callé;
calle hace referencia a una vía transitada por dónde van los carros sin embargo
callé es que yo dejé de hablar, que viene del verbo callar; entonces estos signos
le dan pleno significado a los componentes son palabras del lenguaje.

Ahora hay diferentes clases de signos, las clases de signos son las siguientes:
los signos del lenguaje corriente, es decir las letras (a, b, c, d..), los signos de
interrogación de admiración y los demás que nosotros conocemos.
Ahora están los signos de conexión lógica, que son la negación él o él y el
entonces y otros más que más
Negación ¬
Y∧
O∨
ENTONCES…

Clases de signos:

1. Del lenguaje corriente.

2. De conexión Lógica. Negación ¬ Y ∧ O ∨ entonces 
3. De relación. Pertenece , igual =, diferente, no pertenece, mayor que, menor
que, ..
4. De cuantificación. Existe y para todos.
5. De operación. Operación +, -, / , x
6. De agrupación. Paréntesis (), corchetes, llaves

Adelante conoceremos ahora están los de relación que son el pertenece el igual
el diferente él no pertenece el mayor que el menor que y otros más que más
adelante conoceremos el salón de cuantificación que son el existe y el para todo
que también conoceremos más adelante están los de operación que son la suma
la resta la división la multiplicación y otros más que también conocemos más y
más adelante también conoceremos otros y por último los de agrupación que
cuáles son son los paréntesis los corchetes y las llaves entonces estas son las
clases de signos estos son los signos que nosotros utilizaremos para crear
nuestro lenguaje en nuestro próximo vídeo comenzaremos a realizar la
construcción de nuestro lenguaje lógico que llamaremos cálculo de predicados