Considere a seguinte afirmação: “O guindaste está operando ou o navio não atracou”. Do ponto de vista da lógica formal, essa afirmação é falsa se, e somente se,