논리

명제

부정

‘그리고’ 와 ‘또는’

조건문

필요조건과 충분조건

역·이·대우

추론