月亮词典
首页
查询
predicate calculus
谓词演算：一种形式逻辑系统
常用释义
词性释义
谓词演算：一种形式逻辑系统，用于表示和推理关于对象和它们之间关系的陈述。
例句
全部
Predicate
Calculus
language
of the
traditional
semantic
component
of the
mathematical logic
of
a
very
rich
branch
.
谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
The atomic
formula
is called
atom
for short
in
predicate
calculus
.
在谓词演算中，有时将原子公式简称为原子。
In
the
refutation
tree
of
predicate
calculus
,
the
proved
conjunctive
formula
.
在谓词演算的反驳树中，被证明的合式公式。
Predicate
logic
:
also
predicate
calculus
,
which
studies
the
internal
structure
of
simple
propositions
.
谓词逻辑：也叫谓词演算，它研究简单命题的内部结构。
Also
predicate
calculus
,
which
studies
the
internal
structure
of
simple
.
也叫谓语演算，它研究简单马那瓜体的内部结构。
A
legitimate
expression
of
the
predicate
calculus
.
That
is
,
it is
acceptable
under the
predicate
calculus
'
syntax
.
一个合法的谓词演算表达式，即谓词演算语法所允许的公式。
Construction
propositional
calculus
and
predicate
calculus
system
,
mathematical
theorems
derived
from
the
logical
axioms
;
构造命题演算系统和谓词演算系统，从逻辑公理推导出数学定理；
A
conditional
predicate
calculus
logic
for
PKI
trust
model
analysis
PKI信任模型的条件谓词逻辑推理
NDPI
Nature
Deduction
Type
Intuitionistic
Systems
of
First
Order
Predicate
Calculus
一阶谓词演算自然演绎型直觉主义系统
PKI
Trust
Model
Analysis
Based on
Probabilistic
Model
and
Conditional
Predicate
Calculus
Logic
基于概率和条件逻辑的PKI信任模型推理