[일반] 이거 틀린거임??

[나단수리(nadan3)]

여기선 귀류법이

'~φ일때 모순이니까 φ라고 추론하는거'

라고 설명하고 있는데

p->q와 (p∧~q)->c는 동치라는 설명이 전혀 아니지 않음??

[익명(115.21)]

짤은 일반화된 귀류법임. p를 증명하는 대신 ~p->c를 증명하는 것이 동치라는 말. 이제 p 자리에 (p->q)를 넣으면 ~(p->q) = p∧~q 이니까 너가 맨 밑에 쓴 결과가 따라 나오는거임

[나단수리(nadan3)]

아아 ~(~p)는 ~(~p)∨c고 즉 ~p→c라는거지? ㄱㅅㄱㅅ

[ultraproduct(ultraproduct)]

Inference rule RAA If ΓU{~φ}ㅏx!=x, then Γㅏφ. 이게 본래 귀류법임. 나무위키에 있는 그건 고교과정에서 소개되는 특수한 경우고. Γ는 문장집합, φ는 문장. 오른쪽의 x!=x는 뭐 적당히 다른 걸 써도 되고...('적당'의 기준은 생략 ㅋㅋ.)

[나단수리(nadan3)]

ㅇㅎ 그런 자세한건 어딜 찾아봐야 알 수 있음? 궁금한데 멀 해야할지 모르겠음

[ultraproduct(ultraproduct)]

수리논리 공부해보게?

[나단수리(nadan3)]

ㅇㅇ 해보고 싶음