decision procedure


decision procedure

noun Logic.

  1. a procedure, as an algorithm, for determining in a finite number of steps the validity of any of a certain class of propositions.

Leave a Reply

Your email address will not be published. Required fields are marked *

46 queries 1.379