O diagrama lógico que representa a seguinte
proposição: "Todos os gatos são mamíferos,
mas nem todos os mamíferos são gatos", pode
ser representado por meio de um Diagrama de
Venn. Nesse diagrama, o conjunto dos gatos é
representado sem sombreamento. Portanto, o
diagrama correspondente seria: