TDK Mantık Terimleri Sözlüğü

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