Spiegazione
In Logica una proposizione (proposizione logica) è una frase che possiede un valore di verità: vero o falso.
Sono proposizioni:

• Roma è la capitale d'Italia (vero)
• Due è un numero dispari (falso)
• 4 x 6 = 24 (vero)

Non sono proposizioni:

• Stai attento! (è un comando)
• Dove vai? (è una domanda)
• Ehilà (è un'esclamazione)
• Marta è simpatica (non è possibile stabilire il valore di verità in modo certo in quanto non tutti conoscono Marta e quelli che la conoscono, probabilmente, avranno opinioni diverse)

Una proposizione logica semplice è composta da un soggetto e da un predicato. Una proposizione semplice generica si indica con una lettera minuscola dell'alfabeto.
Le proposizioni si possono unire formando le proposizioni logiche composte, attraverso i connettivi logici ossia operatori che uniscono le proposizioni logiche semplici dando origine ad una nuova proposizione con un valore di verità. I principali connettivi logici sono: la congiunzione logica (simbolo corrispondente alla e in italiano e and in inglese); la disgiunzione logica inclusiva (simbolo corrispondente alla o in italiano, or in inglese, vel in latino); la disgiunzione logica esclusiva (simbolo corrispondente alla o in italiano, xor in inglese, aut in latino); l'implicazione logica (simbolo corrispondente a se .... allora in italiano, if ..... then .... in inglese); l'equivalenza logica (simbolo corrispondente a se e solo se in italiano, if and only if in inglese)