Toda afirmativa que pode ser julgada como verdadeira ou f...

Toda afirmativa que pode ser julgada como verdadeira ou falsa é denominada proposição.

Considere que A e B representem proposições básicas e que as expressões A V B e ¬A sejam proposições compostas. A proposição A V B é F quando A e B são F, caso contrário, é V, e ¬A é F quando A é V, e é V quando A é F.

Se a afirmativa "todos os beija-flores voam rapidamente" for considerada falsa, então a afirmativa "algum beija-flor não voa rapidamente" tem de ser considerada verdadeira.