Question

To analyze an atomic statement, a logic called ___________ logic is used.

• A. Boolean
• B. Predicate
• C. Propositional
• D. None of these

Answer 1

The correct option is B Predicate

To analyze an atomic statement, a logic called predicate logic is used.

Predicate logic, is a kind of mathematical logic, which was developed to provide a logical foundation for mathematics, but has been used for inference in other domains.

A predicate is a statement that contains variables, and they may be true or false depending on the values of these variables.

The propositional logic is not powerful enough to represent all types of assertions that are used in computer science and mathematics, or to express certain types of relationship between propositions such as equivalence.