이게 가정을 이렇게 때려버리는게 가능?

[논박이(58.233)]

3행 보면 가정이 갑자기 저렇게 튀어나오는데 가능함?

1. 가정을 저런 형태로 하는 것도 가능한지

2. 왜 꼭 저렇게 해야만 하는지

3. 만약 드모르간 법칙을 모르는 상태에서 141명제만 보고 증명한다고 했을 때, 3행처럼 가정 때려버리는 아이디어는 어떤 과정으로 떠올릴 수 있는지

논리학 처음 공부하는데 너무어려워요.. 

- dc official App

[TIME(ghawmzldjs71)]

맨 왼쪽 숫자는 뭐야? - dc App

[TIME(ghawmzldjs71)]

아 그 명제들로부터 도출됬다는거구나 - dc App

[TIME(ghawmzldjs71)]

저런 표기법은 처음보는거 같은데 책이름이뭐야? - dc App

[논박이(58.233)]

최원배 <논리적 사고의 기초>입니다 - dc App

[TIME(ghawmzldjs71)]

가정을 사용 하는 증명법도 있고 가정을 사용하지 않는 증명법도 있어 가정안쓰는거로 보는게 조금더 수월하지 않을까? - dc App

[익명(180.83)]

2. 저렇게 하지 않아도 됨. P∨Q, ￢P ⊢ Q를 증명해볼게. 만약 P이면, ￢P와 모순이 생기니까, 폭발률에 의해 Q야. 만약 Q이면, 자명한 연역에 의해 Q야. 따라서 P와 Q 둘 중 어느 것이 맞건 간에 Q라는 결론을 도출할 수 있어.

[익명(180.83)]

내가 저 교재를 보지 않아서 모르는데, 일단 저런 추론을 예시로 들어준 건, 우리가 이미 알고 있는 증명에 근거해서 다른 증명을 할 수 있다는 걸 보여주려 한 것 같아.

[익명(180.83)]

1. 아무 명제나 가정해도 돼.

[익명(180.83)]

저 가정을 하는 이유는, 드 모르간의 법칙을 귀류법을 사용해서 증명하기 위해 그 법칙이 부정되는 상태를 가정한 거야.

[TIME(ghawmzldjs71)]

그래서 저게 위에 있던거구나! 어차피 ~(~p&~q)가 나오니까 두 경우를 굳이 가정안해도 나오는거네 이게맞다 - dc App

[논박이(58.233)]

ㅗㅜㅑ… 다들 너무 정성스런 댓글 감사함다 열심히 또 공부하도록 하겠습니다 - dc App