英语词汇“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.
随便看	rare earth element rare earth metal raree-show raree-show man rarefaction rarefactional rarefactive rarefiable rarefication rarefied rarefier rarefy rare gas rare groove rareish rarely rareness rareripe Rarey rariety rarifier rarify rariki raring rariora