증명이 안된다... 해줄사람..

[익명(203.229)]

- (R <-> Q)

ㅏ -(R & Q)

- dc official App

[김민성태팬클럽회장(thecoqproofassistant)]

~ (R <-> Q) |- ~ (R /\ Q) 말한 거지? 이럴 때에는 추론 규칙 목록도 적어줘야 함. 사용되는 논리체계들은 동등하긴 한데, 표준이 있는 건 아니라서 ...

[김민성태팬클럽회장(thecoqproofassistant)]

개요만 설명해 주자면, P랑 Q가 동시에 성립한다면, P iff Q도 성립하는 거고, 따라서 모순을 얻을 수 있음.

[익명(203.229)]

R<->Q 이거 R->Q Q->R 이라고 교수가 그랬어 - dc App

[러셀(salvaveritate)]

가장 간단하게 써 보면 대략 다음같이 하면 됨 1. ¬(R → Q ∧ Q → R) (전제) 2. ¬(R → Q) ∨ ¬(Q → R) (1 드모르간) 3. | ¬(R → Q) (가정) 4. | ¬(¬R ∨ Q) (3 대치) 5. | R ∧ ¬Q (4 드모르간, ¬ 제거) 6. | | R ∧ Q (가정)

[러셀(salvaveritate)]

7. | | ¬Q (5 ∧ 제거) 8. | | Q (6 ∧ 제거) 9. | ¬(R ∧ Q) (6-8) 10. ¬(R → Q) → ¬(R ∧ Q) … (마찬가지로 ¬(Q → R)을 가정해 ¬(R ∧ Q)를 얻는다) k-1. ¬(Q → R) → ¬(R ∧ Q) k. ¬(R ∧ Q) (2, 10, k-1 양도논법)