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.