「配列のすべての要素が条件を満たすなら True を返す」関数を定義するとき、空の配列を渡したら True を返すべき数学的説明
発端 @fumieval 様のツイート。 空の配列を渡したら True を返すべき この関数に空の配列を渡したら True を返すべきである。仕様によるとか状況によるとか相談すべきとか例外を返すべきかもといった意見もあるようだが、議論の余地がないレベルで True を返すしかない。最大の理由は 「True を返さないと、空集合があらゆる集合の部分集合になるというルールに矛盾するから」 である。これは数学における集合論の定理のひとつであり、「これを認めないとそれに連なる集合論のすべてが瓦解する」というルールのひとつであって、認めない相応の理由があるとすれば「数学のもっとも基礎的なルールのひとつを覆してでも実現しなければならないことがある」という次元での話になる。 少なくとも私は 10 年以上プログラミングをしていてそんな状況に遭遇したことはない。 【2023/06/01 追記】 数式がわから
君はバートランド･ラッセルを知っているか 論理哲学はこうして発展してきた | 今週のHONZ - 東洋経済オンライン
コンテンツブロックが有効であることを検知しました。 このサイトを利用するには、コンテンツブロック機能（広告ブロック機能を持つ拡張機能等）を無効にしてページを再読み込みしてください。 ✕
逆，裏，対偶
■ 逆・裏・対偶 【 このページの要約 】 ・ある命題 「p → q」 ( p ならば q ) が真（正しい）のとき，その対偶 は真（正しい）であるが，逆や裏は必ずしも真（正しい）とは限らない． ・ある命題 「p → q」 ( p ならば q ) とその対偶とは真偽が一致するので，対偶の真偽を示せば元の命題の真偽が示せる． ・逆の裏は対偶，裏の逆も対偶，逆の対偶は裏・・・などが成り立つ． ・ 命題 p → q には，集合の包含関係 P⊂Q が対応する． これを集合の要素で表わせば，「どんな x についても，x∈ P → x∈ Q 」になる． ・ P⊂Q ⇔ ⊂ だから，p → q ⇔ → が成り立つ．
論理的思考になりたいんだがｗｗｗｗｗｗｗｗｗｗ : 哲学ニュースnwk
2014年10月06日12:00 論理的思考になりたいんだがｗｗｗｗｗｗｗｗｗｗ Tweet 1：以下、＼(^o^)／でVIPがお送りします：2014/10/05(日) 15:52:27.47 ID:tUktaoOI0.net 論理的問題とか全然わからないんだが解説お願いします 「Ｉ」 「５」 「Ｊ」 「４」 どのカードも、片面にはアルファベット、もう片面には数字が書かれています。 このカードには「片面に母音(A,E,I,O,U)が書かれていれば、 もう片面には偶数が書かれている」というルールがあります。 このルールが正しいことを証明するためには、 四枚のうち、最低どのカードを裏返せば良い？ （裏返す必要のないカードを裏返してはいけません。） 転載元：http://viper.2ch.sc/test/read.cgi/news4vip/1412491947/ 数学SUGEEEEEEE
必要条件・十分条件とは？意味と具体例－論理的思考法
第二章 論理的な反論の仕方 ツイート 論理的思考力と議論TOP 【論理的思考法・議論】 一.論理的な主張の仕方 二.論理的な反論の仕方 三.詭弁・誤謬・レトリック やる夫で学ぶ議論のしかた ディベートとは＋動画 喧嘩凸動画と生配信の見方 毎日読むまとめ 【交渉・駆け引き】 権力闘争 【心理・対話スキル】 トマス･ゴードンの『親業』 思考を歪める心理効果 【その他】 リンクと書籍 ―相互リンクサイト様― ◇議論・論理・思考法 議論パターン（翔ソフトウェア） 論理学入門（立徳の道） Ｎ＆Ｓラーニング ◇主張・コラム・エッセイ 日本人よ！誇りをもて 歴史と世間のウラのウラ 紙屋研究所 ようこそＤｒ．町田のホームページへ 新聞拡張員ゲンさんの嘆き リューニウム オカルトの部屋 不登校ひきこもりニートの原因・予防・脱出法 ■TOPへ 論理的思考力と議論とディベート ●論理的思考－必要条件・十分条件と
論理学
論理学の孤独な散歩道 散歩者の独り言―「孤独な」というのは「ロンリー」という意味ですか。ルソーの自叙伝のタイトルを踏まえている？ 説明が少ないのは、まあ、自分の頭を使えということですね、ロンリーですからね。 論理学で使う記号はパソコンで出しにくいが、Windowsなら、「きごう」と入力すると、ずらずらと多くの記号が出るので、使うものを辞書に登録しておけばよいでしょう。 でも、出ない記号も少なくない。（断定記号（「┠」「|-」みたいなやつ）は矢印（→と⇒）で代用。） 命題論理 （真理関数の理論） 命題論理は、命題（文）を単位として、その論理的関係を分析する。 命題（proposition）とは、真か偽かのどちらか（真理値）を決定しうる文をいう。 否定子と接続詞を含まない単文を、要素命題と呼ぶ。要素命題が組み合わさって複合命題ができる。 要素命題の値が決まれば、全体の値が一意的に決まる複合命題
【インフォシーク】Infoseek ： 楽天が運営するポータルサイト
日頃より楽天のサービスをご利用いただきましてありがとうございます。 サービスをご利用いただいておりますところ大変申し訳ございませんが、現在、緊急メンテナンスを行わせていただいております。 お客様には、緊急のメンテナンスにより、ご迷惑をおかけしており、誠に申し訳ございません。 メンテナンスが終了次第、サービスを復旧いたしますので、 今しばらくお待ちいただけますよう、お願い申し上げます。
論理学（信州大学工学部情報工学科基礎研究室のサイトより）
論理学 論理学 １ 命題論理学 真理値と論理演算 論理学 ２ 命題論理学 真理値と論理演算 論理学 ３ 命題論理学 論理式の簡単化 論理学 ４ 命題論理学 真理値表と論理式 論理学 ５ 命題論理学 カルノ−図と論理式 論理学 ６ 述語論理学 導入 戻る（Ｌｅｔ’ｓ ｌｅａｒｎ）
数学って面白い！？ : 天国への道 - livedoor Blog（ブログ）
今日は数学ではなく論理学の話題です。 当ブログを読んでくださり度々コメントもいただいているakanekoさんからメールで教えられた問題を紹介します。 これは割と有名な問題で、私も一度聞いたことがありました。 以下のようにして解決できます。 なぜこれで解決できるかというと… もし尋ねた相手が天使だとすると、正直に答えてくれますから「はい」と答えたら指さした道は天国への道、「いいえ」と答えたら地獄への道です。 一方で、尋ねた相手が悪魔だと仮定しましょう。 もし指さした方向が天国ならば、悪魔は『こちらは天国への道ですか？』という質問には「いいえ」で答えますから、上記の質問への答えはその逆、つまり「はい」になります。 もし指さした方向が地獄ならば、悪魔は『こちらは天国への道ですか？』という質問には「はい」で答えますから、上記の質問への答えはその逆、つまり「いいえ」になります。 従って、悪魔が「はい
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
日経BP
Loading...
http://www3.ocn.ne.jp/~eee/logictop.html