doc: remove Korean words

chabulhwi · Sep 30, 2024 · 64c17f4 · 64c17f4
1 parent e6b7715
commit 64c17f4
Show file tree

Hide file tree

Showing 2 changed files with 27 additions and 3 deletions.
diff --git a/docs/ko/notes/chapter03/propositional-connectives.md b/docs/ko/notes/chapter03/propositional-connectives.md
@@ -69,9 +69,9 @@
 #### 함의에 관한 첨언
 
 * 필요조건: `p → q`는 "`q`일 때만 `p`이다."라는 뜻, 다시 말해 `q`는 `p`가 참이기 위한 필요조건이라는 뜻이다.
-* 역: `q → p`는 함의 `p → q`의 역이다.
-* 이(裏): `¬p → ¬q`는 함의 `p → q`의 이이다.
-* 대우(對偶): `¬q → ¬p`는 함의 `p → q`의 대우이다.
+* 역: `q → p`는 `p → q`의 역이다.
+* 이(裏): `¬p → ¬q`는 `p → q`의 이이다.
+* 대우(對偶): `¬q → ¬p`는 `p → q`의 대우이다.
 
 ### 동등
 

diff --git a/docs/omegat/project_save.tmx b/docs/omegat/project_save.tmx
@@ -378,6 +378,14 @@ same?</seg>
         <seg>연언</seg>
       </tuv>
     </tu>
+    <tu>
+      <tuv lang="en">
+        <seg>Contraposition: &lt;g1&gt;¬q → ¬p&lt;/g1&gt; is the contraposition of &lt;g2&gt;p → q&lt;/g2&gt;.</seg>
+      </tuv>
+      <tuv lang="ko" changeid="chabulhwi" changedate="20240930T130352Z" creationid="chabulhwi" creationdate="20240930T130352Z">
+        <seg>대우(對偶): &lt;g1&gt;¬q → ¬p&lt;/g1&gt;는 &lt;g2&gt;p → q&lt;/g2&gt;의 대우이다.</seg>
+      </tuv>
+    </tu>
     <tu>
       <tuv lang="en">
         <seg>Contraposition: &lt;g1&gt;¬q → ¬p&lt;/g1&gt; is the contraposition of the implication &lt;g2&gt;p → q&lt;/g2&gt;.</seg>
@@ -386,6 +394,14 @@ same?</seg>
         <seg>대우(對偶): &lt;g1&gt;¬q → ¬p&lt;/g1&gt;는 함의 &lt;g2&gt;p → q&lt;/g2&gt;의 대우이다.</seg>
       </tuv>
     </tu>
+    <tu>
+      <tuv lang="en">
+        <seg>Conversion: &lt;g1&gt;q → p&lt;/g1&gt; is the converse of &lt;g2&gt;p → q&lt;/g2&gt;.</seg>
+      </tuv>
+      <tuv lang="ko" changeid="chabulhwi" changedate="20240930T130342Z" creationid="chabulhwi" creationdate="20240930T130342Z">
+        <seg>역: &lt;g1&gt;q → p&lt;/g1&gt;는 &lt;g2&gt;p → q&lt;/g2&gt;의 역이다.</seg>
+      </tuv>
+    </tu>
     <tu>
       <tuv lang="en">
         <seg>Conversion: &lt;g1&gt;q → p&lt;/g1&gt; is the converse of the implication &lt;g2&gt;p → q&lt;/g2&gt;.</seg>
@@ -723,6 +739,14 @@ theorem provers like Lean.</seg>
         <seg>도입 규칙</seg>
       </tuv>
     </tu>
+    <tu>
+      <tuv lang="en">
+        <seg>Inversion: &lt;g1&gt;¬p → ¬q&lt;/g1&gt; is the inverse of &lt;g2&gt;p → q&lt;/g2&gt;.</seg>
+      </tuv>
+      <tuv lang="ko" changeid="chabulhwi" changedate="20240930T130347Z" creationid="chabulhwi" creationdate="20240930T130347Z">
+        <seg>이(裏): &lt;g1&gt;¬p → ¬q&lt;/g1&gt;는 &lt;g2&gt;p → q&lt;/g2&gt;의 이이다.</seg>
+      </tuv>
+    </tu>
     <tu>
       <tuv lang="en">
         <seg>Inversion: &lt;g1&gt;¬p → ¬q&lt;/g1&gt; is the inverse of the implication &lt;g2&gt;p → q&lt;/g2&gt;.</seg>