検索結果- 英語 - 英語
検索内容:
no-hair theorem
noun
emission theory
noun
flypaper theory
noun
deduction theorem
noun
(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
noun
(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).)
theobromic acid
noun
loading!
Loading...