lettera enunciativa

lettera enunciativa

lettera enunciativa o lettera proposizionale, in logica, segno dell’alfabeto {a, b, c, …} che, nel linguaggio degli enunciati, rappresenta simbolicamente un enunciato atomico. Gli enunciati più complessi si costruiscono combinando le lettere enunciative per mezzo dei connettivi. Per esempio la frase «2 è un numero pari e primo» può essere tradotta simbolicamente nell’enunciato a ∧ b (si legge «a e b») in cui la lettera enunciativa a rappresenta la frase «2 è un numero pari», la lettera enunciativa b rappresenta la frase «2 è un numero primo» e il simbolo ∧ (si legge «e») rappresenta il connettivo della congiunzione. Le lettere enunciative sono formule indivisibili perché la logica enunciativa non si interessa della loro struttura interna, ma solamente del loro valore di verità. A ogni lettera enunciativa è infatti assegnato un valore di verità (vero o falso); dai valori di verità delle singole lettere enunciative dipende il valore di verità degli enunciati più complessi. Per esempio, l’affermazione precedente («2 è un numero pari e primo») è vera perché sono veri entrambi gli enunciati atomici, mentre «4 è un numero pari e primo» è falsa perché uno dei due enunciati atomici è falso. In generale, è sempre possibile ricavare il valore di verità di un enunciato a partire dal valore di verità delle lettere enunciative che lo compongono, utilizzando le tavole di verità.