【deb系】Ubuntu Linu ..
[
2ch
|
▼Menu
]
■コピペモード
□
スレを通常表示
□
オプションモード
□このｽﾚｯﾄﾞのURL
■項目テキスト
516:login:Penguin 07/03/10 18:52:29 hLQxJ1XO (´-`).｡ｏＯ（春休みとは関係なく、時折出現するやたら(略)な教えて君のような気がする・・・・) 517:login:Penguin 07/03/10 18:56:02 +5IXEscG 金「国際社会初心者です、おコメがほしいんですが、どうすればいいですか」 日「まずは埓を解決してくれ」 金「埓はすでに解決しますた、だから聞いてるんです」 日「じゃあ頑張って耕せ」 金「畑はすでに耕しますた。頑張ってどうなるとかいう事象じゃありません」 日「・・・コメは田んぼに植えるんだよ」 金「れすトンクスでつ！やってみます！」 金「田んぼの稲が育ちません、どうすればいいですか」 日「（ ﾟдﾟ）ﾎﾟｶｰﾝ」 518:login:Penguin 07/03/10 19:00:43 eB7EgOjt 厨房と蔑みながら自分はスレ違いも甚だしい内容を 恥じらいもなく書き込むこの矛盾について 519:login:Penguin 07/03/10 19:06:18 bOznaUEw Ψ(･∀･)ｻﾀﾆｯｸ!!ｳﾌﾞﾝﾄｩ!! 520:login:Penguin 07/03/10 19:08:33 +5IXEscG ある体系において何らかの矛盾が成立していたとすると、形式的な仮定「¬B」をおいても矛盾を 導けるということになる。従ってBの二重否定¬¬Bが推論できることになり、二重否定は無視でき る（排中律）ことから結局Bが推論できたことになる。 矛盾の性質として、矛盾を含む体系においてはどんな命題を導くこともできるというものだ。
次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック！
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
5391日前に更新/164 KB
担当:undef