网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
模态命题演算系统S 5的解释。是W，R，v三个部分的有序排列。用符号〈W，R，v〉表示。其中W是可能世界的集合，由可能世界w1，w2，…，wi，…组成;R是定义在集合W上的二元自返、传递、对称关系;v是赋值，满足与T解释相同的条件。一个公式A是S 5有效的，当且仅当，对每一个S 5解释〈W，R，v〉，和对每个可能世界wi(即wi∈W)，都有v(A，wi)=1。也就是说公式A，对任意S 5解释，和对任何可能世界的赋值常真。
依恋情感网情感百科知识大全收录了49620条情感类百科知识词条，覆盖心理学、哲学、美学等领域，基本涵盖了日常生活中常见问题的详细解释，是情感生活的有利工具。