位网民共同编写而成。共计
词条,文字。
模态逻辑 正文 逻辑的一个分支,它研究必然、可能及其相关概念的逻辑性质。模态逻辑所研究的命题"必然 A"和"可能 A"与通常命题演算中的命题不同。后者是真值函项,前者不是。因为,当A真时,"必然A"既可以是真也可以是假;当A假时,"可能A"既可以是真也可以是假。 模态三段论 早在古希腊,亚里士多德详细研究过模态三段论。他把命题分为 3种:①实然命题的形式是,"a是b";②必然命题的形式是,"a必然是b";③偶然命题的形式是,"a...[ 阅读全文]
此分类暂无分类人物
互动百科现已成为一个各类专家与维客交流的平台,如果您拥有本分类相关的学历或资历,您可以通过申请成为网站专家。 当您成为专家以后可以很方便的以对词条作出点评,为全球最大中文百科做出您的贡献,感谢您的申请。
您的投诉已经成功提交,感谢您对互动分类工作的支持,3天之内,互动百科站务委员会将给出投诉处理结果。 查看详情