Tag: 논리학

학부 과정에서 집합론을 수강하면 명제를 배운다. 이때 \((p \to q)\)를 \( ((\sim p) \vee q)\)와 같은 것으로 정의한다. 그런데 사실 \((p \to q)\)라는 명제는 중등학교 과정에서 도형의 성질을 증명하면서 이미...