TDK Mantık Terimleri Sözlüğü

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