首页 > 中学数学试题 > 题目详情

离散数学谓词逻辑问题：(p->∃xq(x)) -> ∃x(p->q) 请证明该式为重言式

2022-02-17 20:22:16   44次         反馈错误   加入收藏   正确率 : 100%  

本题链接：