000 $anz n 2 000 $a주제어 001 $aKSH1998008934 005 $a19990512150751 008 $a980429 n azknnaabn |a a|a | 150 $a명제 논리[命題論理] 550 $wg$a논리[論理] 550 $a거짓 550 $a대우(명제)[對偶] 550 $a명제 논리학[命題論理學] 550 $a명제(논리학)[命題] 550 $a술어 논리[述語論理] 550 $a역(명제)[逆] 550 $a역설[逆說] 550 $a참(옳음)[眞] 550 $a함의[含意] 550 $a형식 논리학[形式論理學]