月亮词典
首页
查询
symbolic logic
符号逻辑：一种逻辑学分支
常用释义
词性释义
符号逻辑：一种逻辑学分支，使用符号和符号系统来表示和分析逻辑关系和论证。
例句
全部
Symbolic
logic
is often divided into two branches, propositional
logic
and
predicate
logic
.
符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。
I
'll
just leave
you
with
a
little
conundrum
because
that's
philosophical
logic
we
're not
doing
that here
,
we
are
doing
symbolic
logic
here
.
我会给你们一些难题因为，我们在做哲学逻辑，我们在做符号逻辑。
So
the
research
on
symbolic
logic
become
an
academic
focus
,
the
French
philosopher
Jean
Baudrillard
is
a
typical
representative
.
于是对符号逻辑的研究成为学术热点，法国哲学家鲍德里亚就是一位典型代表。
Clearly
the
infamous
inventor
of
symbolic
logic
,
Dr.
George Boole
-
-
see
Resources
--
would
feel
right at home
.
显然，“声名狼籍的”符号逻辑发明者GeorgeBoole博士—请参阅参考资料—会觉得这些选项很亲切。
Symbolic
logic
is
the
study
of
symbolic
abstractions
that
capture
the
formal
features
of
logical
inference
.
符号逻辑是象征性的研究抽象捕捉正规特点逻辑推理。
This
text
will
first
introduce
you
one
branch
of
symbolic
logic
,
what
is
generally
called sentential
,
or propositional
,
logic
.
本课首先将向你介绍符号逻辑的一个分支，即通常认为成为的句子逻辑或命题逻辑。
Read
more
about
Dr.
George
Boole
,
the
inventor
of
symbolic
logic
,
after whom
booleans
are
named
.
阅读关于GeorgeBoole博士（符号逻辑的发明者）的更多内容，布尔型就是因他而得名的。
Atom
propositions
are
the
basic unit
of
symbolic
logic
.
原子命题是数理逻辑研究的基本单位。
an
operation
that follows the
rules
of
symbolic
logic
.
依据数理逻辑法则进行的操作或运算。
it
is
an
example
of
symbolic
logic
.
这是个象征逻辑的例子。
同义词
[数]符号逻辑；数理逻辑；符号论理学
mathematical logic