Variables roporcinales

Variables proposicionales o letras enunciativas: son letras que
simbolizan proposiciones atómicas (proposiciones que no contienen
conectivos binarios, las que los contienen reciben el nombre deproposiciones moleculares). Se llaman variables porque cada una de ellas
puede representar de forma indistinta cualquier proposición. Dichas
letras se utilizan en minúscula y en orden alfabético, valerecordar que
por una convención en la literatura lógica se utiliza a partir de la p. (p, q,
r, s, t...)
Conectiva lógica
En lógica, una conectiva lógica, o simplemente conectiva, es un símboloque se utiliza para conectar dos fórmulas, de modo que el valor de verdad de la fórmula compuesta dependa del valor de verdad de las fórmulas componentes.
En programación se utilizan para combinarvalores de verdad y obtener nuevos valores que determinen el flujo de control de un algoritmo o programa.
Las conectivas lógicas son, junto con los cuantificadores, las principales constantes lógicas demuchos sistemas lógicos, principalmente la lógica proposicional y la lógica de predicados.
Conectivas
Las conectivas son funciones de verdad. Quiere decir que son funciones que toman uno o dosvalores de verdad, y devuelven un único valor de verdad. En consecuencia, cada conectiva lógica puede ser definida mediante una tabla de valores de verdad que indique qué valor devuelve la conectiva paracada combinación de valores de verdad. A continuación hay una tabla con las conectivas más usuales y su definición mediante tablas de verdad:
Conectiva Notación Ejemplo
de uso Análogo
naturalEjemplo de uso en
el lenguaje natural Tabla de verdad
Negación no No está lloviendo.
Conjunción
y Está lloviendo y es de noche.
Disyunción
o Está lloviendo o es de noche.Condicional material
si... entonces Si está lloviendo, entonces es de noche.
Bicondicional
si y sólo si Está lloviendo si y sólo si es de noche.
Negación
conjunta ni... ni Ni está...