検索結果- 英語 - 英語
検索内容:
signum function
noun
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
loading!
Loading...