一阶纯谓词演算
_
чистое исчисление предикатов первого порядка
пословный:
| 一 | 阶 | 纯谓词演算 | |
1) один; единица; первый
2) целый; весь
3) как только
4) одинаковый
5) служит для выражения кратковременности действия
|
I сущ.
1) ступени; лестница; лестничный ход перед залом
2) степень, класс, ранг (чиновника)
3) этап, отрезок; фаза, стадия 4) основание, опора, база
5) геол. ярус (элемент стратиграфической шкалы)
II гл.
1) * подниматься [по лестнице] на (в)
2) открывать путь на (в); вести к
3) идти впереди, опережать
|