eng

saptanır mantıksal dizge ne demek?

saptanır mantıksal dizge

1. Kapsadığı biçimsel dilin mantıkça doğru önermeleri saptanır bir küme oluşturan mantıksal dizge.
2. Geçerli çıkarımlarının geçerliliğini geçersiz çıkarımlarının da geçersizliğinin denetlenebilmesini sağlayan mantıksal dizge. || Örn. Doğrusal eklemler mantığı, birli yüklemler mantığı saptanır dizgelerdir.

TDK Mantık Terimleri Sözlüğü

TDK Mantık Terimleri Sözlüğü İçerisinde Arama