doğrulam

Türkçe

Ad

doğrulam (belirtme hâli doğrulamı, çoğulu doğrulamlar)

[1] (mantık) Bir önerme kümesinin her öğesini doğru kılan bir yorum.

Örnekler

• '2' imini 2 sayısı, '3' imini 3 sayısı, '>' yüklemini de eşitlik bağıntısı olarak belirleyen yorum, {2> 2, 3> 3}- önerme kümesinin bir doğrulamıdır.

Kaynakça

• BSTS / Mantık Terimleri Sözlüğü 1976

Çeviriler

çeviriler

• İngilizce: verifying interpretation (en), model (en)