文計算

ぶん・けいさんbun·keisan

N.
Logik Aussagenkalkül m m.