命題算めいだいざん<めい'だい>・ざん

Logikpropositionaler KalkülPropositionskalkülAussagenkalkül