기호논리학(벤슨 메이츠) 연습문제 좀 도와주십쇼..

[익명(121.133)]

8번 어떻게 풂..??

[1234(121.160)]

(1)은 subsititution 개념이랑 logical implies개념 정의 앞에 설명해논거 있을텐데 참조하심