ValidArgumentChecker 通过命令行检查一阶符号逻辑参数的有效性。 指示 在提示符下键入逻辑自变量或表达式，然后按Enter。 将评估该参数的逻辑有效性（即通过真值表的重言式），并将结果打印到控制台。 句法 aZ -命题( ) -括号~ -不& -和| -或> -if-then = -当且仅当 笔记 运算符优先级如上所示。 可以自由使用空格以提高可读性。 重复 为了方便起见，为此项目存在一个副本。 如果您想查看一下，请点击。