| 증명 | proof | 공리 | axiom |
| 정의 | definition | 정리 | theorem |
| 직접 증명법 | direct proof | 소수 | prime number |
| 모순 증명법 | proof by contradiction | 대우 증명법 | proof by contrapositive |
| 존재 증명법 | existence proof | 반례 증명법 | proof by counter-example |
| 수학적 귀납법 | mathematical induction | 완전수 | perfect number |
| 완전 제곱수 | perfect square number |
| 이산수학 - 챕터 2 명제와 논리 주요 단어 (0) | 2024.06.28 |
|---|---|
| 이산수학 - 챕터 1 수의 표현과 연산 주요 단어 (0) | 2024.06.28 |
| 진릿값 | truth value | 참 | true |
| 거짓 | false | 명제 | proposition |
| 단순명제 | simple proposition | 활성명제 | compound proposition |
| 진리표 | truth table | 부정 | NOT |
| 논리곱 | AND (conjunction) | 논리합 | OR |
| 배타적 논리합 | Exclusive OR, XOR | 동치 | equivalence |
| 조건명제 | conditional proposition | 함축 | implication |
| 전제1 | 1. premise (2.hypothesis) | 가정 | hypothesis |
| 결론 | conclusion | 결과 | consequence |
| 역 | converse | 이 | inverse |
| 대우 | contraposition | 쌍방조건명제 | biconditional proposition |
| 항진명제 | tautology | 모순명제 | contradiction |
| 사건명제 | contingency | 논리적 동치 | logically equivalence |
| 항등법칙 | identity law | 지배법칙 | domination law |
| 부정법칙 | negation law | 이중 부정법칙 | double negation law |
| 멱등법칙 | idempotent law | 교환법칙 | commutative law |
| 결합법칙 | associative law | 분배법칙 | distributive law |
| 드 모르간의 법칙 | De Morgan's law | 흡수법칙 | absorption law |
| 함축법칙 | implication law | 명제함수 | propositional function |
| 논의영역 | domain of discource | 구속변수 | binding variable |
| 자유변수 | free variable | 전체 한정자 | universal quantifier |
| 존재 한정자 | existential quantifier | 추론 | inference |
| 논증 | reasoning | 유효추론 / 정당한 추론 | valid inference |
| 허위추론 / 부당한 추론 | fallacious inference | 선언적 부가 | disjunctive addition |
| 단순화 | simplication | 긍정논법 | modus ponens |
| 부정논법 | modus tollens | 선언적 삼단논법 또는 소거 | disjunctive syllogism |
| 가설적 삼단논법 또는 추이 | hypothetical syllogism |
| 이산수학 - 챕터 3 증명 주요단어 (0) | 2024.06.28 |
|---|---|
| 이산수학 - 챕터 1 수의 표현과 연산 주요 단어 (0) | 2024.06.28 |
| 자연수 | nutural number | 정수 | integer |
| 유리수 | rational number | 무리수 | irrational number |
| 실수 | real number | 허수 단위 | imaginary unit |
| 복소수 | complex number | 허수 | imaginary number |
| 항등원 | identity element | 역원 | inverse element |
| 합연산 | 시그마(sigma) | 곱연산 | 프로덕트(product) |
| 계승 | 팩토리얼(factorial) | 몫 | quotient |
| 나머지 | remainder | 몫을 구하는 연산 | div |
| 나머지를 구하는 연산 | mod | 10진법 | decimal number system |
| 10진수 | decimal number | 2진법 | binary number system |
| 2진수 | binary number | 8진법 | octal number system |
| 8진수 | octal number | 16진수 | hexadecimal number system |
| 16진수 | hexadecimal number | 비트 | bit,binary digit |
| 보수 | complement | 1의 보수 | 1's complement |
| 2의 보수 | 2's complement | 부호-절댓값표현 | sign-magnitude |
| 부호-1의 보수 | sign-1's complement | 부호-2의보수 | sign-2's complement |
| 초과 | overflow | 기수 | base |
| 이산수학 - 챕터 3 증명 주요단어 (0) | 2024.06.28 |
|---|---|
| 이산수학 - 챕터 2 명제와 논리 주요 단어 (0) | 2024.06.28 |