Dejemos que $C$ sea el conjunto de todos los gatos; $D$ el conjunto de todos los perros; $P$ el conjunto de todos los cerdos; $H$ el conjunto de todos los pollos (por "gallinas"); $W$ el conjunto de todas las vacas.
La afirmación 1 dice que $C\subseteq D$ .
La declaración 2 dice que $D\subseteq W$ .
La declaración 3 dice que $C\cap P\neq\varnothing$ .
La declaración 4 dice que $D\cap H\neq\varnothing$ .
La declaración A dice $H\cap P\neq\varnothing$ . Esto no puede deducirse de las afirmaciones 1-4; por ejemplo, digamos que $C=\{a,b\}$ , $D=\{a,b,c\}$ , $W=\{a,b,c,d\}$ , $P=\{b,q\}$ , $H=\{c\}$ . Entonces las afirmaciones 1-4 son ciertas, pero $H\cap P=\varnothing$ .
El enunciado B dice que $P\subseteq C$ Pero, una vez más, el ejemplo anterior demuestra que esto no puede deducirse únicamente de las afirmaciones 1-4.
El enunciado C dice que $W\cap H\neq\varnothing$ . Esto es cierto: sabemos que existe algún $x\in D\cap H$ (por la declaración 4), y que $D\subseteq W$ (por la afirmación 2); por lo tanto $x\in W$ . Desde $x\in H$ obtenemos $x\in W\cap H$ que, por lo tanto, no es vacío.
Así que los silogismos
Statement 1
Statement 2
Statement 3
Statement 4
-----------
Statement X
no son válidos si X es A o B, y son válidos cuando X es C.