Silogisme adalah semacam argumen logis yang menerapkan penalaran deduktif untuk sampai pada kesimpulan berdasarkan dua atau lebih proposisi yang ditegaskan atau dianggap benar. Dalam bentuknya yang paling awal, yang didefinisikan oleh Aristoteles, dari kombinasi pernyataan umum dan pernyataan khusus, kesimpulan ditarik. Misalnya, mengetahui bahwa semua manusia adalah fana dan Socrates adalah seorang manusia, kita dapat dengan sah menyimpulkan Socrates adalah fana. Argumen silogistik biasanya direpresentasikan dalam tiga baris f