Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
- Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar…44 kB (5602 palabras) - 15:56 13 feb 2024
- La lógica proposicional, también llamada lógica de enunciados, lógica de orden cero o cálculo proposicional, es un sistema formal cuyos elementos más simples…43 kB (5302 palabras) - 18:55 10 feb 2024
- Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.[1] Los operadores modales…27 kB (3995 palabras) - 16:14 20 ene 2024
- La lógica difusa (también llamada lógica borrosa (en inglés: fuzzy logic)) es una lógica paraconsistente multivaluada en la cual los valores de verdad…26 kB (3384 palabras) - 20:04 4 ene 2024
En lógica, una conectiva lógica, o también conectiva (también llamado operador lógico o conectores lógicos) es un símbolo o palabra que se utiliza para…27 kB (2568 palabras) - 12:21 7 feb 2024- En lógica matemática, el cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y…45 kB (6137 palabras) - 23:56 27 ene 2024
En lógica matemática, una fórmula bien formada, también llamada expresión bien formada, y a menudo abreviada fbf o EBF, es una cadena de caracteres o palabra…2 kB (198 palabras) - 22:36 2 feb 2023- La lógica intuicionista, o lógica constructivista, es el sistema lógico originalmente desarrollado por Arend Heyting para proveer una base formal para…3 kB (340 palabras) - 00:05 2 dic 2023
- Una lógica de segundo orden es una extensión de una lógica de primer orden en la que se añaden variables que representan propiedades, funciones y relaciones…8 kB (1188 palabras) - 09:33 5 ene 2024
- Una lógica plurivalente o lógica polivalente es un sistema lógico que rechaza el principio del tercero excluido de las lógicas bivalentes y admite más…5 kB (689 palabras) - 00:05 2 dic 2023
- La deducción natural es una aproximación a la teoría de la demostración en la que se busca capturar la manera en que las personas razonan naturalmente…11 kB (330 palabras) - 18:45 19 ene 2024
- Una lógica paraconsistente es un sistema lógico que intenta tratar las contradicciones en forma atenuada. Alternativamente, la lógica paraconsistente es…20 kB (1040 palabras) - 15:59 13 feb 2024
- En física, la lógica cuántica es el conjunto de reglas algebraicas que rigen las operaciones para combinar y los predicados para relacionar proposiciones…26 kB (1885 palabras) - 17:09 27 ene 2024
- La lógica relevante, también llamada lógica de relevancia, es toda lógica perteneciente a una de las familias de lógicas subestructurales no clásicas que…5 kB (608 palabras) - 11:49 2 may 2024
- Una lógica no monotónica, o lógica no monótona, es un sistema lógico cuya relación de consecuencia lógica es no monotónica. La mayoría de los sistemas…6 kB (868 palabras) - 12:55 20 nov 2023
- La lógica libre (del inglés Free logic) es un sistema lógico sin presupuestos existenciales. Esto es, sus teoremas son válidos en todos los dominios, incluyendo…6 kB (784 palabras) - 19:02 12 oct 2022
- Un sistema deductivo (también nombrado como aparato deductivo de un sistema formal) está constituido de axiomas y reglas de inferencia que pueden ser usados…2 kB (219 palabras) - 05:19 21 ago 2020
- La lógica por defecto es una lógica no monotónica propuesta por Raymond Reiter para formalizar el razonamiento con hipótesis por defecto. La lógica por…2 kB (204 palabras) - 14:13 28 ene 2024
- Cálculo proposicional de Frege, en la Lógica matemática, el cálculo proposicional de Frege fue la primera axiomatización del cálculo proposicional. Fue…18 kB (1038 palabras) - 22:32 8 oct 2021
- La lógica intensional es un sistema formal donde los aspectos intensionales del lenguaje pueden ser representados.[1] Para entender lo que son estos aspectos…5 kB (662 palabras) - 15:12 20 abr 2022
