Typo errors in the sequent calculus and natural deduction sections
还没有人认领这个 Issue。
评估
- 难度
- 2/5
- 预计耗时
- 1-3 小时
- 新手友好度
- 70/100
- Issue 类型
- 文档
- 描述清晰度
- 基本清楚
- 活跃度
- 活跃
- 技术栈
- latex
调研方向
从 issue 中提到的三个位置开始：content/first-order-logic/sequent-calculus/soundness.tex 第 157 行和第 288 行附近，以及 content/first-order-logic/natural-deduction/proving-things.tex 第 133 行附近。行号指向一个固定的提交，因此请在当前文件中找到对应的文本。编辑前，请检查仓库中 \Sequent 的宏定义以及规则标签约定 \Intro，因为第一处修改存在不同理解。完成的标准是三处段落均已修正，且规则标签与 issue 中描述的消去规则一致。
由索引模型根据 Issue 内容生成。
描述
First typo:
Typo location:
https://github.com/OpenLogicProject/OpenLogic/blob/1e960beff9ed7835bf3e3f1335e21af3439cd107/content/first-order-logic/sequent-calculus/soundness.tex#L157
What is the typo:
Writing the contexts rather than the entire sequent
Proposed correction:
The symbols should be preceded by the conjunction and comma, or simply the entire sequent should be theta and xi
Second typo:
Typo location:
https://github.com/OpenLogicProject/OpenLogic/blob/1e960beff9ed7835bf3e3f1335e21af3439cd107/content/first-order-logic/sequent-calculus/soundness.tex#L288
What is the typo:
wrong symbol ($\setminus$) for the sequent symbol
Proposed correction:
The symbol should be $\Rightarrow$ or in this doc $\Sequent$
Third typo:
Typo location:
https://github.com/OpenLogicProject/OpenLogic/blob/1e960beff9ed7835bf3e3f1335e21af3439cd107/content/first-order-logic/natural-deduction/proving-things.tex#L133
What is the typo:
The symbol "\Intro{\lfalse}"
Proposed correction:
It should be ~elim not "Intro $\bot$" which is here written as "\Intro{\lfalse}", and "\Intro{\lfalse}" is not a rule used anywhere else in the repo as far as I can tell
- 主要语言
- TeX
- 星标
- 1.4k
- 派生
- 289
- PR 合并指标
- 30 天内没有已合并 PR
环境准备
这个项目没有提供开发容器、Dockerfile 或贡献指南，环境需要你自己搭建：先看它的 README，通用步骤见我们的新手贡献指南。
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
OpenLogicProject/OpenLogic 的其他 Issue
-
难度 1/5 1 小时以内 新手友好度 65/100
OpenLogicProject/OpenLogic#339 · 1 条评论 ·
-
难度 4/5 3-5 天 新手友好度 50/100
OpenLogicProject/OpenLogic#436 ·
-
难度 3/5 1-2 天 新手友好度 68/100
OpenLogicProject/OpenLogic#435 · 1 条评论 ·
-
难度 5/5 一周以上 新手友好度 30/100
OpenLogicProject/OpenLogic#425 · 1 条评论 ·
-
Improve docs未关闭
难度 5/5 一周以上 新手友好度 25/100
OpenLogicProject/OpenLogic#390 ·
查看 OpenLogicProject/OpenLogic 的全部 Issue
相似的 Issue
-
area: design documentation
难度 2/5 1-3 小时 新手友好度 76/100
eyalgolan/statecraft-israel#883 ·
维护者通常 1 天内回复
-
documentation good first issue
难度 2/5 1-3 小时 新手友好度 87/100
维护者通常 1 天内回复
-
[workshop-sync] workshop/side-quest-17-06-output-injection.md: stale add_comment.cjs line references未关闭documentation
难度 2/5 1-3 小时 新手友好度 78/100
githubnext/gh-aw-workshop#4679 ·
维护者通常 1 天内回复
-
agent-butler-finding chore
难度 1/5 1 小时以内 新手友好度 88/100
jordansmall/spindrift#5466 ·
维护者通常 1 天内回复
-
难度 1/5 1 小时以内 新手友好度 65/100
quarkusio/extensions#3459 ·