The Logic Calculator

Ioannis Votsis

关于此应用

这个免费的应用程序使命题逻辑的用户可以像数学计算器一样轻松地执行操作。通过提供大量反馈，它有助于逻辑学习者。确切地说，使用此应用程序，可以确定：（1）输入格式是否正确；如果不正确，为什么？（2）句子是重言式，自相矛盾还是有条件的；（3）句子集是否一致或不一致？ （4）参数有效或无效。它还会生成真值表，可以将其复制到其他应用程序中。从该版本开始，计算器仅限于语义运算。

新变化

Bug Fixes and update to target API.