사이더 논리학 연습문제 질문

[논리초보(119.63)]

Theodore Sider가 쓴 Logic for Philosophy보는중인데요

이 문제 어떻게 풀면 될까요?

누가 시범보여주면 감이 잡힐거같은데 독학하니까 답이없네요;;

논잘알 님들 부탁드립니다

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

https://github.com/KiJeong-Lim/LogicStudy/blob/main/GIT.v#L664