When to Use Logic

Logic is a preferred representation and reasoning method in cases where the data are discrete and there is ``absolute truth''. Such applications include:

• Mathematical theorem proving.

• Proofs of correctness of computer programs.

• Proofs of correctness of logic designs.