元となった辞書の項目
valuation
noun
意味(1)
意味(3)
(logic,
propositional
logic,
model
theory)
An
assignment
of
truth
values
to
propositional
variables,
with
a
corresponding
assignment
of
truth
values
to
all
propositional
formulas
with
those
variables
(obtained
through
the
recursive
application
of
truth-valued
functions
corresponding
to
the
logical
connectives
making
up
those
formulas).
意味(4)