De vuelta a la consecuencia lógica Hasta ahora hemos explicado: El lenguaje de la lógica proposicional con su vocabulario: las variables proposicionales ( p, q, r ), las conectivas lógicas (,,, ), los paréntesis [(, )] y su gramática.
El lenguaje proposicional El lenguaje de la lógica proposicional contiene variables proposicionales (que representamos con las letras p, q, r, s... ) y conectivas lógicas (,,, ), además de dos paréntesis, izquierdo y derecho: ().
En las tablas que siguen se recoge el significado de las conectivas.
Finalmente, cuando interpretamos las variables proposicionales en una fórmula, el significado de las conectivas lógicas determinará un único valor de verdad para la fórmula en esa interpretación.
Las conectivas lógicas son el cemento para formar fórmulas complejas.
Las conectivas lógicas son funciones de verdad, es decir, son expresiones que, al introducirles valores de verdad (verdadero o falso), devuelven valores de verdad.
Las conectivas que unen dos fórmulas —es decir, todas menos la negación— llevan paréntesis.
Las variables proposicionales son los elementos mínimos del lenguaje proposicional; al formalizar, sustituimos las oraciones simples (sin conectivas lógicas) por variables proposicionales.
Significado de las conectivas lógicas Las conectivas lógicas significan intuitivamente: negación ( ), conjunción ( ), disyunción ( ) y condicional ( ).
Los ejemplos de YourDictionary.com han sido recopilados de diversas fuentes para reflejar el uso actual e histórico de la lengua. Estos ejemplos no representan las opiniones de YourDictionary.com.