☰

исчисление предикатов третьего порядка

сущ.
мат.
三阶谓词演算 sān jiē wèicí yǎnsuàn