2,617
次編輯
「形式邏輯筆記/第一章」修訂間的差異
跳至導覽
跳至搜尋
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 78： | 行 78： | ||
*一致性 (consistency) | *一致性 (consistency) | ||
::① | ::① <math>x \leq 5</math> | ||
::② | ::② <math>x>5</math> | ||
::⇒①、②不可能同時為真⇒①、②不一致(inconsistent)，否則為一致。 | ::⇒①、②不可能同時為真⇒①、②不一致(inconsistent)，否則為一致。 | ||
===1.6形式語言=== | ===1.6形式語言=== | ||
*蘇格拉底是人 | |||
*所有人會死 | |||
*∴蘇格拉底會死 | |||
:⇒提取符號化： | |||
*S是M | |||
*所有M是C | |||
*S是C | |||
⇒形式語言 | |||
* 亞里斯多德邏輯： | |||
**(A) 所有A是B | |||
**(E) 非A是B | |||
**(I) 一些A是B | |||
**(D) 一些A不是B | |||
本課本教授兩種形式語言： | |||
# 命題邏輯 (SL, sentential logic)，句子為最小單位。 | |||
# 量化邏輯 (QL, qualified logic)，客體 (object)、客體性質、客體關係為最小單位 | |||
此處的 truth-value 只使用「真」、「假」。<ref>也就是所謂的「二值邏輯」。</ref> | |||
===註腳=== | ===註腳=== | ||
<references/> | <references/> | ||