證明分佈

Question

我需要證明以下是一個分佈：

X ^（Y => Z）

其中^是與操作者，和=>是暗示。

我想它會是這個樣子，但使用任何已知的定理，我不能證明這一點：

X ^（Y => Z）=（X^Y）=>（X^Z）

任何幫助，將不勝感激。 謝謝！

Answer 1

你不能證明這一點，因爲它不是真實的。

假設X =假，則：

• 原始式總是假

  X∧（Y⇒Z）≡假∧（Y⇒Z）≡假

• 但後andimplication它總是對的

  （X∧Y）⇒（X∧Z）≡（False⇒False）≡True