proposicional

  • 1proposicional — adj. 2 g. 1. Relativo à proposição. 2. cálculo proposicional: álgebra lógica ou álgebra das proposições …

    Dicionário da Língua Portuguesa

  • 2proposicional — adj. Perteneciente o relativo a las proposiciones de la lógica. ☛ V. cálculo proposicional …

    Diccionario de la lengua española

  • 3proposicional — ► adjetivo LÓGICA De la proposición. * * * proposicional. adj. Perteneciente o relativo a las proposiciones de la lógica. □ V. cálculo proposicional. * * * (as used in expressions) actitud proposicional cálculo proposicional …

    Enciclopedia Universal

  • 4proposicional — pro|po|si|ci|o|nal Mot Agut Adjectiu invariable …

    Diccionari Català-Català

  • 5Lógica proposicional — En lógica, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En lógica proposicional, las fórmulas representan proposiciones y las conectivas lógicas son operaciones sobre dichas fórmulas, capaces de …

    Wikipedia Español

  • 6Variable proposicional — En lógica matemática, una variable proposional (también llamada variable sentencial o letra sentencial) es una variable que puede ser verdadera o falsa. Las variables proposicionales son los bloques de construcción básicos de las fórmulas… …

    Wikipedia Español

  • 7Lenguaje proposicional — Este artículo o sección tiene una estructura no enciclopédica, más propia de libros avanzados de lógica, con terminología matemática muy técnica que no es compatible con un formato enciclopédico de uso general y difícil de entender para lectores… …

    Wikipedia Español

  • 8cálculo proposicional — Sistema formal de proposiciones y sus relaciones lógicas. En tanto opuesto al cálculo de predicado, las unidades atómicas del cálculo proposicional son proposiciones simples, inanalizadas en vez de predicados. Las proposiciones simples (atómicas) …

    Enciclopedia Universal

  • 9función proposicional — Expresión de tipo enunciativo que puede ser concebida como resultante de una oración al reemplazar los términos constantes presentes en ella por términos variables. Por ejemplo, x fue padre de y puede ser entendida como resultante de Adán fue… …

    Enciclopedia Universal

  • 10actitud proposicional — Estado psicológico expresado por un verbo que puede llevar como complemento una cláusula subordinada que comience con que. Verbos como creer, esperar, temer, desear, intentar y conocer expresan actitudes proposicionales. Los contextos… …

    Enciclopedia Universal

  • 11Cálculo lógico — Saltar a navegación, búsqueda El cálculo lógico, o derivación lógica, es un algoritmo que permite cómoda y fácilmente inferir o deducir un enunciado verdadero a partir de otro u otros que se tienen como válidamente verdaderos. La inferencia o… …

    Wikipedia Español

  • 12Gráficos existenciales — Se denomina Gráficos existenciales (en inglés: existential graphs) al sistema lógico y de notación creado por el lógico y filósofo norteamericano Charles Sanders Peirce. El sistema comprende tanto una notación gráfica original de proposiciones… …

    Wikipedia Español

  • 13Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… …

    Wikipedia Español

  • 14Jan Łukasiewicz — (21 de diciembre de 1878 13 de febrero de 1956) fue un matemático polaco que nació en Lwów, Galicia (actual Ucrania). Su trabajo matemático se centró en la lógica matemática. Él pensó innovar en la tradicional lógica proposicional, el principio… …

    Wikipedia Español

  • 15Lógica — La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico,… …

    Wikipedia Español

  • 16Lógica modal — 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 son expresiones que califican la verdad de los juicios.[1] Por ejemplo, en la oración es… …

    Wikipedia Español

  • 17Símbolos matemáticos — Anexo:Símbolos matemáticos Saltar a navegación, búsqueda Contenido 1 Genéricos 1.1 = 1.2 ≔≡:⇔ 2 Aritmética …

    Wikipedia Español

  • 18Gnoseología — La gnoseología (del griego γνωσις, gnosis, conocimiento o facultad de conocer , y λόγος, logos, razonamiento o discurso ), también llamada teoría del conocimiento, es una rama de la filosofía que estudia la naturaleza, el origen y el alcance del… …

    Wikipedia Español

  • 19Anexo:Símbolos matemáticos — Genéricos Símbolo Nombre se lee como Categoría = igualdad igual a todos x = y significa: x y y son nombres diferentes que hacen referencia a un mismo objeto o ente. 1 + 2 = 6 − 3 …

    Wikipedia Español

  • 20Metalógica — La metalógica es el estudio de las propiedades y los componentes de los sistemas lógicos.[1] Contenido 1 Propiedades metalógicas 1.1 Consistencia 1.2 Decidibilidad …

    Wikipedia Español