In: Computer Science
Conceptually the two most common logics are propositional logic and Predicate Logic.
An undergraduate student who took a course of discrete mathematics is inquiring as to how propositional and predicate logics can be used in software testing. How are ask to guide this student in this quest.
One pointer may consist in presenting the characteristics and limitations of both logic as well as their use as a mean for software testing. Which Logic is most adequate for formal verification of software and how this should be implemented?