検索結果- 英語 - 英語
検索内容:
deduction theorem
名詞
(logic)
A
procedure
for
"discharging"
assumptions
from
an
inference,
causing
them
to
become
antecedents
of
the
conclusion;
or
vice
versa.
Symbolically,
the
conversion
of
an
inference
of
the
form
P,A⊢C
to
an
inference
of
the
form
P⊢A→C
or
vice
versa,
where
⊢
is
the
turnstile
symbol.
The
validity
of
the
procedure
is
a
metatheorem
of
the
given
logical
theory.
日本語の意味
論理学における定理の一種で、ある仮定を論証から解除し、その仮定を結論の前提条件（含意）として組み込む手続き、あるいはその逆の変換を示すもの。
関連語
consensus theorem
名詞
(logic)
The
following
theorem
of
Boolean
algebra:
XY+X'Z+YZ=XY+X'Z
where
YZ,
the
algebraically
redundant
term,
is
called
the
"consensus
term",
or
its
dual
form
(X+Y)(X'+Z)(Y+Z)=(X+Y)(X'+Z),
in
which
case
Y+Z
is
the
consensus
term.
(Note:
X+Y,X'+Z⊢Y+Z
is
an
example
of
the
resolution
inference
rule
(replacing
the
+
with
∨
and
the
prime
with
prefix
¬
might
make
this
more
evident).)
日本語の意味
コンセンサス定理（合意定理とも呼ばれる）とは、ブール代数における定理で、論理式 XY + X'Z + YZ = XY + X'Z （またはその双対形式 (X+Y)(X'+Z)(Y+Z) = (X+Y)(X'+Z)）が成立することを示す。この定理において、YZ（または Y+Z）は余分な項（コンセンサス項）と呼ばれ、論理式の簡略化に寄与する。
Chebyshev's theorem
固有名詞
日本語の意味
チェビシェフの定理とは、素数計数関数 π(x) が x/ln x と同じオーダーで増加するという定理です。すなわち、十分大きな x に対して、正の定数 c および C が存在し、c·(x/ln x) ≤ π(x) ≤ C·(x/ln x) となるという主張を示しています。
Pythagoras' theorem
binomial theorem
名詞
日本語の意味
数学において、二項定理とは、(a+b)のn乗（nは正の整数）の展開を求める定理であり、(a+b)ⁿをaとbのべき乗の積の形で表される各項の加算式に展開する公式である。
Green's theorem
名詞
不可算名詞
日本語の意味
グリーンの定理：積分計算学における定理で、基本定理を二次元平面上に拡張したものです。具体的には、ある単純連結な領域内で定義された2つのスカラー場の微分（偏微分）を含む面積積分が、その領域の境界に沿った線積分と等しくなることを示す定理です。
loading!
Loading...
