Dua premis digabung menjadi satu kesimpulan yang sah.
Gabungkan syarat-syarat untuk menyusun posisi atau urutan yang benar.
Pernyataan "semua / sebagian / tidak ada" digambarkan sebagai lingkaran himpunan.
Sebuah pernyataan diubah menjadi ingkaran, konvers, invers, atau kontraposisinya.
Nilai apakah kesimpulan benar-benar mengikuti premis-premisnya secara logis.