举报反馈 - 《简明逻辑学牛津通识读本》19-第六章必然性和可能性-模态算子□必定和◇可能，两者不是真值函数，莱布尼茨的可能世界