Soal (sedang): Tidak ada A yang B. Semua C adalah A. Simpulan yang pasti benar adalah …
Pilihan:
Tidak ada C yang B
Semua C adalah B
Semua B adalah C
Sebagian C adalah B
Tidak ada A yang C
Jawaban: Tidak ada C yang B
Pembahasan: C ⊆ A dan A ∩ B = ∅ → C ∩ B = ∅.