谓词逻辑的俄文

• Исчисление предикатов

• "谓词" 俄文翻译 :    pinyin:wèicìсказуемое, предикат
• "逻辑" 俄文翻译 :    [luójí] логика; логический; логичный
• "区域居民称谓词" 俄文翻译 :    Названия жителей
• "子句 (逻辑)" 俄文翻译 :    Дизъюнктивный одночлен
• "逻辑上" 俄文翻译 :    pinyin:luójishàngлогически; логический
• "逻辑与" 俄文翻译 :    Конъюнкция
• "逻辑史" 俄文翻译 :    История логики
• "逻辑学" 俄文翻译 :    [luójíxué] логика (наука)
• "逻辑性" 俄文翻译 :    pinyin:luójíxìngлогичность
• "逻辑或" 俄文翻译 :    Дизъюнкция
• "逻辑文" 俄文翻译 :    ложбан
• "逻辑机" 俄文翻译 :    pinyin:luójíjīмашина, выполняющая логические операции
• "逻辑语" 俄文翻译 :    ложбанло́жбанложбанский
• "逻辑门" 俄文翻译 :    Логические элементы
• "逻辑闸" 俄文翻译 :    Логический вентиль
• "逻辑非" 俄文翻译 :    Отрицание
• "s5 (模态逻辑)" 俄文翻译 :    S5 (модальная логика)
• "一致性 (逻辑)" 俄文翻译 :    НепротиворечивостьСовместимость
• "一阶逻辑" 俄文翻译 :    Логика первого порядка
• "三值逻辑" 俄文翻译 :    Троичная логика
• "不合逻辑" 俄文翻译 :    pinyin:bùhéluójíнелогичный; алогизм
• "业务逻辑" 俄文翻译 :    Бизнес-логика
• "二阶逻辑" 俄文翻译 :    Логика второго порядка
• "公式 (数理逻辑)" 俄文翻译 :    Булева формула
• "谓何" 俄文翻译 :    pinyin:wèihéчто тут скажешь?, что поделаешь?
• "谓语" 俄文翻译 :    [wèiyǔ] грам. сказуемое; предикат

• 在谓词逻辑中，全称量化是尝试形式化某个事物（逻辑谓词）对于所有事物或所有有关的事物都为真的概念。
  Квантор всеобщности — это попытка формализации обозначения того, что нечто (логическое выражение) истинно для всего, или для любой относящейся к делу сущности.

• 谓词逻辑的英语：first-order logic
• 谓词逻辑的日语：じゅつごろんり