一元谓词演算 на русском yīyuán wèicí yǎnsuàn сущ. мат. логика одноместных предикатов ; исчисление одноместных предикатов