タグ

論理に関するwand125のブックマーク (2)

  • 否定 - Wikipedia

    電子工学[編集] Aの否定は、 と書く。 プログラミング言語[編集] C言語などでは! で表され、 if (!z) ; のように使用される。 また、ビット単位の否定は~で表され y = ~x; のように使用される。 VBScriptではNotで表され、 z = Not x のように使用される。 Perlでは、!やnotで表され、 if (!$f) {} if (not $f) {} のように使用される。 Schemeでは、notで表され、 (not s) (map not (map odd? lst)) のように使用される。 全否定と部分否定[編集] ある対象に関する命題で、対象すべてに関する否定を全否定、一部に関する否定を部分否定という。これらは、述語論理において、次のように表現される。 全否定 ∀ x ¬ A(x) 「すべての x について、「A(x) でない」」あるいは「絶対に A(

    否定 - Wikipedia
  • ??につける薬(コム対)

    ??につける薬(コム対部)   ・・・ より良い“決断、評価、説得”のための、        科学的思考(行動)様式 ・・・   このホームページは、「何かを結論付けている」ものではありません。 “考えるためのニュートラルな状態”を作り上げようという試みです。 我々は、「もっと、知識に対して誠実になれないのでしょうか?」 mode-2 science ( モード2 サイエンス ) (朝日新聞社 朝日現代用語「知恵蔵1999」より) マイケル・ギボンズらが「現代社会と知の創造」で提唱した新しい学問体系。 これに対して従来の基的に専門領域の中で閉じていた科学をモード1と呼ぶ。 モード2科学は、個人の主体的研究活動から異なる専門を持つ多数の研究者の 共同作業へのシフトを意図しており、地球規模の諸問題の解決を目指す。 特に、新しい情報インフラは、モード2科学を進めていく際に

  • 1