2,633
次編輯
「形式邏輯筆記/第六章」修訂間的差異
跳至導覽
跳至搜尋
→存在量詞(existential qualifier)
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 225： | 行 225： | ||
*存在消除 ∃E | *存在消除 ∃E | ||
** | **假設有人工變數c，使得P x推演到B，那麼∃x P x 可證明 B | ||
<pre> | <pre> | ||
m | ∃x P x | m | ∃x P x | ||
n | |_ | n | |_ Pc | ||
p | | B | p | | B | ||
| B ∃E m, n-p | | B ∃E m, n-p | ||
註：c 不能出現於B、子證明之外，以及 P x裏面。 | |||
</pre> | </pre> | ||