modern mantık
(isim, mantık)Akıl yürütmenin simgesel ve matematiksel incelenmesi.
-
Biçimsel çıkarım incelemesi
(isim, mantık) Akıl yürütmelerin geçerliliğini matematiksel biçimlendirme, simgesel diller ve açık çıkarım kurallarıyla inceleyen düşünme disiplini; ilgili: → çıkarım.
Tanım kaynağı: BİTİGÇİ özgün içerik üretimi · 29.10.2026 16:10:16 · Türkiye saati (UTC+3)