Truth  Table

 

기호로 결합된 분자명제가 진 또는 위가 되는 조건을 표시하기 위하여 고안된 것이 진리표 (truth table) 이다. 명제계산에 사용되는 6가지 기본적 기호의 진리표를 총괄해 보면 다음과 같다.

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

 

 

 

 

진리표는 진리함수적 명제의 진위를 보여줄 뿐만 아니라 추론 에 있어서도 대단히 중요한 역할을 하는 것이니 그 작성요령과 의미를 정확히 알아 두어야 한다. ... (소광희, 1985)

term :

진리표 (Truth Table)    연결사 (Connective)    논리 (Logic)   술어논리 (Predicate Logic)   기호 논리학 (Symbolic Logic)   추론 (Reasoning)   추론 규칙 (Inference Rule)   정량자 (Quantifier)   일차논리 (First-order Predicate Calculus)   조건명제 (Implication)   전문가시스템 (Expert System)    

paper :

진리표 : Donald G. Fink

진리표 작성의 요령 : 소광희

video :

Truth Table : www.easymathk12.org : 2011/05/31

 

Bigger Truth Tables : ProfessorSerna : 2013/05/01