Hacktoberfest 2026: los issues que los mantenedores marcaron para octubre, abiertos y aptos para principiantes. Explorar issues de Hacktoberfest

Seven localized source corrections found during translation QA

Abierto
  • ¿Algo no está bien?
#435 1 comentario 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
3/5
Tiempo estimado
1-2 días
Aptitud para principiantes
68/100
Tipo de issue
Documentación
Claridad
Bien especificado
Estado de actividad
Tranquilo
Stack tecnológico
latex, tex
Área
content, documentation

Línea de trabajo

Empieza revisando los siete archivos .tex citados y los rangos de líneas frente al commit master 1e960beff9ed7835bf3e3f1335e21af3439cd107 y la autoridad de traducción 9620cc7. Comprueba cada corrección de redacción, puntuación, fórmula y notación indicada, confirmando que los hallazgos no estén cubiertos por #432, #433 o su registro. Se considera terminado cuando el maintainer haya revisado y resuelto o dispositionado los siete hallazgos de calidad de la fuente.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

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.

Lenguaje dominante
TeX
Estrellas
1.4k
Forks
289
Sin PR fusionados en 30 d

Preparar el entorno

Este proyecto no incluye contenedor de desarrollo, Dockerfile ni guía de contribución, así que la configuración corre por tu cuenta: empieza por su README y consulta nuestra guía para la primera contribución para los pasos generales.

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de OpenLogicProject/OpenLogic

Todos los issues de OpenLogicProject/OpenLogic

Issues similares

Más issues de Content

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.