在线预览
逻辑学语料集
逻辑学语料集汇集形式逻辑、数理逻辑、辩证逻辑、非形式逻辑等各类专业文本,收录经典逻辑原著、数理演算文献、逻辑学术论文、教材讲义与论证分析案例。内容覆盖命题演算、谓词逻辑、模态逻辑、逻辑谬误、推理规则等核心内容,统一规范逻辑符号、专业术语与论证结构标注。数据集经过校对整理,区分公理体系、推理实例与理论评述。可用于文本论证抽取、逻辑谬误识别、自动推理模型训练,支撑人文与计算机交叉研究,为逻辑智能问答、学术论证分析、数理推理辅助系统提供标准化专业数据,赋能逻辑学教学与理论数字化研究。
4本
样例
样例