网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
亦称“模态命题演算的一致性”。模态逻辑元理论的基本性质。一个模态命题演算系统是可靠的，当且仅当，系统中的定理都是该系统的有效公式。如模态命题演算系统T是可靠的，即系统T中的每个定理都是T有效公式。系统S 4，系统S 5也都是可靠的。
依恋情感网情感百科知识大全收录了49620条情感类百科知识词条，覆盖心理学、哲学、美学等领域，基本涵盖了日常生活中常见问题的详细解释，是情感生活的有利工具。