Satu pernyataan

Dua pernyataan

Tiga pernyataan

Empat pernyataan

Mengandung pernyataan bersyarat

Semua premis mengandung kata 'semua'

Tidak ada kesimpulan

Hanya terdiri dari satu premis

[(p => q) ⋀ p] => q

[(p v q) ⋀ p] => ~q

[(p => q) ⋀ ~p] => ~q

[(p = q) ⋀ (q = r)] => p = r

Mengandung kata 'dan'

Mengandung kata 'atau'

Hanya terdiri dari satu premis

Tidak ada kesimpulan

Galih tidak belajar

Galih sudah belajar

Galih tidak lulus ujian

Galih lulus ujian

Sebagian anak Teater tidak melaksanakan ujian

Tidak ada anak Teater

Semua anak Teater akan melaksanakan ujian

Semua anak Teater tidak melaksanakan ujian

Leny Ana tidak suka bunga

Bunga yang dibawa Leny Ana dari taman Keputren

Bunga yang dibawa Leny Ana bukan dari taman Keputren

Semua bunga di taman Keputren berwarna biru

Semua radio tidak memakai antena panjang

Ada radio yang tidak memakai antena panjang, tidak memakai baterai

Ada radio yang tidak memakai baterai

Ada radio yang tidak memakai antena panjang, memakai baterai

Anton seorang dokter yang membawa stetoskop

Anton seorang dokter yang berbaju putih

Anton bukan seorang dokter

Anton seorang dokter

Semua anak Pak Deni suka pohon kuning

Tara adalah anak Pak Deni

Tangkai pohon yang dibawa Tara bukan dari kebun Pak Deni

Tangkai pohon yang dibawa Tara dari kebun Pak Deni

Badu tidak mempunyai uang kontan

Badu membayar kontan untuk naik kereta api

Badu membayar dengan tiket abonemen

Badu tidak membayar untuk naik kereta api

Indonesia tidak bermasalah dengan kemiskinan

Indonesia bermasalah dengan tingkat kemiskinan

Indonesia tidak bermasalah dengan tingkat pengangguran

Indonesia masih bermasalah dengan tingkat pengangguran dan kemiskinan yang tinggi

Yusuf adalah bukan korban yang berhak menerima hadiah

Yusuf adalah korban yang tabungannya lebih dari tiga juta rupiah

Yusuf adalah korban yang berhak menerima hadiah

Yusuf adalah korban yang tabungannya tiga juta rupiah