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.