如何证明离散数学的谓词推理定律

我也知道呀,可老师布置作业让证明这两道定律,求推理过程。
2024-12-12 19:17:27
推荐回答(1个)
回答1:

那四个量词的引入与消去的推理定律?这个无须证明,作为公理使用,而且符合我们的思维习惯