TDK Mantık Terimleri Sözlüğü

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