TDK Mantık Terimleri Sözlüğü

genel terim salt mantıksal kuram belit koyut biçimsel mantık orta terim gerçekleme sınama konut kalıp yansımalı bağıntı Sonuç kapsam ilksav Öğe nesne yargı totoloji tanıt öznitelik karşı örnek kaplam çatışkı bileşen bütün eşitlik evren geçerli çıkarım eklem dizimsel tür çıkarım terim eşsayılı kümeler bilgisel sonuç Ad yasal biçim sav niceleyici içerme ayrıklık tikel-evetleme sayal sayı Nitelik olmayana ergi yöntemi betim kavram Dil yorum doğruluk çizelgesi nicelik düpedüz geçersiz çıkarım bağıntı yorumlama önermeler mantığı altküme varsayım önek çelişmezlik ilkesi metamatematik kapanış izerge çok bileşenli tümel-evetleme gerekli koşul biçimsel özellik yönetici Üye Eşdeğerlik biçimsel tanım evirme denetleme dağıtılmış terim çatal açma kuralları en ince simgeleştirme dizi bağdaşmazlık eklemi denklik bağıntısı birleşim imi en büyük tutarlı küme değillemeli-ikil önerme kalıpları biçimsel dizge çözümleyici çizelge çıkarım imi bireysel olmayan değişken birlikte anlamlı deyim çözümleyici küme Değerleme bölümsel yönetici birli çekirdek açık önerme Birey artek yazılış biçimi eşanlamlı doğruluk izergesi çözümleme kuralları çelişme birli geçerlilik eklemi anlamdaş deyimler bağlam tümdengelim değer alanı arakesit