오늘까지 과제인데 30분쨰 낑낑대되 도대체 풀 기미가 보이질 않아요 ...
후..... 어떻게 접근 해야 하나요? 다른 쉬운 것들은 풀었는데 요놈들이 안풀려요
1. (P∨Q)→(R∧S)
~R
∴P
2. (Q∨~R)∨S
~Q∨(R∧~Q)
∴R→S
3. P→(Q∧R)
(Q∨S)→P
∴P≡Q
4. P∨Q
Q→S
P→S
∴S∧~(¬P→Q)
존경합니다 형님들 ㅠㅠㅠ 불쌍한 천민을 도와주소서 ..
오늘까지 과제인데 30분쨰 낑낑대되 도대체 풀 기미가 보이질 않아요 ...
후..... 어떻게 접근 해야 하나요? 다른 쉬운 것들은 풀었는데 요놈들이 안풀려요
1. (P∨Q)→(R∧S)
~R
∴P
2. (Q∨~R)∨S
~Q∨(R∧~Q)
∴R→S
3. P→(Q∧R)
(Q∨S)→P
∴P≡Q
4. P∨Q
Q→S
P→S
∴S∧~(¬P→Q)
존경합니다 형님들 ㅠㅠㅠ 불쌍한 천민을 도와주소서 ..
페이지 전체를 찍어주실수있나요?
2. 1.(Q∨~R)∨S 2. ~Q∨(R∧~Q)/∴R→S C13. ~(R→S) C14. ~Q→(R→S) 1 De morgan, association C15. Q 3,4 MT C16. (R∧~Q) 5,2 DS C17 ~Q 6 Simp C18 Q∧~Q 5,7 Conj contradictory 9 ∴R→S 비몽사몽. 자기 전에 막 썻는데 맞냐? 졸려 죽겠다