- 博客(4)
- 收藏
- 关注
RSS订阅
1原创 离散数学笔记(命题逻辑、谓词逻辑)
例题:设P(x,y)为x整除y,Q(x)为x<2，个体域为{1，2}求(∀x)(∃y)P(x,y)→Q(x)的真值。原则：先消去存在量词，将个体域中取值分别带入用∨连接，再消去全称量词用∧连接。求解主析取范式的方法，主合取范式类似。
2025-06-06 21:52:15
405
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人