فورمال لوگىكىلىق فۇنكىسىيە

ماتېماتىكا 形式逻辑函数 xíng shì luó jí hán shù