响 - 離散數學吧

https://zh.purasbar.com/post.php?t=36398#FLOOR3

回覆：谓词符号化

3-30 · 量词与特性谓词表示个体域

响 - 離散數學吧

https://zh.purasbar.com/post.php?t=36398#FLOOR2

回覆：谓词符号化

3-30 · 个体词，个体常量(小写字母)
谓词，命题函数的元根据实际情况设置个体变量数

响 - 離散數學吧

https://zh.purasbar.com/post.php?t=36398

谓词符号化

3-30

响 - 離散數學吧

https://zh.purasbar.com/post.php?t=36397#FLOOR2

回覆：命题逻辑推理理论

3-30 · 要求前提的合取为真
逻辑结果为真
即蕴含关系

响 - 離散數學吧

https://zh.purasbar.com/post.php?t=36397

命题逻辑推理理论

3-30

响 - 離散數學吧

https://zh.purasbar.com/post.php?t=36257#FLOOR5

回覆：范式 [圖片]

3-30 · 主析取寻找真的情况集合，主合取寻找假的情况集合，表示的命题情况一致

响 - 離散數學吧

https://zh.purasbar.com/post.php?t=36257#FLOOR4

回覆：范式

3-30 · 极小项寻有，极大项寻无

响 - 離散數學吧

https://zh.purasbar.com/post.php?t=36257#FLOOR4

回覆：范式 [圖片]

3-30 ·

认真着实 - 二次元偽娘吧

https://zh.purasbar.com/post.php?t=36395#FLOOR2

回覆：漫画推荐42:《初尝女装》 [圖片]

3-30 ·

认真着实 - 二次元偽娘吧

https://zh.purasbar.com/post.php?t=36395

漫画推荐42:《初尝女装》 [漫画推荐] [圖片]

3-30 · 作者:つむみ
短篇合集，各大视频都只标作者还是太难找汉化了