Axiomas lógicos .Éstas son ciertas fórmulas en un lenguaje que son universalmente válidas, esto es, fórmulas que son satisfechas por cualquier estructura y por cualquier función variable, en términos coloquiales, éstos son enunciados que son verdaderos en cualquier universo posible, bajo cualquier interpretación posible y con cualquier asignación de valores. Usualmente uno toma como axiomas lógicos un conjunto mínimo de tautologías que es suficiente para probar todas las tautologías en el lenguaje.
Cada uno de estos patrones es un esquema de axiomas, una regla para generar un número infinito de axiomas. Por ejemplo, si A, B, y C son variables proposicionales, entonces,
Numeros Reales.
En matemáticas, los números reales incluyen tanto a los números racionales (como: 31, 37/22, 25,4) como a los números irracionales aquellos que no se pueden expresar de manera fraccionaria y tienen infinitas cifras decimales no periódicas, tales como:
Números reales son aquellos que poseen una expresión decimal.
Polinomio.
En matemáticas, se denomina polinomio a una expresión algebraica constituida por un número finito de variables y constantes, utilizando solamente operaciones de adición, sustracción, multiplicación y potenciación con exponentes naturales. Por ejemplo:
Raiz Cuadrada.
En matemáticas se llama raíz cuadrada de un número x, aquel número y tal que multiplicado por sí mismo tenga como producto x. La raíz cuadrada de x se expresa o . Por ejemplo:
Factorizacion.
En álgebra, la factorización es expresar un objeto o número (por ejemplo, un número compuesto, una matriz o un polinomio) como producto de otros objetos más pequeños (factores), (en el caso de números debemos utilizar los números primos) que, al multiplicarlos todos, resulta el objeto original. Por ejemplo, el número 15 se factoriza en números primos 3 × 5; y a²-b² se factoriza como binomio conjugados (a - b)(a + b).
EJEMPLOS:
Axioma.
Numeros Reales.
Polinomio.
Raiz Cuadrada.
√(a∙b)²
Factorizacion.
