假命题的判定方法
가명제적판정방법