Doğru du¨şu¨nmeyi konu olarak ele alan mantık, doğru du¨şu¨nmenin ve (tutarlı) akıl yu¨ru¨tmelerde bulunmanın şartlarını, kurallarını ve biçimini tespit eder. Genellikle u¨ç tu¨rlu¨ akıl yu¨ru¨tmeden bahsedilir. Tu¨mdengelim (ta’lîl), tu¨mevarım (ist ...