VL13: Konventionen
Nobody has claimed this yet.
Assessment
- Difficulty
- 2/5
- Estimated time
- 1-3 hours
- Newbie friendliness
- 62/100
- Issue type
- Documentation
- Clarity
- Mostly clear
- Activity status
- Stale
- Tech stack
- tex
- Domain
- documentation
Research direction
No file or test is named in the issue, so first locate the section containing the syntax conventions in the teaching materials. Add the stated precedence convention for unary over binary connectives and ensure the negation example has an unambiguous grouping.
Written by the indexing model from the issue text.
Description
Bei den Konventionen zur Vereinfachung der Syntax könnte auch die Konvention „unäre Junktoren (Negation und Quantoren) binden stärker als binäre Junktoren“ mit aufgeführt werden.
Diese scheint später implizit verwendet zu werden. Zum Beispiel ist bei der Formel \neg p \vee q sonst nicht klar, welche Formel gemeint ist: p \vee q ist eine Teilformel, also könnte \neg (p \vee q) gemeint sein; es sind aber auch \neg p und q Teilformeln, also könnte auch (\neq p) \vee q gemeint sein. Mit der ausdrücklichen Präferenz für Negation wird die gemeinte Klammerung klar.
- Dominant language
- TeX
- Stars
- 28
- Forks
- 27
- PR merge metrics
- No merged PRs in 30d
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from knowsys/TheoLog
-
Tippfehler
Difficulty 1/5 Under an hour Newbie friendliness 60/100
-
Bug
Difficulty 4/5 3-5 days Newbie friendliness 35/100
-
Tippfehler
Difficulty 1/5 Under an hour Newbie friendliness 48/100
-
enhancement
Difficulty 1/5 Under an hour Newbie friendliness 55/100
-
Tippfehler
Difficulty 1/5 Under an hour Newbie friendliness 45/100
Similar issues
-
user-reported
Difficulty 2/5 1-3 hours Newbie friendliness 85/100
Kong/developer.konghq.com#7316 ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 88/100
HarperFast/skills#96 ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 82/100
infinispan/infinispan#18150 ·
-
bug triage:deciding
Difficulty 1/5 Under an hour Newbie friendliness 88/100
open-telemetry/otel-arrow#4132 ·
-
Ecosystem: ClawMetry — the Qwen Code reader is now free and open source (follow-up to #9294 / #9338) Opencategory/integration priority/P3 scope/documentation status/ready-for-human type/feature-request
Difficulty 1/5 Under an hour Newbie friendliness 84/100