"propositional constant" meaning in English

See propositional constant in All languages combined, or Wiktionary

Noun

Forms: propositional constants [plural]
Head templates: {{en-noun}} 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. Categories (topical): Logic Related terms: propositional variable
    Sense id: en-propositional_constant-en-noun-HVMAkxzc Categories (other): English entries with incorrect language header, Pages with 1 entry, Pages with entries Topics: human-sciences, logic, mathematics, philosophy, sciences

Inflected forms

{
  "forms": [
    {
      "form": "propositional constants",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "propositional constant (plural propositional constants)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Logic",
          "orig": "en:Logic",
          "parents": [
            "Formal sciences",
            "Philosophy",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "glosses": [
        "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."
      ],
      "id": "en-propositional_constant-en-noun-HVMAkxzc",
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "truth value",
          "truth value"
        ],
        [
          "interpretation",
          "interpretation"
        ],
        [
          "valuation",
          "valuation"
        ],
        [
          "prime formula",
          "prime formula"
        ]
      ],
      "raw_glosses": [
        "(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."
      ],
      "related": [
        {
          "word": "propositional variable"
        }
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ]
    }
  ],
  "word": "propositional constant"
}
{
  "forms": [
    {
      "form": "propositional constants",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "propositional constant (plural propositional constants)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "related": [
    {
      "word": "propositional variable"
    }
  ],
  "senses": [
    {
      "categories": [
        "English countable nouns",
        "English entries with incorrect language header",
        "English lemmas",
        "English multiword terms",
        "English nouns",
        "Pages with 1 entry",
        "Pages with entries",
        "en:Logic"
      ],
      "glosses": [
        "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."
      ],
      "links": [
        [
          "logic",
          "logic"
        ],
        [
          "truth value",
          "truth value"
        ],
        [
          "interpretation",
          "interpretation"
        ],
        [
          "valuation",
          "valuation"
        ],
        [
          "prime formula",
          "prime formula"
        ]
      ],
      "raw_glosses": [
        "(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."
      ],
      "topics": [
        "human-sciences",
        "logic",
        "mathematics",
        "philosophy",
        "sciences"
      ]
    }
  ],
  "word": "propositional constant"
}

Download raw JSONL data for propositional constant meaning in English (1.2kB)


This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2024-11-06 from the enwiktionary dump dated 2024-10-02 using wiktextract (fbeafe8 and 7f03c9b). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.

If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.