É dada a seguinte proposição:
João não foi trabalhar, mas saiu com amigos.
A negação dessa proposição é logicamente equivalente a
João foi trabalhar ou não saiu com amigos.
João foi trabalhar e não saiu com amigos.
João foi trabalhar e não saiu com inimigos.
João não foi trabalhar ou não saiu com inimigos.
João não foi trabalhar e não saiu com amigos.