命題関数命題関数命題函数めいだいかんすう<めい'だい>･かん'すう5

LogikAussagenfunktion