命題計算

めいだい・けいさんmeidai·keisan

N.
Logik Aussagenkalkül m m.