חיפוש ברשת
מילון
חיפוש בפורום
推理规则 – מילון עברי-אנגלי
לצערנו, לא נמצאו תוצאות באנגלית עבור "推理规则"
Wikipedia 维基中文 免费百科全书
הורד מילון בבילון 9 למחשב שלך
推理规则
在
逻辑
中，特别是
数理逻辑
中，
推理规则
(推论规则)是构造有效
推论
的方案。这些方案建立在一组叫做
前提
的公式和叫做
结论
的断言之间的
语法
关系。这些语法关系用于推理过程中，新的真的断言从其他已知的断言得出。规则也适用于
非形式逻辑
和
逻辑论证
，但是形式化更加困难和有争议。
按照规定，推理规则的应用纯粹是语法过程。尽管如此它必须是有效的，或者更精确的说保持有效性。为了使保持有效性的要求有意义，某种形式的
语义
与推理规则有关和推理规则自身的断言是必需的。对于在推理规则和和语义之间相互关系的讨论请参见
命题逻辑
。
命题逻辑中推理规则的显著例子是
肯定前件
和否定后件规则。对于一阶
谓词逻辑
，推理规则需要处理
逻辑量词
。对这种论证的更详细的描述请参见
有效性
。在一阶谓词逻辑中把所有推理规则作为一个单一规则来统一处理请参见
一阶归结
。
访问 Wikipedia.org... 网页
本文章的材料选自
维基百科
(R)
, 并有
GNU 免费文件许
推理规则 – מילון עברי-עברי
לצערנו, לא נמצאו תוצאות בעברית עבור "推理规则"
Wikipedia 维基中文 免费百科全书
הורד מילון בבילון 9 למחשב שלך
推理规则
在
逻辑
中，特别是
数理逻辑
中，
推理规则
(推论规则)是构造有效
推论
的方案。这些方案建立在一组叫做
前提
的公式和叫做
结论
的断言之间的
语法
关系。这些语法关系用于推理过程中，新的真的断言从其他已知的断言得出。规则也适用于
非形式逻辑
和
逻辑论证
，但是形式化更加困难和有争议。
按照规定，推理规则的应用纯粹是语法过程。尽管如此它必须是有效的，或者更精确的说保持有效性。为了使保持有效性的要求有意义，某种形式的
语义
与推理规则有关和推理规则自身的断言是必需的。对于在推理规则和和语义之间相互关系的讨论请参见
命题逻辑
。
命题逻辑中推理规则的显著例子是
肯定前件
和否定后件规则。对于一阶
谓词逻辑
，推理规则需要处理
逻辑量词
。对这种论证的更详细的描述请参见
有效性
。在一阶谓词逻辑中把所有推理规则作为一个单一规则来统一处理请参见
一阶归结
。
访问 Wikipedia.org... 网页
本文章的材料选自
维基百科
(R)
, 并有
GNU 免费文件许
© 2007
מילון
G בבילון אונליין - נתמך ע"י מילון בבילון 9
