doc: fix grammar

chabulhwi · Oct 21, 2024 · 5521179 · 5521179
1 parent 5b87c61
commit 5521179
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 2 deletions.
diff --git a/docs/en/notes/chapter03/propositions.md b/docs/en/notes/chapter03/propositions.md
@@ -71,9 +71,9 @@ of the following is a proposition: (a) a subjective value judgment and (b) a
 mathematical statement whose truth value we don't know yet. Both responded that
 (a) isn't a proposition.
 
-However, they were divided on whether (b) is a proposition. One of them told
+However, they were divided on whether (b) is a proposition. One of them said
 that (b) is also a proposition since we *can* determine its truth or falsehood.
-The other argued that, *linguistically* speaking ("국어적으로 해석한다면"), we can
+The other argued that *linguistically* speaking ("국어적으로 해석한다면"), we can
 determine the truth or falsehood of (b), but *mathematically* speaking, it can't
 be a proposition.
 

diff --git a/docs/omegat/project_save.tmx b/docs/omegat/project_save.tmx
@@ -1353,6 +1353,15 @@ understand the notion of a proposition.</seg>
         <seg>"명확하게 판별하다"라는 동사구가 무슨 뜻인지는 명확하게 판별할 수 없습니다. 그래서 한국 고등학교 수학에서의 명제 개념은 학생들이 이해하기 더 쉽지 않습니다.</seg>
       </tuv>
     </tu>
+    <tu>
+      <tuv lang="en">
+        <seg>One of them said
+that (b) is also a proposition since we &lt;g1&gt;can&lt;/g1&gt; determine its truth or falsehood.</seg>
+      </tuv>
+      <tuv lang="ko" changeid="chabulhwi" changedate="20241021T013927Z" creationid="chabulhwi" creationdate="20241021T013927Z">
+        <seg>한 분은 우리가 (2)의 진릿값을 모르더라도 그것의 참과 거짓을 판별'할 수' 있기 때문에 이 또한 명제라고 말씀하셨습니다.</seg>
+      </tuv>
+    </tu>
     <tu>
       <tuv lang="en">
         <seg>One of them told
@@ -1815,6 +1824,16 @@ definitionally equal.</seg>
         <seg>두 함수 &lt;g2&gt;f&lt;/g2&gt;와 &lt;g3&gt;g&lt;/g3&gt;가 정의상 같으면 안 된다.</seg>
       </tuv>
     </tu>
+    <tu>
+      <tuv lang="en">
+        <seg>The other argued that &lt;g2&gt;linguistically&lt;/g2&gt; speaking ("국어적으로 해석한다면"), we can
+determine the truth or falsehood of (b), but &lt;g3&gt;mathematically&lt;/g3&gt; speaking, it can't
+be a proposition.</seg>
+      </tuv>
+      <tuv lang="ko" changeid="chabulhwi" changedate="20241021T013919Z" creationid="chabulhwi" creationdate="20241021T013919Z">
+        <seg>다른 분은 (2)를 '국어적으로' 해석한다면 그것의 참과 거짓을 판별할 수 있지만, '수학적으로' 해석한다면 진릿값을 모르는 진술은 명제가 될 수 없다고 주장하셨습니다.</seg>
+      </tuv>
+    </tu>
     <tu>
       <tuv lang="en">
         <seg>The other argued that, &lt;g2&gt;linguistically&lt;/g2&gt; speaking ("국어적으로 해석한다면"), we can