Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
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…40 kB (5124 palabras) - 21:09 8 oct 2024- La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística,[1] es el estudio formal y simbólico de la lógica…33 kB (5351 palabras) - 19:03 5 sep 2024
- El término semántica se refiere al estudio de diversos aspectos del significado, sentido o interpretación de signos lingüísticos como símbolos o palabras…7 kB (926 palabras) - 00:13 10 sep 2024
Axioma es una proposición tan clara y evidente que se admite sin demostración.[1] Aplicado en matemáticas y otras ciencias, es cada uno de los principios…21 kB (2853 palabras) - 22:03 2 oct 2024
En matemáticas, una demostración o bien una prueba es un argumento deductivo para asegurar la verdad de una proposición matemática. En la argumentación…47 kB (6623 palabras) - 13:31 17 ago 2024- Un sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal…9 kB (1824 palabras) - 00:19 22 sep 2024
En lógica, una contradicción es una incompatibilidad entre dos o más proposiciones. Por ejemplo, las oraciones «llueve y no llueve» y «ni llueve ni truena…4 kB (545 palabras) - 13:59 19 jun 2024
En matemáticas, lógica y física el término operador puede ser usado con diversas acepciones . En alguna versión, un operador es un símbolo matemático que…9 kB (1174 palabras) - 23:52 11 abr 2024- En metalógica, la consistencia o consistencia lógica es la propiedad que tienen los sistemas formales cuando no es posible deducir una contradicción dentro…12 kB (1907 palabras) - 11:24 19 abr 2024
- En lógica proposicional y álgebra de Boole, las leyes de De Morgan[1][2][3] son un par de reglas de transformación que son ambas reglas de inferencia…15 kB (2682 palabras) - 02:42 14 ago 2024
- En matemáticas, un enunciado en el que dos expresiones (iguales o distintas) denotan el mismo objeto matemático se llama igualdad matemática. Dos objetos…8 kB (1053 palabras) - 06:40 2 sep 2024
- Un postulado es una proposición no evidente por sí misma ni demostrada, pero que se acepta, ya que no existe otro principio al que pueda ser referida.[1]…5 kB (628 palabras) - 23:17 30 ene 2024
Los fundamentos de las matemáticas son el estudio de conceptos matemáticos básicos como números, figuras geométricas, conjuntos, funciones, etc. y cómo…45 kB (5079 palabras) - 14:26 10 abr 2024
Para un tratamiento más general de los fenómenos recursivos, ver el artículo de Recursión. Recursión es, en ciencias de la computación, una forma de atajar…33 kB (3654 palabras) - 17:13 27 ago 2024- La semántica formal es el estudio de las interpretaciones de los lenguajes formales.[1] Los lenguajes formales pueden definirse sin necesidad de dar ningún…4 kB (618 palabras) - 23:29 12 ago 2024
- El cálculo lógico, o derivación lógica, es un algoritmo o sistema lógico que permite inferir o deducir un enunciado verdadero a partir de otro u otros…46 kB (4658 palabras) - 17:54 22 oct 2024
- En lógica, la contraposición lógica es una ley que dice que, para cada sentencia condicional, hay una equivalencia lógica entre la misma y su contraposición…23 kB (3153 palabras) - 17:08 22 jul 2024
- En teoría de la complejidad computacional, el Problema de satisfacibilidad booleana (también llamado SAT) fue el primer problema identificado como perteneciente…9 kB (1360 palabras) - 12:45 6 jul 2024
- En filosofía de las matemáticas, el intuicionismo o neointuicionismo (contrario a preintuicionismo) es una aproximación a las matemáticas que considera…3 kB (445 palabras) - 01:52 12 mar 2024
- En lógica y matemáticas, un sistema axiomático consiste en un conjunto de axiomas que se utilizan, mediante deducciones, para demostrar teoremas. En otras…9 kB (1315 palabras) - 02:51 25 abr 2024
