saptama yöntemi anlamı İng. decision procedure Alm. Entscheidungsverfahren Fr. procédure de décision
1- Bir biçimsel dizgede, verilen bir önermenin kanıtsav olup olmadığını sonlu sayıda adımla belirlemeğe yarayan dizimsel yöntem. 2- Saptanır herhangi bir kümenin ayırt edici izergesine ilişkin işlemleyici.