suatu penalaran disebut benar jika penalaran tersebut menunjukan korespondesi antara
pernyataan dan faktanya.
2. alam menyukai burung , dalam proposi ini kata menyukai mempunyai makna sebagai kopula dan
menjadi bagian predikat,adapun kata-kata menyukai burung , dan disimpulkan dari S=P diubah
menjadi alam adalah penyayang burung.
Contoh :
Klasifikasi dikotomis adalah pembagian genus ke dalam dua species yang saling bertentangan,
seperti genus binatang dibagi ke dalam species yang saling bertentangan, yaitu reptilia dan bukan
reptilia.\