Symbolic Logic 源码

符号逻辑 对于谓词逻辑或句子逻辑 infixtopolish(wff)是一个使用infix表示法wff并输出波兰语表示法的函数 Polishtoinfix(wff)是一种采用波兰表示法wff并输出后缀表示法的函数 infix_wff_check(wff)检查一下中缀符号句子是否格式正确 wffcheck(wff)检查波兰语符号句子的格式是否正确 运算符为:〜,&,v,>,<>,(3x)[存在],(4x)[通用量词]。 您也可以为量词输入unicode字符。 请注意,您不能将“ v”用作变量或名称,因为它用于析取。 开始增加在变量或对象后使用星号的功能,以增加变量和对象名的数量,但尚未完成。