Effective Procedure/Examples

Examples of Effective Procedures

Addition

Determining whether or not a number $c$ is the sum of numbers $a$ and $b$ is solvable using an effective procedure.

Axiom of Predicate Logic

Determining whether or not a WFF of predicate logic is an axiom is solvable using an effective procedure.

Proof in Predicate Logic

Determining whether or not a sequence of WFFs of predicate logic is a proof is solvable using an effective procedure.