☰

логика предикатов на китайском

сущ.
мат.
谓词演算 wèicí yǎnsuàn