命題論理. 出典: フリー百科事典『ウィキペディア（Wikipedia）』. 移動： 案内, 検索. 命題 論理（めいだいろんり、propositional logic）とは命題と呼ぶ数学的対象が扱われる数 理論理学の一分野である。

http://ja.wikipedia.org/wiki/%E5%91%BD%E9%A1%8C%E8%AB%96%E7%90%86

もとの命題2つの三角形が合同ならば、それらの三角形の面積は等しい逆の命題2つの 三角形の面積が等しければその2つの三角形は合同である。・・・偽裏の命題2つの 三角形が合同でなければ、それらの三角形の面積は等しくない。

http://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1114531316

論理 について考えてみる．論理学では式や文章で真 （内容が正しい）であるか偽（内容 が誤っている）であるかが定まっているものを 命題という．数学の記述においては，「 命題」は真である命題を意味する．真の命題に 1 を，偽の命題に ...

http://www.rimath.saitama-u.ac.jp/lab.jp/fsakai/logic.html

記号論理. 情報システム学科. 中田豊久. 1. 記号論理. • 命題論理. – 命題：真偽のある 文章のこと。 • 述語論理. – 述語：主語について何か主張されている概念、例. えばPを 日本人としたときに、P(x)はxは日本人で. あると言っている。 2. 命題論理. 3. 命題とは ...

http://www.nuis.ac.jp/~nakada/lectures/ai/05_logic.pdf

言葉」によって真理に到る方法． 「AはBかCである．」という言葉と，「AはBではない．」 という言葉から「AはCである．」という真実を知ることができるのはなぜかを追求する 学問．命題の中に変数を含まない．例えば「整数x は奇数である。」のような命題は述語 論理 ...

http://www.brn.dis.titech.ac.jp/~sshi/contents/study_logic.html

百科事典マイペディア 命題論理の用語解説 - 論理積（合接，連言とも）∧，論理和（離接 ，選言とも）∨，含意→，同等←→，否定～の5種の論理記号を扱う記号論理学の一 部門。ここでA，Bを2命題とするとき，A∧Bは〈AかつB〉，A∨Bは〈AまたはB〉，A→B ...

http://kotobank.jp/word/%E5%91%BD%E9%A1%8C%E8%AB%96%E7%90%86

2011年4月5日 ... 13. 2 命題と論理. 2.1 命題. 事物の判断に対する陳述 (平叙文) で, その内容が真 あるいは偽のいずれかであるものを命題 ... 命題には論理的な値として真 (True) あるいは偽 (False) が対応し, それぞれ T, F と書いて真理値. という. 上の命題 p ...

http://www.mlab.ice.uec.ac.jp/mit/text/ronri/2011/sec02.pdf

Contents. 1 命題論理 L. 1. 1.1 L の記号と命題 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1. 1.2 命題の真偽値（命題の意味的側面） . . . . . . . . . . . . . . . . . . . . 3. 1.3 L での推論（ 命題の記述的側面） . . . . . . . . . . . . . . . . . . . . . 5. 1.4 Deduction 定理 .

http://www.mi.s.osakafu-u.ac.jp/~kada/course/kamo-predicatelogic.pdf

2012年2月26日 ... 命題の演算. 否定; 論理積; 論理和; 条件節. 真理表. 否定の真理表; 論理積の真理表; 論理和の真理表; 条件節の真理表. 真理表の練習問題. 複雑な場合の真理値. 恒真 命題と恒偽命題; ド・モルガンの法則; 逆、裏、対偶; 命題論理の公理系 ...

http://akademeia.info/index.php?%CC%BF%C2%EA%CF%C0%CD%FD

命題論理：否定(ない)を表す論理記号￢～ / 選言・論理和(または)を表す論理記号∨ / 「 または」の否定￢(∨) ＆middot; 連言・論理積(かつ)を表す論理記号∧ / 「かつ」の否定￢(∧) ＆middot; 「 ならば」を表す論理記号 / ￢(⇒) / 同値を表す論理記号⇔ 述語論理：全称記号・量化 ...

http://www.ne.jp/asahi/search-center/internationalrelation/mathWeb/meidai/meidai.htm

2011年10月13日 ... 某氏のサイト*1で日記を読んでいたら、以下のような命題とその証明が紹介してあった。 まず用語をいくつか定義すると、半順序集合 \(\langle A,\leq_A \rangle\) の部分集合 \( S\) の（ \(A\) における）上界で \(S\) に属さないものが存在するとき、 ...

2011年10月1日 ... 某氏のサイト*1で日記を読んでいたら、以下のような命題とその証明が紹介してあった。 ... *1 本来は（定理の出典を明らかにするために）リンクを貼るべきだが、「（間違いなどは ）こっそり知らせてくだされば（後略）」といった趣の注意書きを ...

2003年7月1日 ... _ syuu [NT系ならマウントとシンボリックリンクは完全じゃないかもだけど出来るはず ですよ。] _ はんばあ .... routeコマンドはdestinationをもとにしたルーティングであり、 命題のようなsourceをもとにした設定はできないと思います。そこで、やる ...

2002年12月11日 ... 論理学の裏命題・対偶命題の真理について述べておきながら、 思いっ切り裏命題を 利用した主張補強をしていたり、 過剰の引用を諌めて .... Hat 8.0 boot scripts, top has user selection, and WCHAN is generated from /proc/*/wchan files if you have a 2.5.xx kernel. .... diary/japanese/theme.ph.orig 2001-03-24 14:04:53.000000000 +0900 +++ diary/japanese/theme.ph .... Soedarlind さんがディレクトリを見えるよう にしてくれれば、 バージョンアップごとにリンクを変更しなくてもすむのだけど。

上の隠しリンクのアドレスの変化には、自分で線の引き回しの調整のために切ったのも あるのですが、それを除いても一日に2回程度 ... 本日牛を再インストールの調査のため に起動したら(昨日の不調牛参照・5分もかかった)、Windows Update をしなさいという ご神託が ..... 実際には大学初年度程度の数学専攻の学生に、形式論理学や集合論を どのレベルで教えればよいか、 というのはなかなか ... 実際に普通の数学を行う上で 必要になる集合論の重要な定理は「ツォルンの補題」といわれる、次の命題がほとんど です。