文件名称：Symbolic-Logic
文件大小：3KB
文件格式：ZIP
更新时间：2024-04-25 02:46:34
Python
符号逻辑 对于谓词逻辑或句子逻辑 infixtopolish（wff）是一个使用infix表示法wff并输出波兰语表示法的函数 Polishtoinfix（wff）是一种采用波兰表示法wff并输出后缀表示法的函数 infix_wff_check（wff）检查一下中缀符号句子是否格式正确 wffcheck（wff）检查波兰语符号句子的格式是否正确 运算符为：〜，＆，v，>，<>，（3x）[存在]，（4x）[通用量词]。 您也可以为量词输入unicode字符。 请注意，您不能将“ v”用作变量或名称，因为它用于析取。 开始增加在变量或对象后使用星号的功能，以增加变量和对象名的数量，但尚未完成。
【文件预览】：
Symbolic-Logic-main
----predicate_logic.py(7KB)
----README.md(789B)