Tag: 함의

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