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 (5044 palabras) - 09:57 3 may 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…32 kB (5266 palabras) - 21:56 6 abr 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, palabras…7 kB (929 palabras) - 18:25 8 abr 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) - 11:50 8 feb 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) - 11:41 23 ene 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) - 11:25 19 abr 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 (539 palabras) - 15:43 14 mar 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) - 15:00 9 abr 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 (1042 palabras) - 11:54 29 ene 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) - 09:19 13 ene 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 (587 palabras) - 02:04 18 oct 2022
- 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 (4621 palabras) - 12:30 4 feb 2022
- 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 (3154 palabras) - 08:27 1 dic 2023
- 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 (1362 palabras) - 19:00 24 ene 2022
- 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
