【命題算】

めい￨だい･ざんmeidai·zan

N.
Logik propositionaler Kalkül m m; Propositionskalkül m m; Aussagenkalkül m m.