doğrulam
Türkçe[değiştir]
Ad[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]
çeviriler
|