수리논리학 - 1차 술어 논리 (3)

추론 규칙

모순 (Contradiction)

양화사

보편양화사 ()

존재양화사

공리와 정리