数据集 propositional_logic_命题逻辑输出证明数据 数据集概述 本数据集围绕命题逻辑主题构建，包含1个JSON格式文件，未区分训练/测试、数据/标签或原始/处理数据，无目录层级，未提供文件内容预览及说明文档。 文件详解 文件名称：output_proofs_divided.json 文件格式：JSON 字段映射介绍：未提供文件内容预览，无法获取具体字段信息 适用场景 命题逻辑证明研究: 用于命题逻辑领域相关证明内容的分析与研究 逻辑推理数据处理: 作为命题逻辑推理任务的数据基础，支持相关算法开发 逻辑学科研辅助: 为命题逻辑学术研究提供数据支撑 逻辑教学资源补充: 可作为命题逻辑教学中的辅助数据材料 数据与资源 14567918.zipZIP 3.28 MiB 下载 AI开发 JSON JSON文件 命题分析 命题逻辑 命题逻辑证明 学术研究 学术科研 学生 开发者 教学材料 教学辅助 数据基础 数据处理 机器学习训练 研究人员 科学研究和技术服务业 科研支撑 算法开发 证明数据 证明研究 输出证明 逻辑学科 逻辑学科研 逻辑推理 逻辑推理数据 逻辑教学资源 附加信息 字段 值 作者 Maxj 版本 1 数据集大小 3.28 MiB 最后更新 2026年1月29日 创建于 2026年1月29日 声明 当前数据集部分源数据来源于公开互联网，如果有侵权，请24小时联系删除(400-600-6816)。
