Resultados de la búsqueda

Ir a la navegación Ir a la búsqueda

Para más opciones de búsqueda, vea Ayuda:Búsqueda.

  • verdad.[2]​ La lógica matemática es la rama más matemática de la lógica, que estudia la inferencia mediante sistemas formales como la lógica proposicional
    7 kB (4522 palabras) - 00:16 20 jun 2020
  • La lógica difusa (también llamada lógica borrosa) se basa en lo relativo de lo observado como posición diferencial. Este tipo de lógica toma dos valores
    18 kB (2523 palabras) - 14:13 23 jun 2020
  • 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
    26 kB (2555 palabras) - 22:22 30 jun 2020
  • 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,
    16 kB (3504 palabras) - 14:08 26 jun 2020
  • Una lógica proposicional, o a veces lógica de orden cero, es un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes
    43 kB (5267 palabras) - 04:27 24 jun 2020
  • Una puerta lógica, o compuerta lógica, es un dispositivo electrónico con una función booleana u otras funciones como sumar o restar, incluyen o excluyen
    19 kB (1718 palabras) - 15:32 9 jun 2020
  • La programación lógica es un tipo de paradigmas de programación dentro del paradigma de programación declarativa. El resto de los subparadigmas de programación
    9 kB (1164 palabras) - 14:52 29 nov 2019
  • En lógica, la consecuencia lógica es la relación entre las premisas y la conclusión de un argumento deductivamente válido.[1]​ La relación de consecuencia
    3 kB (353 palabras) - 16:35 20 mar 2020
  • 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
    43 kB (5602 palabras) - 16:43 19 ene 2020
  • razonamiento formal, una conjunción lógica ( ∧ {\displaystyle \land } ) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en
    6 kB (816 palabras) - 06:12 7 may 2020
  • La lógica binaria es la que trabaja con variables binarias y operaciones lógicas del Álgebra de Boole. Así, las variables sólo toman dos valores discretos
    7 kB (1196 palabras) - 12:52 2 jun 2020
  • El empirismo lógico, también llamado neopositivismo, positivismo lógico o empirismo racional, es una corriente en la filosofía de la ciencia que limita
    31 kB (4264 palabras) - 22:58 6 jun 2020
  • ejemplos más comunes de lógicas clásicas son la lógica proposicional, la lógica de primer orden y la lógica de segundo orden. Las lógicas clásicas son los sistemas
    3 kB (1935 palabras) - 05:47 12 jul 2019
  • 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 (702 palabras) - 13:55 14 ago 2019
  • una disyunción lógica ( ∨ {\displaystyle \lor } ) (en específico, una disyunción inclusiva) entre dos proposiciones es un conector lógico, cuyo valor de
    8 kB (1067 palabras) - 16:36 8 jun 2020
  • En lógica, una constante lógica es una expresión que cuya presencia y posición determina la forma lógica de una proposición,[1]​ y por extensión la validez
    10 kB (1148 palabras) - 22:15 12 jul 2019
  • lógica deóntica, la lógica temporal, la lógica epistémica y la lógica doxástica. La lógica modal sólo agrega dos símbolos al vocabulario de la lógica
    27 kB (3972 palabras) - 23:34 16 feb 2020
  • Una lógica clásica es un sistema lógico que admite solo dos valores de verdad para sus enunciados (premisas y conclusión). En la lógica bivalente, una
    2 kB (280 palabras) - 18:56 10 jun 2020
  • constantes lógicas) de ese lenguaje.[1]​[2]​ En algunos textos y contextos (v.g. cálculo lógico y lógica matemática), las verdades lógicas se conocen
    4 kB (535 palabras) - 16:00 27 mar 2020
  • 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
    47 kB (4641 palabras) - 14:54 2 mar 2020

Resultados de proyectos hermanos

Ver (20 previas · 20 siguientes) (20 · 50 · 100 · 250 · 500).