命題代数
【めいだいだいすう】
【meidaidaisuu】
命题代数