doc: correct mistranslation

chabulhwi · Sep 30, 2024 · 12e270b · 12e270b
1 parent dc3c6fd
commit 12e270b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/docs/ko/notes/chapter03/propositional-connectives.md b/docs/ko/notes/chapter03/propositional-connectives.md
@@ -83,4 +83,4 @@
   - 도입 규칙: `p → q`와 `q → p`에서 `p ↔ q`가 도출된다. (`Iff.intro`)
   - 제거 규칙
     + `p ↔ q`에서 `p → q`가 도출된다. (`Iff.mp`, 동등에 대한 긍정 논법)
-    + `p ↔ q`에서 `q → p`가 도출된다. (`Iff.mp`, 동등에 대한 역방향 긍정 논법)
+    + `p ↔ q`에서 `q → p`가 도출된다. (`Iff.mpr`, 동등에 대한 역방향 긍정 논법)
diff --git a/docs/omegat/project_save.tmx b/docs/omegat/project_save.tmx
@@ -49,8 +49,8 @@ explosion&lt;/g3&gt;)</seg>
       <tuv lang="en">
         <seg>(&lt;g3&gt;Iff.mpr&lt;/g3&gt;, reversed modus ponens for iff)</seg>
       </tuv>
-      <tuv lang="ko" changeid="chabulhwi" changedate="20240930T122648Z" creationid="chabulhwi" creationdate="20240930T122648Z">
-        <seg>(&lt;g3&gt;Iff.mp&lt;/g3&gt;, 동등에 대한 역방향 긍정 논법)</seg>
+      <tuv lang="ko" changeid="chabulhwi" changedate="20240930T125849Z" creationid="chabulhwi" creationdate="20240930T122648Z">
+        <seg>(&lt;g3&gt;Iff.mpr&lt;/g3&gt;, 동등에 대한 역방향 긍정 논법)</seg>
       </tuv>
     </tu>
     <tu>