Considerando as estruturas lógicas, é correto afirmar que (A) a negação da proposição “João é mais alto que Pedro” é “João é mais baixo que Pedro...

Considerando as estruturas lógicas, é correto afirmar que


(A) a negação da proposição “João é mais alto que Pedro” é “João é mais baixo que Pedro”.
(B) “Todo o bombeiro é herói” é equivalente a “Todo o herói é bombeiro”.
(C) sabendo que “Todo A é C” e que “Todo B é C” concluímos que “Algum A é B”.
(D) em uma implicação da forma P→Q, se a proposição P for falsa, a proposição composta P→Q será verdadeira, independentemente do valor verdade de Q.
(E) uma proposição da forma “Ser ou não ser” é uma contradição.