Definition of syntactic consequence in English:

syntactic consequence

noun

Logic

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.

Definition of syntactic consequence in US English:

syntactic consequence

noun

Logic

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
释义	Definition of syntactic consequence in English: syntactic consequence noun Logic 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. Definition of syntactic consequence in US English: syntactic consequence noun Logic 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.
随便看	cause for regret/disappointment cause harm to cause hostility between cause illness to cause inconvenience to cause infection in cause injury to causeless causeless causelessly causelessness causely cause of action cause of action cause of annoyance cause offence to cause one to be hoist with one's own petard cause one to recall cause one to remember cause pain cause pain to causer causer cause raised eyebrows cause resentment 沉潜沉甸甸沉疴沉痛沉痼沉着沉睡沉积沉积岩沉稳 Verdichtungsrauminhalt Verdichtungsregelung Verdichtungsring Verdichtungsspannung Verdichtungsstoß Verdichtungsstreifen Verdichtungsstriche Verdichtungstakt Verdichtungstemperatur Verdichtungstemperaturkurve