2,617
次編輯
「形式邏輯筆記/第一章」修訂間的差異
無編輯摘要
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 63： | 行 63： | ||
===1.5其他邏輯概念=== | ===1.5其他邏輯概念=== | ||
*真假值 (truth-value)：真或假⇒句子有真假值。 | |||
*邏輯的真(logical truth) | |||
**三種句子分類： | |||
**# 現在下雨→未確定句 (contingent sentence) | |||
**# 現在下雨或非下雨→恆真句（tautology，非現實恆真，是邏輯推演上恆真） | |||
**# 現在下雨且不下雨→矛盾 (contradiction) | |||
*邏輯上相等(logical equivalance) | |||
::①John在洗碗後去商店 | |||
::②John去商店前洗碗 | |||
::⇒邏輯上同時真同時假 | |||
::⇒①、②邏輯上相等 | |||
*一致性 (consistency) | |||
::①$x≤5$ | |||
::②$x>5$ | |||
::⇒①、②不可能同時為真⇒①、②不一致(inconsistent)，否則為一致。 | |||
===1.6形式語言=== | ===1.6形式語言=== | ||