Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
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
En matemáticas, la inducción es un razonamiento que permite demostrar proposiciones que dependen de una variable n {\displaystyle n\,} que toma una infinidad…20 kB (3785 palabras) - 18:24 9 ene 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, una regla de inferencia, o regla de transformación es una forma lógica que consiste en una función que toma premisas, analiza su sintaxis, y…11 kB (1518 palabras) - 06:34 15 feb 2024
- La teoría de la demostración o teoría de la prueba es una rama de la lógica matemática que trata a las demostraciones como objetos matemáticos, facilitando…9 kB (1263 palabras) - 23:02 27 ene 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 (3154 palabras) - 08:27 1 dic 2023
- La lógica combinatoria es la lógica última y como tal puede ser un modelo simplificado del cómputo, usado en la teoría de la computabilidad (el estudio…20 kB (2732 palabras) - 05:11 8 may 2024
- En teoría de la computabilidad y en teoría de la complejidad computacional, un problema indecidible es un problema de decisión para el cual es imposible…6 kB (790 palabras) - 19:42 6 nov 2020
- En lógica matemática, un consecuente es un tipo muy general de afirmación condicional. A1,…,Am⊢B1,…,Bn.{\displaystyle A_{1},\,\dots ,A_{m}\,\vdash \,B_{1}…22 kB (2858 palabras) - 15:31 13 ene 2024
- En matemáticas, hay múltiples demostraciones matemáticas de contradicciones obvias. A pesar de que las demostraciones son erróneas, los errores son sutiles…8 kB (1075 palabras) - 13:32 22 dic 2022
- En matemáticas, el Programa de Hilbert, formulado por el matemático alemán David Hilbert en la década de 1920, fue una solución propuesta ante la crisis…9 kB (1207 palabras) - 08:49 15 feb 2023
- En matemáticas y en teoría de la demostración, el descenso infinito es un método para demostrar una afirmación sobre números naturales, consistente en…3 kB (442 palabras) - 09:25 24 mar 2024
- En matemáticas, un teorema de existencia es un teorema con un enunciado que comienza 'existe(n)...', o más generalmente 'para todo x, y, ...existe(n) …961 bytes (115 palabras) - 03:03 27 may 2023
- Se entiende que la prueba por contradicción es una forma de demostración utilizada en lógica proposicional del tipo indirecta y esta sigue los siguientes…13 kB (1997 palabras) - 00:48 16 sep 2023
- La inducción fuerte o inducción completa es un método de demostración matemática similar a la inducción matemática común, pero difiere en el razonamiento…3 kB (586 palabras) - 20:23 29 jun 2021
- En teoría de conjuntos, el ordinal de Feferman-Schütte Γ0 es un ordinal grande que puede definirse como el ordinal más pequeño que no puede ser obtenido…1 kB (178 palabras) - 17:06 19 may 2023
En teoría de la demostración y teoría de lenguajes de programación, la correspondencia de Curry-Howard (también llamada isomorfismo de Curry-Howard) es…4 kB (307 palabras) - 02:25 5 feb 2024- La demostración de consistencia de Gentzen de la aritmética de primer orden es un resultado pionero de la teoría de la demostración en lógica matemática…17 kB (2262 palabras) - 06:58 19 abr 2024
- En lógica, las leyes del pensamiento o principios del pensamiento son reglas de inferencia axiomáticas fundamentales que permiten llegar a una consecuencia…2 kB (296 palabras) - 20:08 2 nov 2023
- En lógica matemática, Sistema U y Sistema U− son sistemas de tipos puros, es decir, formas especiales de un cálculo lambda tipado con un número arbitrario…6 kB (695 palabras) - 17:03 10 oct 2023
