자세한 것은 [[:논리학]]을 참고하라. {{tag>분류 수학}}