From 12e270b3982d479997bc081428f4093db9f3dae3 Mon Sep 17 00:00:00 2001 From: Bulhwi Cha Date: Mon, 30 Sep 2024 21:59:15 +0900 Subject: [PATCH] doc: correct mistranslation --- docs/ko/notes/chapter03/propositional-connectives.md | 2 +- docs/omegat/project_save.tmx | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/ko/notes/chapter03/propositional-connectives.md b/docs/ko/notes/chapter03/propositional-connectives.md index 70fa416..34585c4 100644 --- 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 index 98ca2f1..9b57017 100644 --- a/docs/omegat/project_save.tmx +++ b/docs/omegat/project_save.tmx @@ -49,8 +49,8 @@ explosion</g3>) (<g3>Iff.mpr</g3>, reversed modus ponens for iff) - - (<g3>Iff.mp</g3>, 동등에 대한 역방향 긍정 논법) + + (<g3>Iff.mpr</g3>, 동등에 대한 역방향 긍정 논법)