单项选择题
公式(P→Q)↔(¬P∨Q)的类型是
A、 重言式
B、 矛盾式
C、可满足式
D、 等价式
点击查看答案&解析
相关考题
单项选择题

单项选择题
微信扫一扫,加关注免费搜题