effective procedure

logic
Also known as: effectiveness

Learn about this topic in these articles:

formation rules for propositional calculus

  • Alfred North Whitehead
    In formal logic: Formation rules for PC

    …way that there is an effective procedure for determining, again without any reference to interpretation, whether any arbitrary string of symbols is a wff or not. (An effective procedure is one that is “mechanical” in nature and can always be relied on to give a definite result in a finite…

    Read More