请输入您要查询的英文单词:

 

单词 semantic consequence
释义

Definition of semantic consequence in English:

semantic consequence

noun
Logic
  • The relationship by which a sentence must be true whenever every member of a given set of sentences is true; logical consequence conceived semantically, as in model theory, rather than syntactically, as in proof theory; (also) a sentence which must be true whenever every member of a given set of sentences is true; contrasted with syntactic consequence.

Origin

1960s.

Definition of semantic consequence in US English:

semantic consequence

noun
Logic
  • The relationship by which a sentence must be true whenever every member of a given set of sentences is true; logical consequence conceived semantically, as in model theory, rather than syntactically, as in proof theory; (also) a sentence which must be true whenever every member of a given set of sentences is true; contrasted with syntactic consequence.

Origin

1960s.

随便看

 

英汉双解词典包含464360条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2024/11/10 1:29:27