Lettere proposizionali
Le lettere proposizionali sono i simboli che traducono nel linguaggio oggetto le proposizioni semplici del linguaggio naturale; ogni lettera proposizionale traduce una singola proposizione (una proposizione atomica o formula atomica).

Esempio:

"Giovanni legge un libro"

diventa:

A