資料內(nèi)容:
非經(jīng)典邏輯
⑩與經(jīng)典邏輯平行的邏輯:多值、模糊邏輯
一些定理不成立,有新概念、新定理
o
1⑩0對經(jīng)典邏輯的擴(kuò)充:模態(tài)、時態(tài)邏輯
一般承認(rèn)經(jīng)典邏輯的定理。一是擴(kuò)充語言;二是擴(kuò)充定理。
例如:模態(tài)邏輯增加了L(是必然的)算子和M(是可能的)算子。
資料內(nèi)容:
非經(jīng)典邏輯
⑩與經(jīng)典邏輯平行的邏輯:多值、模糊邏輯
一些定理不成立,有新概念、新定理
o
1⑩0對經(jīng)典邏輯的擴(kuò)充:模態(tài)、時態(tài)邏輯
一般承認(rèn)經(jīng)典邏輯的定理。一是擴(kuò)充語言;二是擴(kuò)充定理。
例如:模態(tài)邏輯增加了L(是必然的)算子和M(是可能的)算子。