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.
随便看	ant heap anthelia anthelic anthelion anthelmintic anthelmintics anthem anthem bell anthemia anthemic anthemic antheming anthemion anthemis anthemise anthemiss Anthemius anthemize anthems anthem-wise anther antheral antheral anthericum anthericums