《表1:逻辑与公理系统的记法》

《表1:逻辑与公理系统的记法》   提示:宽带有限、当前游客访问压缩模式
本系列图表出处文件名:随高清版一同展现
《混合公开宣告逻辑》


  1. 获取 高清版本忘记账户?点击这里登录
  1. 下载图表忘记账户?点击这里登录
(注:逻辑的名字用直立非粗体,对应的公理系统则转为粗体。)

接下来第4节首先探讨宣告可假的两个逻辑L1u和L2u,然后到第5节再采用宣告须真的语义设定。