TDK Mantık Terimleri Sözlüğü

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