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.
Contents
Page-10
Prev
Next
Page+10
Index