[일반] 그냥 논리문제

[익명(211.195)]

(사진 수정함!! 가언삼단에서 과정 하나 건너 뛰었음)

1번 문제와 조건증명법으로 푼 풀이

아래는 2번 문제 (전제가 없이 결론만 있음)

[초코냥-바이러스(thecoqproofassistant)]

[초코냥-바이러스(thecoqproofassistant)]

근데 논리학 갤러리로 와주시면 안 되나요?

[익명(211.195)]

그런 갤러리도 있어요?

[초코냥-바이러스(thecoqproofassistant)]

https://gall.dcinside.com/mgallery/board/lists?id=logic

[익명(211.195)]