蕴涵 Logical consequence


蕴涵(implication或entailment)在命题逻辑和谓词逻辑中用来描述在两个句子或句子的集合之间的联系。
单词 | Logical entailment |
释义 |
Logical entailment
中文百科
蕴涵 Logical consequence(重定向自Logical entailment)
![]() ![]() 蕴涵(implication或entailment)在命题逻辑和谓词逻辑中用来描述在两个句子或句子的集合之间的联系。
英语百科
Logical consequence 蕴涵(重定向自Logical entailment)
Logical consequence (also entailment) is one of the most fundamental concepts in logic. It is the relationship between statements that holds true when one logically "follows from" one or more others. A valid logical argument is one in which the conclusions follow from its premises, and its conclusions are consequences of its premises. The philosophical analysis of logical consequence involves asking, 'in what sense does a conclusion follow from its premises?' and 'what does it mean for a conclusion to be a consequence of premises?' All of philosophical logic can be thought of as providing accounts of the nature of logical consequence, as well as logical truth. |
随便看 |
|
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。