As proposições podem ser escritas por meio de linguagem simbólica. A seguir são dados os símbolos (conectivos) e seus respectivos significados:

símbolo significado
~ não
∨ ou
∧ e
→ implicação
↔ dupla implicação

Considere as duas proposições a seguir:
p: Luiz Antônio é comerciante
q: Leda é esteticista

A proposição composta ~(~p ∨ q), em linguagem corrente, é: