Considere as seguintes proposições: I. Todo biólogo gosta ...
Lista de símbolos:
⟹ Condicional
⟺ Bicondicional
∧ Conector “e”
∨ Conector “ou”
v Conector “ou”exclusivo
¬ Negação da proposição
I. Todo biólogo gosta de animais. II. Todo naturalista gosta de animais. III. Há biólogos que são naturalistas. IV. Pedro é biólogo.
A partir das proposições anteriores, é possível concluir que: