doğrulam

Vikisözlük sitesinden
Gezinti kısmına atla Arama kısmına atla

Türkçe[düzenle]

[düzenle]

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[düzenle]

  • '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[düzenle]

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

Çeviriler[düzenle]