propositional constant
名词 n.
英文释义
名词 n.
- 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.
0 次浏览
数据来源: Wiktionary