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, é: