Formel ve informel mantık nedir?
Formel mantık, dedüktif akılyürütmelere odaklanmış iken, informel mantık dedüktif-dışı akılyürütmeleri konu edinmektedir. Akılyürütme (reasoning); felsefe, mantık ve yapay zekâ bakımından anahtar bir kavram konumdadır.
