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.
随便看	pull the longbow pull the other one pull the other one (it's got bells on) pull the other one it's got bells on pull the other one (it's got bells on) pull the plug pull the plug pull the plug on pull the rug from under pull the rug from under pull the rug (out) from under pull the rug out from under pull the rug (out) from under pull the string pull the strings pull the strings pull the teeth of pull the trigger pull the wool over eyes pull the wool over one's eyes pull the wool over sb's eyes pull the wool over somebody's eyes pull the wool over someone's eyes pull the wool over someone's eyes pull thing to pieces