18/02/09 11:34:25.28 +GSyCLQ+.net
>>18
「ぷふ」さん、どうもスレ主です。
>>２）のR中稠密な場合は、定理1.7の命題は「 P∧ notQ → Q 」なので、証明不可能
>>つまり、２）のR中稠密な場合においては、命題レベルで矛盾を含んでいるから、証明不可能
>の2)の認識は間違いであることは飲み込めたでしょうか？
いいえ。なお、ここは後で詳しく説明します
>Q'2->￢Qが真
>という意味で使っているのですね？
はい
>そして現在のあなたの主張は
>``Q'2->￢Q が真である場合に P'∧Q'2->Q は真ではない''
>ということでしょうか？
はい。Q'2→￢Qが導けますから、P'∧Q'2 → P'∧￢Q → Q となります。
P'∧￢Q → Q で、条件（仮定）命題が真のとき、結論命題Qは偽です。
（下記の真理値表からの引用ご参照）
追伸
先の「2)の認識」は、直上の真理値表による説明の通りです。詳しくは後で。
URLﾘﾝｸ(ja.wikipedia.org)
真理値表
(抜粋)
例1：命題Pの否定「 {\displaystyle \lnot P} \lnot P」の場合、以下のような真理値表になる。
命題 P ￢P
真 偽
偽 真
(引用終わり)