Propositional variable: Difference between revisions

Revision as of 00:41, 3 March 2021

Revision as of 14:57, 12 June 2021

Line 15:

== Predicate logic ==

Propositional variables can be considered nullary [[Predicate (mathematical logic)|predicates]] in [[first order logic]], because there arewith 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''.

The internal structure of propositional variables contains 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>

== See also ==