doğrula ne demek?

1. The truth, the right, the thing, cheese, straight line.

doğrulam

1. 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 birdoğrulamıdır.
2. Verifying interpretation, model.
3. Modèle

doğrulam kuramı

1. Biçimsel diller ile yorumlan (özellikle doğrulamları) olan yapılar arasındaki ilişkileri konu edinen yorumsal sözeden kuram.
2. Model theory, theory of models.
3. Théorie des modèles

Türetilmiş Kelimeler (bis)