命題論理
【めいだいろんり】
【meidaironri】
命题逻辑