検索結果- 英語 - 英語
検索内容:
valuation function
noun
(logic)
A
function
which
assigns
a
truth
value
to
every
well-formed
formula,
which
is
identical
to
the
model's
interpretation
function
when
applied
to
atomic
propositions,
and
which
otherwise
assigns
a
truth
value
recursively
depending
on
the
formula's
top
logical
connective
and
the
truth
values
of
the
subformulae
surrounding
that
logical
connective.
bodily function
noun
functional dependency
functional reserve
noun
Morse function
noun
vital function
noun
real function
loading!
Loading...