命題論理の意味論 − 真理値分析 : トピック一覧・真理値 / 真理域・真理値集合 / 付値・真理値割りあて / 真理関数 / 真理値表・論理式の真理値の決定原理 ・真理値分析 ※論理関連ページ : 命題論理の論理式 / 論理記号 * 論理目次/総目次/更新履歴 ※述語論理の場合は、林晋,鹿島亮を参照。 |
真理値分析 truth-value-analysis |
||||||||||
→ 真理値分析とは? → 真理値分析の手順 → 分析例 【真理値分析とは?】 ・命題変数P1,P2,...,Pnを含む論理式A(P1,P2,...,Pn) についての真理値分析とは、 [目的] 論理式A(P1,P2,...,Pn)の真理関数すなわち、 |
|
[方法] 論理式の真理値の決定原理に従って、
A(P1,P2,...,Pn)の形成木の各ステップで認定した「P1,P2,...,Pnから帰納的に定義される論理式」の真理値を、
順次確定していくことによって、
[作業] 論理式A(P1,P2,...,Pn) の真理値表を書き出す作業
すなわち、《命題変数P1の真偽,命題変数P2の真偽,…,命題変数Pnの真偽の組み合わせ》の各々(付値)(2n通り)に対応する《論理式A(P1,P2,...,Pn
)の真偽》を書き出す作業
のこと。
【限定的な例】 1個の命題変数のみを含む論理式の真理値分析 / 2個の命題変数のみを含む論理式の真理値分析
→ 真理値分析とは? → 真理値分析の手順 → 分析例 → 命題論理の意味論:トピック一覧 → 総目次 |
|
【真理値分析の手順】
命題変数P1,P2,...,Pnを含む論理式A(P1,P2,...,Pn) についての真理値分析の詳細は、
下記の通り。
【限定的な例】 1個の命題変数のみを含む論理式の真理値分析 / 2個の命題変数のみを含む論理式の真理値分析
→ 真理値分析とは? → 真理値分析の手順 → 分析例 → 命題論理の意味論:トピック一覧 → 総目次 |
|
→ 真理値分析とは? → 真理値分析の手順 → 分析例 → 命題論理の意味論:トピック一覧 → 総目次 |