U è l'insieme degli esseri umani G è l'insieme degli esseri umani che hanno almeno un gatto C è l'insieme degli esseri umani che hanno almeno un cane L'affermazione “Antonio non ha né cani né gatti” si può rendere con
Antonio $in C_U (G nn C)$
Antonio $in$ G $nn$ C
Antonio $!in$ G $nn$ C
Antonio $in C_U (G uu C)$