A negação da afirmação – “Se Joana está de óculos ou usando o computador, então pelo menos uma vez no dia Joana já se alimentou” – é logicamente equivalente à:
A negação da afirmação – “Se Joana está de óculos ou usando o computador, então pelo menos uma vez no dia Joana já se alimentou” – é logicamente equivalente à: