网站首页  情感咨询  情感美文  情感百科  情感生活  学习充电  旧版美文

请输入您要查询的百科知识:

 

标题 变程规则
类别 哲学
释义 变程规则     rule of range

卡尔纳普语义系统基础的组成部分。确定语义系统中的每个句子在给定状态描述是否成立的语义规则。所谓一个句子在某一状态描述成立,意指如果状态描述(即所有属于它的原子句)真时,则该句子也真。变程规则有以下五条:(1)一原子句在给定的状态描述成立,当且仅当,该句子属于给定的状态描述。(2)A在给定状态描述成立,当且仅当,A在该状态描述不成立。(3)A∨B在给定状态描述成立,当且仅当,A在该状态描述成立,或B成立,或都成立。(4)A↔B在给定状态描述成立,当且仅当,A和B在该状态描述都成立,或都不成立。(5)一全称句(如( x)P(x))在  

给定状态描述成立,当且仅当,它的辖域的一切实例(‘P(a)’,‘P(b)’,‘P(c)’,…)在该状态描述成立。一句子在其上成立的一切状态描述组成的类,称为该句子的变程。把所有这些规则联在一起,能确定语义系统中任意句子的变程,所以称上述五条为变程规则。

随便看

 

依恋情感网情感百科知识大全收录了49620条情感类百科知识词条,覆盖心理学、哲学、美学等领域,基本涵盖了日常生活中常见问题的详细解释,是情感生活的有利工具。

 

Copyright © 2002-2024 yiyi18.com All Rights Reserved
更新时间:2025/8/4 1:57:25