Content deleted Content added
truth function |
→Predicate logic: zeroth order vs first order logic |
||
Line 15:
== Predicate logic ==
Propositional variables with no object variables such as ''x'' and ''y'' attached to predicate letters such as P''x'' and ''x''R''y'', having instead individual constants ''a'', ''b'', ..attached to predicate letters are propositional constants P''a'', ''a''R''b''. These propositional constants are atomic propositions, not containing propositional operators.
The internal structure of propositional variables contains [[predicate symbol|predicate letters]] such as P and Q, in association with individual variables (e.g., x, ''y''), individual constants such as ''a'' and ''b'' ([[singular term]]s from a [[___domain of discourse]] D), ultimately taking a form such as P''a'', ''a''R''b''.(or with parenthesis, <math>P(11)</math> and <math>R(1, 3)</math>).<ref>{{Cite web|date=2015-06-24|title=Mathematics {{!}} Predicates and Quantifiers {{!}} Set 1|url=https://www.geeksforgeeks.org/mathematic-logic-predicates-quantifiers/|access-date=2020-08-20|website=GeeksforGeeks|language=en-US}}</ref>
Propositional logic is sometimes called [[zeroth-order logic]] due to not considering the internal structure in contrast with [[first-order logic]] which analyzes the internal structure of the atomic sentences.
== See also ==
| |||