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:
