英语词汇“syntactic consequence”的英英意思、用法、释义、翻译、读音、例句、短语、词组-英语词典

syntactic consequence

Logic

noun

The relationship by which, in a particular formal logical system, a sentence can be derived from others by the inference rules of the system, without regard to the truth or interpretation of the sentences; logical consequence conceived syntactically, as in proof theory, rather than semantically, as in model theory; (also) a sentence which is derivable from others by the inference rules of a particular formal logical system; often contrasted with semantic consequence.

Origin

1960s; earliest use found in Newman-Studien.

单词	syntactic consequence
释义	syntactic consequence Logic noun The relationship by which, in a particular formal logical system, a sentence can be derived from others by the inference rules of the system, without regard to the truth or interpretation of the sentences; logical consequence conceived syntactically, as in proof theory, rather than semantically, as in model theory; (also) a sentence which is derivable from others by the inference rules of a particular formal logical system; often contrasted with semantic consequence. Origin 1960s; earliest use found in Newman-Studien.
随便看	illite illiteracy illiterate illiterately illiterateness illiterati ill-judged ill-lit ill-looking ill luck ill-made ill-mannered ill-matched ill nature ill-natured ill-naturedly illness illocution illocutionary illogic illogical illogicality illogically ill-omened ill-organised