《表1:逻辑与公理系统的记法》
(注:逻辑的名字用直立非粗体,对应的公理系统则转为粗体。)
接下来第4节首先探讨宣告可假的两个逻辑L1u和L2u,然后到第5节再采用宣告须真的语义设定。
图表编号 | XD00165786900 严禁用于非法目的 |
---|---|
绘制时间 | 2020.04.18 |
作者 | 何键枫、王轶 |
绘制单位 | 浙江大学哲学系、语言与认知研究中心 |
更多格式 | 高清、无水印(增值服务) |
(注:逻辑的名字用直立非粗体,对应的公理系统则转为粗体。)
接下来第4节首先探讨宣告可假的两个逻辑L1u和L2u,然后到第5节再采用宣告须真的语义设定。
图表编号 | XD00165786900 严禁用于非法目的 |
---|---|
绘制时间 | 2020.04.18 |
作者 | 何键枫、王轶 |
绘制单位 | 浙江大学哲学系、语言与认知研究中心 |
更多格式 | 高清、无水印(增值服务) |