La lógica y el lenguaje matemático
por Camila Santos Victorio
1. La manipulación de los símbolos de agrupación
2. El razonamiento y los sentidos, frases, enunciados, oraciones y proposiciones
2.1. Mediante el razonamiento analizamos y conectamos hechos lógicos, con el fin de llegar al entendimiento de un argumento.
2.2. Las proposiciones podemos llamarlas como enunciados, frases u oraciones que pueden ser o no ciertas.
3. Tablas de verdad
3.1. Son tablas que muestran el valor de verdad acerca de una proposición compuesta.
3.2. Mediante el análisis de una función proposicional, estas pueden ser: Tautología, contradicción y contingencia.
4. La función proposicional
5. Cuantificadores
5.1. Son símbolos que se emplean para poder señalar los tipos de elementos que integran un conjunto.
5.1.1. Estos pueden ser: existencial y universal, afirmación y negación.
6. Inferencia lógica
6.1. Proceso de obtener una proposición a las cuales se aplican reglas de inferencia para una conclusión lógica de las premisas.
7. Interpretación de expresiones algebraicas con variables
8. El lenguaje matemático
8.1. Es la comunicación a través de símbolos exclusivos que se utilizan para realizar operaciones matemáticas.
9. Los símbolos de representación
10. Diferencias entre axiomas, postulados y teoremas.
10.1. Axiomas: Son enunciados tan evidentes que no necesitan una demostración.
10.2. Postulados: Son proposiciones no evidentes por sí mismas, pero se aceptan.
10.3. Teoremas: Son proposiciones que pueden ser demostradas.
11. Las proposiciones y su valor de verdad
11.1. Son enunciados lógicos que pueden ser verdaderos o falsos
11.2. Los valores de verdad indican en qué medida una declaración es cierta, estos son: Verdadero y falso
12. La demostración
12.1. Para hacer una demostración matemática es preciso entender mediante un análisis racional, significa que siempre podemos hallar un sistema en el que representar.
13. Conjunto de verdad
14. Lógica
14.1. Doctrina que defiende los pensamientos razonables y con sentido que puede imaginar cualquier ser humano.