--- title: "#용어: 말꼴 배움낱말 테이블" url: "https://notes.junghanacs.com/notes/20230617T120300" author: "Junghan Kim" date: "2023-06-17T12:03:00+09:00" lastmod: "2026-05-15T07:53:00+09:00" tags: ["dictionary","glossary","logic"] description: "논리학과 언어철학에서 쓰는 개념어를 영어·한자말·한말로 대응시키려는 말꼴 테이블 기록 문서." --- > [!abstract] 이 노트에 대하여 > > 논리학 개념어를 영어, 한자말, 순화한 우리말로 병렬 배치해 어휘 체계를 실험한다. org 테이블과 CSV 변환 흐름까지 함께 적어 두어 용어집을 실제 데이터로 다루려는 의도가 드러난다. - ‘∀x[Man(x)→Mortal(x)]' 논리 온톨로지 관련 CSV 파일 만들어야 ## 히스토리 - [2026-05-15 Fri 07:54] 가든에 업데이트 [§logickocli 한국어 자연어 추론 표준 논리 좌표계](https://notes.junghanacs.com/botlog/20260513T103033)와 같이 - [2025-06-09 Mon 22:31] [#개념 #단어 #용어 #어휘 #전문](https://notes.junghanacs.com/meta/20240806T124350) - 단순한 구조로 정리했다. 복합 단어는 굳이 넣을 필요 없다. - 영어 인덱스 반영 - 수리 논리 업데이트 - [@박승억 학문이서로돕는다는것 #현상학 #학문이론 #일반체계이론 #보편학](https://notes.junghanacs.com/bib/20240508T112324) - [@나이절워버턴 #논리적사고 #개념어 #철학역사 #공부법 #예술](https://notes.junghanacs.com/bib/20240607T165359), [@남경태 #개념어 #현대철학 #철학사](https://notes.junghanacs.com/bib/20240806T121529), [@김명석 #두뇌보완계획 #논리철학 #과학방법 #언어철학](https://notes.junghanacs.com/bib/20240610T222619) ## 언어 테이블 영어 - [#용어집: #조직모드 #테이블 #스프레스시트 #변환](https://notes.junghanacs.com/notes/20240613T121834) - 첫 라인에 헤딩을 넣어 놓아야 함! - CSV 내보내기 - 컬럼 옴기기 | 영어 | 한자말 | 한말 | |-------------------------------------|-------------|-------------| | strong inference | 강한 추론 | 강한 이끌기 | | logical equivalence | 동치 | 같은 뜻 | | logical equivalence | 동치 | 같은 말 | | equivalence rule | 동치규칙 | 같은 말 굴레 | | indirect proof | 간접증명ㆍ배리법ㆍ귀류법 | 거짓이다 넣기 | | double negation rule | 이중부정법 | 거짓이다 없애기 | | negation | 부정문 | 거짓이다글월 | | truth table for negation | 부정의 진리표 | 거짓이다의 참값모눈 | | complex sentence | 복합문 | 겹글월 | | conditional sentence | 단순조건문 | 그냥 이면글월 | | sentence | 문장 | 글월 | | sentential logic | 문장논리 | 클월 말길 | | sentential operator | 문장연산자 | 글월 바꾸개 | | logical form of sentence | 문장형식 | 글월 얼개 | | sentential connective | 문장연결사 | 글월 이음씨 | | reason | 이유 | 까닭 | | inconsistent incompatible | 비일관된ㆍ양립불가능한 | 나란하지 않은 | | consistent compatible | 일관된ㆍ양립가능한 | 나란한 | | term | 단어 명사 용어 | 낱말 | | sufficient condition | 충분조건 | 넉넉한 말 | | inclusive disjunction | 포괄 선언 | 넓은 이거나 | | replacement rule | 치환규칙 | 달리 쓰기 굴레 | | double negation | 이중부정 | 두 번 거짓이다 | | general sentence | 일반문장 | 두루글월 | | general term general noun | 일반어ㆍ보통명사 | 두루이름 | | Modus Tollens | 부정논법 | 뒤로 이면 없애기 | | implication entailment | 함축 | 따라 나옴 | | implication entailment | 함축 | 따라 나온다 | | conclusion | 걸론ㆍ귀걸ㆍ논지 | 따름말 | | conclusion indicator | 결론 표시어 | 따름말 | | conclusion indicator | 결론 표시어 | 보람말 | | conclusion indicator | 따름말 보람말 | 결론 | | critique | 비판 | 따지기 | | variable | 변항 | 떠돌이 홀이름 | | meaning: sense-content | 의미ㆍ내용 | 뜻 | | definition | 정의 | 뜻매김 | | valid inference | 타당한 추론 | 마땅한 이끌기 | | logic | 논리 | 말길 | | logical form | 논리 형식 논리 구조 | 말길 얼개 | | logician | 논리학자 | 말길꾼 | | proposition ‘statement | 명제ㆍ진술 | 말뜻 | | particular affirmative | 특칭긍정 | 몇몇 그렇다 | | existential generalization | 존재일반화 | 몇몇 넣기 | | rule of existential quantifier change | 존재양화사 교환규칙 | 몇몇 모든 바꿈 | | particular negative | 특칭부정 | 몇몇 아니다 | | existential instantiation | 존재예화 | 몇몇 없애기 | | particular sentence | 특칭문장 | 몇몇글월 | | existential quantifier | 존재양화사 | 몇몇씨 | | universal affirmative | 전칭긍정 | 모두 그렇다 | | universal negative | 전칭부정 | 모두 아니다 | | universal generalization | 보편일반화 | 모든 넣기 | | rule of universal quantifier change | 보편양화사 교환규칙 | 모든 몇몇 바꿈 | | universal instantiation | 보편예화 | 모든 없애기 | | universal sentence | 전칭문장 | 모든글월 | | categorical equivalence | 정언동치규칙 | 모든몇몇 달리 쓰기 | | quantificationa logic | 양화논리 | 모든몇몇 말길 | | quantificationa logic | 모든몇몇 말길 | 양화논리 | | categorical sentence | 정언문장 | 모든몇몇글월 | | quantifier | 양화사 | 모든몇몇씨 | | universal quantifier | 보편양화사 | 모든씨 | | invalid inference | 부당한 추론 | 못마땅한 이끌기 | | belief opinion | 의견ㆍ신념 | 믿음 | | logical false | 항위문장 | 반드시 거짓말 | | logical sentence | 필연문장 | 반드시 글월 | | deductive inference | 연역추론 | 반드시 이끌기 | | logical truth | 항진문장 | 반드시 참말 | | premise | 전제ㆍ근거ㆍ논거ㆍ가정 | 받침말 | | premise | 받침말 | 전제 | | premise indicator | 전제 표시어 | 받침말 보람말 | | proof | 증명 | 밝혀 보임 | | constant | 상항 | 붙박이 홀이름 | | thought | 사상 | 생각 | | mutual entailment | 상호함축 | 서로 따라 나옴 | | inductive inference | 귀납추론 | 아마도 이끌기 | | weak inferes | 약한 추론 | 약한 이끌기 | | contradictory | 모순인 | 어긋난 | | contradiction | 모순문장 | 어긋난 말 | | contradiction ? | 어긋난 말 | 모순문장 | | contingent false | 우연허위 | 어쩌다 거짓말 | | contingent sentence | 우연문장 | 어쩌다 글월 | | contingent truth | 우연진실 | 어쩌다 참말 | | assumption ‘supposition | 가정 | 여김말 | | disjunction | 선언 | 이거나 | | disjunction | 선언문 | 이거나글월 | | distributivity of disjunction | 선언 배분규칙 | 이거나 나눔 | | addition rule | 첨가논법 | 이거나 넣기 | | disjunctive tautology | 선언 동어반복 | 이거나 되풀이 | | DeMorgan' rule of disjunction | 선언 드 모르강 규칙 | 이거나 모아 거짓이다 | | associativity of disjunction | 선언 결합규칙 | 이거나 새로 모음 | | commutativity of disjunction | 선언 교환규칙 | 이거나 앞뒤 바꿈 | | disjunctive syllogism | 선언 삼단논법 | 이거나 없애기 | | truth table for disjunction | 선언의 진리표 | 이거나의 참값모눈 | | conjunction | 연언 | 이고 | | conjunction | 연언 | 이고글월 | | distributivity of conjunction | 연언 배분규칙 | 이고 나눔 | | conjunction rule | 연언논법 | 이고 넣기 | | conjunctive tautology | 연언 동어반복 | 이고 되풀이 | | DeMorgan' rule of conjunction | 연언 드 모르강 규칙 | 이고 모아 거짓이다 | | associativity of conjunction | 연언 결합규칙 | 이고 새로 모음 | | commutativity of conjunction | 연언 교환규칙 | 이고 앞뒤 바꿈 | | simplification rule | 단순화논법 | 이고 없애기 | | truth table for conjunction | 연언의 진리표 | 이고의 참값모눈 | | truth table for conjunction ?! | 연언 | 이고의 | | inference | 추론 | 이끌기 | | inference | 이끌기 | 추론 | | inference indicator | 추론 표시어 | 이끌기 보람말 | | rule of inference | 추론규칙 | 이끌기 틀 | | argument | 논증 | 이끌어 보임 | | argument by cases | 경우에 의한 증명ㆍ양도논법 | 이러나저러나 | | exportation rule | 추출규칙 | 이렇고 저렇다면 | | noun | 명사 | 이름 | | conditional | 조건문 | 이면글월 | | conditional | 조건문 | 이면 | | conditional proof | 조건증명법 | 이면 넣기 | | transposition rule | 대우규칙 | 이면 앞뒤 바꿈 | | antecedent | 전건 | 이면 앞말 | | Modus Ponens | 긍정논법 | 이면 없애기 | | conditional exchange rule | 조건규칙 | 이면 이거나 바꿈 | | hypothetical syllogism | 가언 삼단논법ㆍ연쇄논법 | 이면 잇기 | | truth table for conditional | 조건의 진리표 | 이면의 참값모눈 | | if and only if | 인 경우 오직 그 경우에만 | 일 때 오직 그때만 | | necessary condition | 필요조건 | 있어야 하는 말 | | fallacy | 오류 | 잘못 이끌기 | | affirming the consequent | 후건긍정의 오류 | 잘못된 뒤로 이면 없애기 | | denying the antecedent | 전건부정의 오류 | 잘못된 이면 없애기 | | exclusive disjunction | 배타 선언 | 좁은 이거나 | | biconditional | 쌍조건 | 짝이면 | | biconditional sentence | 쌍조건문 | 짝이면글월 | | natural deduction | 자연연역 | 차근차근 이끌기 | | truth-functional sentential | 진리함수 문장연결사 | 참 따른 글월 이음씨 | | truth predicate | 진리술어 | 참 풀이말 | | truth value | 진리값 | 참값 | | truth table | 진리표 | 참값모눈 | | sound inference | 건전한 추론 | 튼튼한 이끌기 | | predicate | 술어 | 풀이말 | | predicate logic | 술어논리 | 풀이말 말길 | | singular sentence | 단칭문장 | 훌글월 | | singular term: proper noun | 단칭어:고유명사 | 홀이름 | | simple sentence | 단순문 | 홀글월 | | cogent- persuasive inference | 설득력 있는 추론 | 힘있는 이끌기 | | unpersuasive inference | 설득력 없는 추론 | 힘없는 이끌기 |