Mantık Terimleri Sözlüğü
doğrulam
Bir önerme kümesinin her öğesini doğru kılan bir yorum. || Örn.'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.