Uma negação lógica para a afirmação “Existe Fulano que ou trabalha para Cicrano ou trabalha para Beltrano” é:

Existe Fulano que não trabalha para Cicrano e não trabalha para Beltrano.

Todo Fulano ou não trabalha para Cicrano ou não trabalha para Beltrano.

Todo Fulano trabalha para Cicrano se, e somente se, trabalha para Beltrano.

Existe Fulano que se trabalha para Cicrano, então trabalha para Beltrano.

Todo Fulano não trabalha para Cicrano se, e somente se, trabalha para Beltrano.