逻辑学题库
所有问题
学生作业查看与修改
教师批阅
基本信息
Title（标题）
姓名
学号
Original（题面）
Background（背景）
Question（问题）
Answer（答案）
Formalization（形式化）
Propositional（命题逻辑）
是
否
parameters（参数）
+ 添加变量
Translation（命题含义映射）
+ 添加一行
自动渲染符号
渲染全部
Reasoning · Premise（前提，逐行）
+ 添加前提
自动渲染前提
渲染全部
Reasoning · Conclusion（结论）
渲染结论
自动渲染结论
评测
自动评分
导出
生成 JSON 预览
渲染全部 LaTeX
清空表单
提交成功
题目编码：
知道了