論理学の問題で

少なくとも間違いにはならんよ。何の矛盾も生じないからな

多分答えわかんないけど一番考えられる物の事言ってるんだろ？

俺も>>4が最重要だと思う。真と偽について「〜と定義付けた場合」という具合に分けて纏めれば、ちょうど400字近くに到達する筈。

「この文は死んでも偽では無い」ってことでは・・・

>>66や>>11（>>49）が正しいと思う。
66はド・モルガンの法則などの論理式の同値変形での証明。
>>11は背理法からの証明。49でも言ってるけど、偽なら間違ってるから元の命題は気にしなくてよくなる。

このスレはゆとりフィルターがかかってるんですね。分かります。

ステートメントの真偽を議論するのに
A→B（AならばB）のA、Bそれぞれをどう解釈するかがまったく話題に上がってないところに
このスレの限界が見えるね。

こういう命題ってたしか古典論理学では
真偽不能にするような気がしたが。

あと
>>88
この問題に関しては関係なくね？

盛り上がってまいりました

具体的なこと言わないのに、自分はわかってるんだぜ偉いぜ、お前らはわかってないぜバカだぜ、って態度見せる人って滑稽

ＶＩＰらしくなって参りました

これがプログラムングの基礎であることは自明である

情報系学生か・・・

じゃあ具体的に書いてみる。
「標準的な構成の論理学」を用いるとして

仮にこの命題が真だと仮定する→矛盾
従ってこの命題は真ではない
仮にこの命題が偽だと仮定する→矛盾
従ってこの命題は偽ではない

真でも偽でもない。
従って、念頭に置いているような構成の論理学では、この命題は
扱えない。

とかって話だった気がするよ。

別の問題ができたから書こうと思ってきたらまた違う答えが･･･
わかんないけど真と偽の定義づけから書き始めときます

偽なら矛盾しないだろ？
「この文は偽である」なら、真でも偽でも矛盾するけど

>>97
命題は「偽ではない」って言ってるから、偽だとすると矛盾するよ。
「それ以外」ってのが求められている答えで、
それをどう処理するのかっていうのがレポートの出題趣旨だと思うよ。

「偽ではない」を偽だって言ってるんだから矛盾しないんじゃないか？
俺の頭が悪いだけなのか？

>>98
「偽ではない」が偽だと矛盾しないんじゃない？
本当は偽なのを嘘ついてるんだから
嘘つきが私は嘘つきでないって言ってることと同じでしょ
ということは、それを嘘だっ！！って言うのは矛盾しないんじゃない
真である、つまり正しいって言う方が矛盾するでしょ

ごめん、分からなくなってきた

つまり
｢この文は真でも偽でもないという文は偽である｣
は真であるということ？

>>66
(not 真) and (not 偽)
　↓
偽 and 真
　↓
偽

一行減ったｗ

それは一行目から間違ってない？
andはどういう意味で使ってるの？

おまいらこういうの好きって普段相当暇なんだな

>>103
論理積

となると2行目への移行で間違ってるのか？

ドモルガンじゃないか　1個すっ飛んでる気もするけど

>>106
notの展開が間違ってるとな？

ああ>>102の話か

not真＝偽じゃないんじゃね？
実際は、真じゃなきゃ偽だとしても
真でも、偽でもないという存在を前提としている問題でしょ？

答えは『それ以外』
真でも偽でもない→真でも偽でもないという事実がある

>>110
論理演算が成り立たない世界の話なのかｗｗｗ


まぁ、前提条件を何も示さない>>1が悪いんだけどねｗ

問題文に「これは真か偽か、はたまたそれ以外か」って書いてあるからさ…
これは後半無視していいの？

どうみても偽です
高校レベルだろこれ……

>>113
「「Ａは真でも偽でも無い」が真である」ときＡは真か偽か？って言われたら・・・

「これは1か0か」って聞かれたら論理演算そのままでいけそうだが
「これは1か0か、はたまた(x≠1かつx≠0)か」と聞かれると困る

>>115
どちらでもない？
「真でも偽でもない」という存在があり得ないとされていても
もしかしたら我々地球人にはその存在が確認できないだｋ

僕は正直者でも嘘つきでもない

　､＿＿＿＿＿＿＿＿＿＿＿
　 ､＞　　　　　　　　　　　　　　.|
　　＞＿＿＿＿＿＿＿＿　　 .|
　　￣ 　　.|./＿　　 ＿＼ |　　 |
　　　　　　| /　 ヽ／　 ヽ　|　　|
.　　　　　 | | 　 ・ | ・　　|　 V⌒ｉ
　　　＿　 |.＼　 人＿_ノ　　　6 |
　　　＼￣　　○　　　　　　　　/
.　　　　 ＼　　　　　　 　　　厂
　　　　　／　 ＿＿＿＿_／
　　　　　￣￣, -/へ／＼/｀- ､
　　　　　　 ／./　 ./o　　　　i.　＼
　　　　　　∧
／￣￣￣　　￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
昼飯のスパゲティナポリタンを眺めながら、積年の疑問を考えていた。それは「なぜ
ナポリタンは赤いのだろうか」という問いである。簡単に見えて、奥の深い問題だ。
「赤いから赤いのだ」などとトートロジーを並べて悦に入る浅薄な人間もいるが、
それは思考停止に他ならず、知性の敗北以外なにものでもない。「赤方偏移」という
現象がある。
宇宙空間において、地球から高速に遠ざかる天体ほどドップラー効果により、その
スペクトル線が赤色の方に遷移するという現象である。
つまり、本来のナポリタンが何色であろうとも、ナポリタンが我々から高速で遠ざかっ
ているとすれば、毒々しく赤く見えるはずなのだ。
目の前のナポリタンは高速で動いているか否か？それはナポリタンの反対側に回って
みることでわかる。運動の逆方向から観察することで、スペクトルは青方遷移し、 青く
見えるはずなのだ。逆に回ってみたところ、ナポリタンは赤かった。
よってこのナポリタンは高速移動をしていないと言える。

ド・モルガンの法則つかえ

『言葉遊びに付き合うほど、学生は暇じゃない』って書いて出せばいいよ。

>>117
矛盾を真とするとあらゆるものが真にも偽にもなってしまう　と言いたかっただけｗ

古典論理では not( not Φ) → Φ は成り立つけど
直観主義では成り立たない
直観主義では背理法が認められないから
結局論理体系がなにかできまるのでは

>>120
>>1の提示する前提としての論理演算がちゃんと閉じているかすら不明なんだぜ

>>124
スレタイを好意的に読んでやってくれｗ

普通に偽だろ……
なんで命題が真であることを前提に、偽である場合を論じているんだよ……

「この文は真でも偽でも無い」

まず真であると仮定すると「真でも無い」という部分に矛盾
よって真ではない
次に偽だと仮定すると「この文は真である」か「この文は偽である」か「この文は真かつ偽である」となる
この３つをさらに考える
まず「この文は真である」は、最初に書いたようにありえない
次に「この文は真かつ偽である」は、「真かつ偽」が矛盾するからありえない
最後に「この文は偽である」とすると、この文は「この真である」か「この文は偽である」か「この文は真かつ偽である」
とルイズ！ルイズ！ルイズ！ルイズぅぅうううわん！！！
……！！！！ルイズルイズルイズぅううわ！！！
クンカクンカ！クンカクンカ！スーハースーハー！スーハースーハー！いい匂いだなぁ…くんくん
んはぁっ！ルイズ・フランソワーズたんの桃色ブロンドの髪をクンカクンカしたいお！クンカクンカ！！！
間違えた！モフモフしたいお！モフモフ！モフモフ！髪髪モフモフ！カリカリモフモフ…きゅんきゅんきゅい！！
小説12巻のルイズたんかわいかったよぅ！！……！！ふんんっ！！
アニメ2期放送されて良かったねルイズたん！！かわいい！ルイズたん！かわいい！！
コミック2巻も発売されて嬉し…いやぁああああああ！！！にゃ！！ぎゃ！！
ぐ！！！コミックなんて現実じゃない！！！！あ…小説もアニメもよく考えたら…
ル イ ズ ち ゃ ん は 現実 じ ゃ な い？にゃ！！う！！
そんな！！いや！！はぁん！！ハルケギニア！！
この！ちきしょー！やめてやる！！現実なんかやめ…て…え！？見…てる？表紙絵のルイズちゃんが僕を見てる？
表紙絵のルイズちゃんが僕を見てるぞ！ルイズちゃんが僕を見てるぞ！挿絵のルイズちゃんが僕を見てるぞ！！
アニメのルイズちゃんが僕に話しかけてるぞ！！！よかった…世の中まだまだ捨てたモンじゃないんだねっ！
いやっほぉおおおおおおお！！！僕にはルイズちゃんがいる！！やったよケティ！！ひとりでできるもん！！！
あ、コミックのルイズちゃん！！いや！！！！
アン様！！シ、シエスター！！アンリエッタ！！！タバサ！！
ううっうぅうう！！俺の想いよルイズへ届け！！ハルゲニアのルイズへ届け！

どう考えても偽な件について

はいちゅうりつがどうとかいうはなしじゃないの？

このスレ見て書いたとわかるようなレポートを書いた者には単位あげません。



　　これは真です。

ttp://ja.wikipedia.org/wiki/%E6%8E%92%E4%B8%AD%E5%BE%8B
はいちゅーりつ