不，不是：~P -> Q === P v Q，它不等于 P ^ Q
~P -> Q === P v Q
P ^ Q
证明它的一种方法是使用真值表：
P | Q | P v Q | ~P | ~P -> Q 0 0 0 1 0 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 ^ ^ +-------------+ these are equivalent
No, it's not: ~P -> Q === P v Q, it is not equivalent to P ^ Q
One way to prove it is to use a truth table:
只需查看每个表达式的真值表：
p | q | p v q --+---+------ T | T | T T | F | T F | T | T F | F | F p | q | ~p -> q --+---+-------- T | T | T T | F | T F | T | T F | F | F
Just look at the truth tables for each expression:
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
暂无简介
文章 0 评论 0
接受
发布评论
评论（2）
不，不是：
~P -> Q === P v Q，它不等于P ^ Q证明它的一种方法是使用真值表：
No, it's not:
~P -> Q === P v Q, it is not equivalent toP ^ QOne way to prove it is to use a truth table:
只需查看每个表达式的真值表：
Just look at the truth tables for each expression: