A negação da proposição “Se João for eleito prefeito, demonstrará força política e disputará a eleição presidencial da República” é logicamente equivalente a “João é eleito prefeito, mas não demonstra força política e não disputará a eleição presidencial da República”.