p
~p
p
q
T
F
F
T
T
T
F
F
T
F
T
F
T
F
F
F
T
T
T
F
F
T
T
F
T
F
T
T
T
F
F
T
Truth Table
기호로 결합된 분자명제가 진 또는 위가 되는 조건을 표시하기 위하여 고안된 것이 진리표 (truth table) 이다. 명제계산에 사용되는 6가지 기본적 기호의 진리표를 총괄해 보면 다음과 같다.
|
p |
~p |
|
p |
q |
|
|
|
|
|
|
T |
F |
|
T |
T |
T |
T |
F |
T |
T |
|
|
|
||||||||
|
|
|
<진리표 A> <진리표 B>
진리표는 진리함수적 명제의 진위를 보여줄 뿐만 아니라 추론 에 있어서도 대단히 중요한 역할을 하는 것이니 그 작성요령과 의미를 정확히 알아 두어야 한다. ... (소광희, 1985)
term :
진리표 (Truth Table) 연결사 (Connective) 논리 (Logic) 술어논리 (Predicate Logic) 기호 논리학 (Symbolic Logic) 추론 (Reasoning) 추론 규칙 (Inference Rule) 정량자 (Quantifier) 일차논리 (First-order Predicate Calculus) 조건명제 (Implication) 전문가시스템 (Expert System)
paper :
video :
Truth Table : www.easymathk12.org : 2011/05/31
Bigger Truth Tables : ProfessorSerna : 2013/05/01