이산수학 - 챕터 2 명제와 논리 주요 단어

진릿값	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