嚴格蘊涵(strict implication)是蘊涵的一種,用於模態邏輯。它最初由英國邏輯學家麥柯爾(H.MacColl)提出,美國哲學家、邏輯學家劉易斯劉易斯(C.I.Lewis)在創立現代模態 ...
確定! 回上一頁