doğrulam anlamı İng. verifying interpretation, model Osm. model Alm. Modell Fr. modèle
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.