Proposições

Uma proposição é uma afirmação passível de assumir valor lógico verdadeiro ou falso.
Toda proposição é somente verdadeira ou falsa (princípio do terceiro excluído).
Uma proposição não pode ser verdadeira e falsa (princípio da não-contradição).

Exemplos:
2>1 (V)
5=1 (F)

Conectivos lógicos

Proposições podem ser conectadas através dos seguintes conectivos:
“~” ou “!” – negação
“Ʌ” – conectivo “e”
“V” – conectivo “ou”
“→” – conectivo “implica”
“↔” – conectivo “se e somente se”

Exemplos:
Sejam “p” e “q” proposições.
~p é verdadeira se p for falsa, e vice-versa;
“p e q” é verdadeira se ambas forem verdadeiras, e falsa caso contrário;
“p ou q” é verdadeira se pelo menos uma delas for verdadeira, e falsa caso contrário;
“p → q” é verdadeira se o primeiro operando é verdadeiro e o segundo éfalso;
“p ↔ q “ é verdadeira se ambos operandos forem verdadeiros ou ambos falsos;