propositional constant

From Wiktionary, the free dictionary
Archived revision by AugPi (talk | contribs) as of 03:41, 19 April 2016.
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

English

[edit]

Noun

[edit]

propositional constant (plural propositional constants)

  1. (logic) One of a set of letters or symbols which are assigned fixed truth values independently of any interpretation or valuation, and each of which qualifies as a prime formula of their language.
[edit]