Logic 命题演算

为什么（p^Q）==（~p->Q）

如何证明

---

谢谢

不，它不是：

~p->Q===pvq

，它不等同于

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

---

不，它不是：

~p->Q==pvq

，它不等同于

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

只需查看每个表达式的对应关系：

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

只需查看每个表达式的对应关系：

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

---

这个问题究竟与人工智能有什么关系？写出真值表，它将是显而易见的。这个问题究竟与人工智能有什么关系？写出真值表，它将是显而易见的！我检查了一下，我真的打错了问题！谢谢我检查了一下，我真的打错了问题！