명제논리는 문제라도 많지 술어논리는 공부하기 빡세네