命題論理学
【めいだいろんりがく】
【meidaironrigaku】
命题逻辑