Admitindo-se que as proposições “Todos os elefantes são voadores” e “Todos que são voadores comem pipoca” são verdadeiras, julgue o item.
A proposição “Todos que não comem pipoca não são elefantes” é necessariamente verdadeira.
A proposição “Todos que não comem pipoca não são elefantes” é necessariamente verdadeira.