∨ Representa a disjunção inclusiva.

∧ Representa a conjunção.

~ Representa a negação.

→ Representa o condicional.

↔ Representa o bicondicional.

Considere que p representa uma proposição verdadeira e q representa uma proposição falsa, então os respectivos valores lógicos das proposições compostas associadas às fórmulas:

• ~p∨q

• ~p∧~q

• ~p→q

• ~p↔~q

São, respectivamente: