pro*_*nda 4 logic boolean-logic reasoning modal-logic
我坚持Kripke语义,并想知道是否有educational software我可以测试语句的等价性等,因为我开始认为它更容易通过实例学习(即使在抽象变量上).
我会用的
do☐true,☐false,♢true,♢false评估值,如果是的话,从什么值集合({true,false}或者{必要,可能})？[1]
我想我读过所有Kripke models使用的duality axiom:
(☐A) - >(¬♢¬A)
即如果有必要,paytax那么它是不允许的paytax
(不论它是否需要纳税......)
IE2.如果它earnmoney不被允许不被允许earnmoney
(再次无论赚钱是否真的有必要,逻辑成立,到目前为止)
因为A-> B相当于¬A<-B让我们测试
¬☐A< - ♢¬A
没有必要,upvote如果允许不这样做upvote
这个公理是双重的:
♢A->¬☐¬A
如果它允许earnmoney那么它没有必要earnmoney
并非所有模态都表现相同,并且不同Kripke model的模型更适合模拟一个模态而不是全部模态:不是所有模态都Kripke models使用相同的模态axioms.(经典量词也是模态吗？如果Kripke models可以的话,可以对它们进行建模吗？)
我将通过常见公理列表,并试图找到使其看起来违反直觉或不必要假设的例子......
如果(必要的(赚钱金意味着支付))那么((赚钱的必要性)暗示(支付货币的必要性))
请注意,赚钱并不意味着纳税,暗示A-> B的谎言不影响公理的真值......
你花了很长时间才能说出我试图理解这一切的问题......随意编辑
模态逻辑证明器和推理器:
Java中的引擎表:
模态逻辑计算器:
认知逻辑的实际游戏实现讲座:
非常好的博士论文:
关于模态逻辑的讲座(在行动中,冲突,游戏):
关于模态逻辑和逻辑的视频讲座: