Prover9 一阶逻辑示例
以下为代码块,直接复制到Prover9中执行即可% Saved by Prover9-Mace4 Version 0.5, December 2007.set(ignore_option_dependencies). % GUI handles dependenciesif(Prover9). % Options for Prover9assign(max_seconds, 60).e...
原创
2019-11-17 18:56:56 ·
2533 阅读 ·
1 评论