最終更新日：2025/11/24
例文
In
propositional
semantics,
a
valuation
function
assigns
a
truth
value
to
every
well-formed
formula,
coincides
with
the
model's
interpretation
on
atomic
propositions,
and
determines
the
truth
of
complex
formulas
recursively
based
on
their
top
logical
connective
and
the
truth
values
of
their
subformulae.
命題論理の意味論において、真理値割当関数はすべての構成式に真理値を割り当て、原子命題に関してはモデルの解釈関数と一致し、その他の場合はその式の最上位の論理結合子と部分式の真理値に基づいて再帰的に真理値を決定します。
復習用の問題
In propositional semantics, a valuation function assigns a truth value to every well-formed formula, coincides with the model's interpretation on atomic propositions, and determines the truth of complex formulas recursively based on their top logical connective and the truth values of their subformulae.
正解を見る
In propositional semantics, a valuation function assigns a truth value to every well-formed formula, coincides with the model's interpretation on atomic propositions, and determines the truth of complex formulas recursively based on their top logical connective and the truth values of their subformulae.
音声機能が動作しない場合はこちらをご確認ください
関連する単語
valuation function
名詞
(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.
日本語の意味
（論理学において）すべての整形式文に対して真偽値を割り当てる関数。原子命題に対してはモデルの解釈関数と一致し、それ以外の場合は、文の最上位の論理結合子と周囲の部分式の真偽値に基づいて再帰的に真偽値を決定する関数。
関連語
英語 - 英語
項目の編集設定
- 項目の編集権限を持つユーザー - すべてのユーザー
- 項目の新規作成を審査する
- 項目の編集を審査する
- 項目の削除を審査する
- 重複の恐れのある項目名の追加を審査する
- 項目名の変更を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
例文の編集設定
- 例文の編集権限を持つユーザー - すべてのユーザー
- 例文の削除を審査する
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
問題の編集設定
- 問題の編集権限を持つユーザー - すべてのユーザー
- 審査に対する投票権限を持つユーザー - 編集者
- 決定に必要な投票数 - 1
