Variable proposicional

Variable 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 proposicionales, usadas en lógica proposicional y en lógicas superiores.

Las fórmulas en lógica son comúnmente construidad recursivamente a partir de algunas variables proposicionales, algún número de conectivos lógicos, y algunos cuantificadores lógicos. Las variables proposicionales son las fórmulas atómicas de la lógica proposicional. Por ejemplo, en una lógica proposicional dada, se podría definir una fórmula de la siguiente manera:

  • Cada variable proposicional es una fórmula.
  • Dada una fórmula X, su negación ¬X es una fórmula.
  • Dadas dos fórmulas X e Y, y un conectivo binario b (como por ejemplo la conjunción ∧), entonces (X b Y) es una fórmula.

De este modo, todas las fórmulas de la lógica proposicional son construidas utilizando variables proposicionales como unidades básicas.

Las variables proposicionales son representadas como predicados 0-arios en lógica de primer orden.

Véase también

Referencias

  • Smullyan, Raymond M. First-Order Logic. 1968. Dover edition, 1995. Capítulo 1.1: Formulas of Propositional Logic.

Wikimedia foundation. 2010.

Игры ⚽ Нужна курсовая?

Mira otros diccionarios:

  • Ló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

  • Ló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

  • Algoritmo DPLL — El algoritmo DPLL/Davis Putnam Logemann Loveland es un algoritmo completo basado en la vuelta atrás que sirve para decidir la satisfacibilidad de las fórmulas de lógica proposicional en una forma normal conjuntiva, es decir, para resolver el… …   Wikipedia Español

  • Cá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

  • Ló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

  • Función — (Del lat. functio, onis.) ► sustantivo femenino 1 BIOLOGÍA Actividad o capacidad de acción específica de un ser vivo y de sus órganos: ■ la función del riñón; la función clorofílica. 2 Desempeño de un cargo u oficio: ■ el vicepresidente desempeña …   Enciclopedia Universal

  • Axioma — Saltar a navegación, búsqueda Un axioma, en epistemología, es una verdad evidente que no requiere demostración, pues se justifica a sí misma, y sobre la cual se construye el resto de conocimientos por medio de la deducción; aunque, no todos los… …   Wikipedia Español

  • Alfred Tarski — Nacimiento 14 de enero …   Wikipedia Español

  • Tabla de verdad — Una tabla de verdad, o tabla de valores de verdad, es una tabla que despliega el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.[1] Fue desarrollada por Charles… …   Wikipedia Español

  • Cálculo — Saltar a navegación, búsqueda Para otros usos de este término, véase Cálculo (desambiguación). Para cálculo infinitesimal (diferencial o integral) véase Cálculo infinitesimal Para el estudio de los números reales, los complejos, los vectores y… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”