Raciocínio Lógico — excel

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