doc: add comment on how to read symbol in Korean

chabulhwi · Sep 30, 2024 · dc3c6fd · dc3c6fd
1 parent 0336d70
commit dc3c6fd
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
@@ -60,7 +60,7 @@
 ### 함의
 
 * 이름: 함의, 내용적 함의, 내용적 조건문, 논리적 조건문
-* 기호: `→` ("함의"라고 읽음)
+* 기호: `→` ("함의"라고 읽거나 "…이면"이라고 읽음)
 * 뜻: `p q : Prop`가 주어져 있을 때, 명제 `p → q`는 "`p`이면 `q`이다."라는 뜻이다.
 * 추론 규칙
   - 도입 규칙: `p`에서 `q`가 도출되면, `p → q`가 성립한다.

diff --git a/docs/omegat/project_save.tmx b/docs/omegat/project_save.tmx
@@ -1457,8 +1457,8 @@ then check the value of each expression.</seg>
       <tuv lang="en">
         <seg>Symbol: &lt;g1&gt;→&lt;/g1&gt; (read as "implies")</seg>
       </tuv>
-      <tuv lang="ko" changeid="chabulhwi" changedate="20240930T115615Z" creationid="chabulhwi" creationdate="20240930T115615Z">
-        <seg>기호: &lt;g1&gt;→&lt;/g1&gt; ("함의"라고 읽음)</seg>
+      <tuv lang="ko" changeid="chabulhwi" changedate="20240930T124832Z" creationid="chabulhwi" creationdate="20240930T115615Z">
+        <seg>기호: &lt;g1&gt;→&lt;/g1&gt; ("함의"라고 읽거나 "…이면"이라고 읽음)</seg>
       </tuv>
     </tu>
     <tu>