2,633
次編輯
「形式邏輯筆記/第六章」修訂間的差異
→6.4 量化邏輯律
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 213： | 行 213： | ||
其中 a 不能出現於任何未消除的假設 | 其中 a 不能出現於任何未消除的假設 | ||
</pre> | </pre> | ||
===存在量詞(existential qualifier)=== | |||
*存在引入 ∃I | *存在引入 ∃I | ||
| 行 235： | 行 237： | ||
*(~∀x Px)⇔(∃x ~Px) | *(~∀x Px)⇔(∃x ~Px) | ||
*(~∃x Px)⇔(∀x ~Px) | *(~∃x Px)⇔(∀x ~Px) | ||
==6.5同一性的律== | ==6.5同一性的律== | ||
就算所有謂詞都讓 x, y 都有相同的證明值，但是不代表 x, y 是相同的。 | 就算所有謂詞都讓 x, y 都有相同的證明值，但是不代表 x, y 是相同的。 | ||