谓词逻辑
wèicí luóji
логика предикатов
предикатная логика; логика предикатов
predicate logic
пословный:
谓词 | 逻辑 | ||
грам.
1) предикатив (в китайской грамматике: глагол и прилагательное)
2) сказуемое, предикат; см. 谓语
|
логика; логический; логичный
|