Last Updated：2025/11/24
(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.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
valuation function
Edit Histories（0）
Source Word
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.
Japanese Meaning
（論理学において）すべての整形式文に対して真偽値を割り当てる関数。原子命題に対してはモデルの解釈関数と一致し、それ以外の場合は、文の最上位の論理結合子と周囲の部分式の真偽値に基づいて再帰的に真偽値を決定する関数。
Sense（1）
(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.
（ plural ）
