命題計算
【めいだいけいさん】
【meidaikeisan】
命题演算