Seven localized source corrections found during translation QA

Ouverte
  • Quelque chose ne va pas ?
#435 1 commentaire 0 réactions 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

Évaluation

Difficulté
3/5
Temps estimé
1-2 jours
Accessibilité débutants
68/100
Type d'issue
Documentation
Clarté
Clairement spécifiée
Activité
Calme
Stack technique
latex, tex
Domaine
content, documentation

Piste de recherche

Commencez par examiner les sept fichiers .tex cités et les plages de lignes par rapport au commit master 1e960beff9ed7835bf3e3f1335e21af3439cd107 et à l’autorité de traduction 9620cc7. Vérifiez chaque correction de formulation, de ponctuation, de formule et de notation indiquée, tout en confirmant que les constatations ne sont pas couvertes par #432, #433 ou son registre. La tâche est terminée lorsque les sept constatations relatives à la qualité de la source ont été examinées et corrigées ou dispositionnées par le maintainer.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Description

Hello — while checking complete translation targets against the English source, I found seven small, high-confidence source defects. I verified each against current master at 1e960beff9ed7835bf3e3f1335e21af3439cd107 as well as the frozen translation authority 9620cc7.

This list deliberately excludes everything already raised in #432, #433, or the findings ledger linked from #432.

  1. content/proof-theory/proof-search/tableaux.tex:29
    shows that would show that → would show that (or simply shows that).

  2. content/second-order-logic/metatheory/second-order-arithmetic.tex:41–42
    \Domain{M})$. → \Domain{M}$). The parenthesis belongs to the surrounding “i.e.” clause, not inside the formula.

  3. content/second-order-logic/metatheory/undecidability-and-axiomatizability.tex:33
    $\Sat{M}{!P \lif !A$}. → $\Sat{M}{!P \lif !A}$. This closes the second argument of \Sat before math mode ends.

  4. content/set-theory/ord-arithmetic/using-addition.tex:61
    Insert the missing =: $\setrank{A \times B} = \max(\setrank{A}, \setrank{B}) \ordplus 2$.

  5. content/first-order-logic/tableaux/provability-consistency.tex:122
    On the left left side → On the left side.

  6. content/sets-functions-relations/size-of-sets/non-enumerability-alt.tex:135
    iff if → iff.

  7. content/proof-theory/sequent-calculus/invertibility.tex:331,366,372
    At line 331, \RightR{\lexists} → \RightR{\lforall}, since the displayed principal formula is universal. At lines 366 and 372, !B → !B(t), matching the existential-rule premise at line 360.

These are source-quality notes for maintainer review; no upstream endorsement of any translation is implied.

Langage dominant
TeX
Étoiles
1.4k
Forks
291
Aucune PR mergée en 30 j

Préparer son environnement

Ce projet ne fournit ni conteneur de développement, ni Dockerfile, ni guide de contribution : l'installation est à votre charge. Commencez par son README, et consultez notre guide de la première contribution pour les étapes générales.

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Autres issues de OpenLogicProject/OpenLogic

Toutes les issues de OpenLogicProject/OpenLogic

Issues similaires

Plus d'issues Content

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.