劉易斯的S3 嚴格蘊涵和公理 劉易斯邏輯之九

  劉易斯的S3 嚴格蘊涵和公理  劉易斯邏輯之九 目錄 劉易斯的S3 嚴格蘊涵和公理  劉易斯邏輯之九 一、S1-S3的兩個圖表 1、符號說明 2、兩個公理比較圖表。 二、不同於實質蘊涵的嚴格蘊涵和基礎性六公理 1、引入新的蘊涵觀念：嚴格蘊涵 2、基礎性公理A1(B1)-A6(B6) 3、有創新意蘊的特徵公理 三、S3給了我們什麼觀念？ 1、S3和S2，S1之間的關係 2、非正規模態邏輯和正規模

>>阅读原文<<