eng

TDK Mantık Terimleri Sözlüğü (M)

A B C Ç D E F G H I İ J K L M N O Ö P R S Ş T U Ü V Y Z
M - 1. Sayfa
mantık :
Önermelerin tutarlılığı ile çıkarımların geçerliliğini belirleyen ...
mantık dizgesi :
Geçerli mantıksal dizgelerin ortak yapısını belirleyen mantıksal ...
mantık kuralı :
İçerme kuralı ya da eşdeğerlik kuralı.
mantık yasası :
Boş içerenli içerme kuralı ya da başka bir deyişle geçerliliği ka ...
mantıkça doğru önerme :
Bakınız: geçerli önerme
mantıkça kapalı önermeler kümesi :
Tüm mantıksal sonuçlarını kapsayan önermeler kümesi. || Örn. Geçe ...
mantıkça yanlış önerme :
Bakınız: tutarsız önerme
mantıksal çarpım :
Bakınız: Tümel-evetleme
mantıksal çatışkı :
Bir önermenin gerek kendisinden gerek değillemesinden çelişme tür ...
mantıksal çıkarım kuralı :
Mantıksal önerme kalıplarına ilişkin çıkarım kuralı. || Örn. (?)
mantıksal değişmez :
Önermelerin tutarlı, çıkarımların da geçerli olup olmadığını beli ...
mantıksal deyim :
Hiç bir mantıksal olmayan im kapsamayan, başka bir deyişle salt m ...
mantıksal dizge :
Bir biçimsel dil ile bu dile ilişkin mantıksal ilkel çıkarım kura ...
mantıksal dönüştürme kuralı :
Eşdeğerlik kuralı.
mantıksal içerme :
Bakınız: içerme
mantıksal ilksav :
Geçerli bir mantıksal dizgede mantıksal, ilkel, öncülsüz bir çıka ...
mantıksal ilksav kalıbı :
Bir biçimsel dizgede, öncülsüz ilkel geçerli çıkarım kuralı. || Ö ...
mantıksal im :
Bir biçimsel dilde mantıksal değişmez ya da değişken.
mantıksal kalıp :
Mantıksal olmayan sözedilen dil değişmezi kapsamayan kalıp.
mantıksal kanıtsav :
Geçerli bir mantıksal dizgede, öncülsüz bir çıkarımın sonucu olar ...
mantıksal kapanış :
K gibi bir önerme kümesinin mantıksal kapanışı, K kümesinin mantı ...
mantıksal kipsel yönetici :
Evrensel almaşıklık bağıntısına dayanan kipsel yönetici. || Örn. ...
mantıksal olmayan değişmez :
Bir biçimsel dilin ayrı yorumlarda ayrı anlam kazanabilen bir değ ...
mantıksal olmayan ilksav :
Bakınız: özel ilksav
mantıksal sonuç :
p önermesinin K gibi bir önerme kümesinin mantıksal bir sonuç'u o ...
mantıksal toplam :
Bakınız: Tikei-Evetleme
mantıksal zorunluluk yöneticisi :
Evrensel almaşıklık bağıntısına dayanan zorunluluk yöneticisi || ...
matematiksel mantık :
Matematikle yakın ilişki içinde olduğu, matematiğin temellerini a ...
metamatematik :
Bakınız: kanıtlama kuramı
modern mantık :
Bakınız: çağdaş mantık