Considerando as estruturas lógicas, é correto afirmar que

a negação da proposição “João é mais alto que Pedro” é “João é mais baixo que Pedro”.

“Todo o bombeiro é herói” é equivalente a “Todo o herói é bombeiro”.

sabendo que “Todo A é C” e que “Todo B é C” concluímos que “Algum A é B”.

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.

uma proposição da forma “Ser ou não ser” é uma contradição.