UUUUU

연역추론은 오직 연역추론을 통해서만 옹호될 수 있다.[1]p and (p->q) -> q이것은 고등학교에서 배우는 삼단논법이다.고등학교 땐 이게 항상 참이라고 이야기하니까 그러려니 넘겼을 것이다.자, 그런데 이것이 참이 아니라고 생각해보자.p and (p->q) -> q하지만 난 q를 믿지 않는다.아니, p-q가 맞다며, 그럼 p면...