TDK Mantık Terimleri Sözlüğü

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