Appartenente o riferito ad una proposizione, che è un enunciato dotato di significato completo e autonomo all’interno di un discorso.
Riferito a una proposizione o a un insieme di proposizioni che possono essere sottoposte a un calcolo algebrico noto come calcolo proposizionale.