Nella logica matematica, una variabile proposizionale (chiamata anche variabile enunciativa) è una variabile di input (che può essere vera o falsa) di una funzione di verità. Le variabili proposizionali sono gli elementi costitutivi di base delle formule proposizionali, utilizzate nella logica proposizionale e nelle logiche di ordine superiore.