A negação da sentença composta Antônio é operador de máquina e pedreiro é equivalente a:
Considerando P e Q proposições simples, a fórmula (~Pv~Q) é uma: