Closed ogotchey closed 2 years ago
The most convenient way to report a typo should reference the file and line number where the typo occurs:
Alternatively describe the location of the typo (page #, "after Theorem 5.1", etc., and mention which PDF you are referencing)
Typo location: https://github.com/OpenLogicProject/OpenLogic/blob/0552395a1249a151c8b9ca41253019d125539525/content/first-order-logic/syntax-and-semantics/substitution.tex#L122
What is the typo: A(x) lacks a preceding '!' and thus actually renders as the English 'A' instead of the Greek phi.
Proposed correction: Change $\lforall[x][A(x)]$ to $\lforall[x][!A(x)]$ in line 122 of first-order-logic/syntax-and-semantics/substitution.tex
$\lforall[x][A(x)]$
$\lforall[x][!A(x)]$
Thanks!
rzach
commented
2 years ago rzach
commented
2 years ago
The most convenient way to report a typo should reference the file and line number where the typo occurs:
Alternatively describe the location of the typo (page #, "after Theorem 5.1", etc., and mention which PDF you are referencing)
Typo location: https://github.com/OpenLogicProject/OpenLogic/blob/0552395a1249a151c8b9ca41253019d125539525/content/first-order-logic/syntax-and-semantics/substitution.tex#L122
What is the typo: A(x) lacks a preceding '!' and thus actually renders as the English 'A' instead of the Greek phi.
Proposed correction: Change
$\lforall[x][A(x)]$to$\lforall[x][!A(x)]$in line 122 of first-order-logic/syntax-and-semantics/substitution.tex