1. 公式的解释(每一个解释由非空的个体域、常量符号、函数符号、谓词符号组成)
2. 公式解释示例
3. 公式的分类(有效公式、矛盾公式、可满足公式)
4. 谓词公式的可判定性
立减 ¥
请填写红包祝福语或标题
红包个数最小为10个
红包金额最低5元
抵扣说明:
1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。 2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。