| 11. | For instance many-sorted predicate logic is considered a just variation of predicate logic.
|
| 12. | These form the basis of model theory as the domain of discourse of predicate logic.
|
| 13. | The third follows by elementary predicate logic.
|
| 14. | In this example, the first statement uses propositional ( sentential ) logic and predicate logic.
|
| 15. | Assertions are formulae in predicate logic.
|
| 16. | They successfully transferred key properties of description, modal, and temporal logic to predicate logic.
|
| 17. | The following table shows the longer form, the succinct shorthand, and equivalent expressions in predicate logic:
|
| 18. | They are typically based on predicate logic but can also be based on any system of formal logic.
|
| 19. | Frege's original system of predicate logic was second-order, rather than first-order.
|
| 20. | More generally, game semantics may be applied to predicate logic; the new rules allow a dominant witnesses.
|
