否定的(Summer498)
《否定》ではないけど、細かい部分に目をつぶると一見否定に見えるようなもの 否定的の的は「~テキな?」のテキ
オレは、LSB を使った に対して それは違法だ! は《否定的》 オレは、LSB を使った の《否定》(により近いの)は オレは、LSB を使わなかった めっちゃムカつく! に対して そんな事考えても非生産的だ! は《否定的》
元の文と《否定的》な文は両立する
矛盾したらそれはもう《否定》
ただし、認知の歪み等で「矛盾してる!」と思うことがあるので注意
本来あるはずの量化記号と様相記号を全部無視してしまうと否定に見えるようなもの
まず、「A である」の《否定》を「A でない」としようや (命題論理より) 全ての人は P である の《否定》は 「全ての人は P」ではない
→ P でない人が存在する
P である人が存在する の《否定》は P である人が存在しない
→ 全ての人が「P でない」
必然的に P の《否定》は 「必然的に P」ではない
→ P でない可能性がある
$ [\lnot(\square p)]\vdash [\lnot(\lnot\Diamond\lnot p)]\vdash[\Diamond\lnot p]
P の可能性がある の《否定》は P の可能性がない
→ 必然的に 「P でない」
$ [\lnot(\Diamond p)]\vdash [\lnot(\lnot\square\lnot p)]\vdash[\square\lnot p]
他の論理
色々例を出せるが、
不勉強なもんでホントに《否定》なのかどうかを確認できましぇん😝Summer498.icon
様相公理の一種のようだ
こういうちゃんとした《否定》ではないけど、雑に否定と括りたくなるようなモンが《否定的》や