doğrulam

Vikisözlük sitesinden

Türkçe[değiştir]

[değiştir]

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[değiştir]

  • '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[değiştir]

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

Çeviriler[değiştir]