Situaciones problémicas de silogismos categóricos
Identificar en dicho silogismo las diferentes proposiciones categóricas, y proponer una representación mediante Diagramas de Venn de las diferentes relaciones entre las clases implicadas, según las proposiciones categóricas:
. Ningún submarino atómico es barco comercial. Ningún buque de guerra es barco comercial. Por lo tanto, los submarinos atómicos son buques de guerra.