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

Typo errors in the sequent calculus and natural deduction sections

Abierto Apto para principiantes
  • ¿Algo no está bien?
#437 0 comentarios 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
2/5
Tiempo estimado
1-3 horas
Aptitud para principiantes
70/100
Tipo de issue
Documentación
Claridad
Bastante claro
Estado de actividad
Activo
Stack tecnológico
latex
Área
documentation

Línea de trabajo

Empieza con los tres lugares mencionados en el issue: content/first-order-logic/sequent-calculus/soundness.tex cerca de las líneas 157 y 288, y content/first-order-logic/natural-deduction/proving-things.tex cerca de la línea 133. Los números de línea se refieren a un commit fijado, así que busca el texto correspondiente en el archivo actual. Antes de editar, revisa las definiciones de macros del repositorio para \Sequent y la convención de etiquetas de reglas \Intro, ya que la primera corrección admite interpretación. Está terminado cuando los tres pasajes estén corregidos y la etiqueta de la regla coincida con la regla de eliminación que describe el issue.

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

Descripción

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

Lenguaje dominante
TeX
Estrellas
1.4k
Forks
291
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 Documentation

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.