2024年6月10日
数理逻辑期末冲刺大纲
摘要： 复习思路： PPT例题+作业题+Enderton课后题 觉得重要的就写写记记 绪论 逻辑有效性 我们称一个推演步骤是逻辑有效的，当且仅当它的有效性仅由其前提与结论中的话题无关词汇决定。对于一个逻辑有效的演绎，我们称其前提逻辑上蕴涵（logically entails）其结论。 怎么确定是否话题无关？ 阅读全文
posted @ 2024-06-10 16:55 藤君 阅读(62) 评论(0) 推荐(0)