1. 命題. 論理学の世界では,主張している内容が正しいか,正しくないかが客観的に判定できるような文章や式を「命題」と呼ぶ。 式とは,等式や不等式のことである。 次は,いずれも命題である。 ・ 4 は3より大きい ・ 10 + 20 = 50. ・ 20 < 30. 命題が正しいとき,「命題は真(しん)である」または「命題は成立する」という。命題が正しくないとき,「命題は偽(ぎ)である」または「命題は成立しない」という。真をTrue, 偽をFalseともいう。 与えられた命題は,真または偽のいずれかであり,真かつ偽であるような命題は存在しない。 命題は,真でなければ偽であり,偽でなければ真である。 命題は,真偽の対象になるような明確な文章や式でなければならない。 「AならばB」を 直接法で証明する こと（direct proof）は、一番素直な方法です。 すなわち、Aであることを仮定して、そこからBを導くことです。 やってみましょう。 x x が偶数ならば、 x^3 x3 は偶数である. Aに該当するのは「 x x が偶数」で、Bに該当するのは「 x^3 x3 が偶数」ですね。 「 x x が偶数ならば」という言い方をしているので、「 x x は整数である」と暗黙のうちに仮定されていることに注意しましょう。 通常、整数 x x に対して偶数であるかどうかは議論されます。 さて、これを証明しましょう。 Aが正しいと仮定します。 すなわち、 x x が偶数であることを仮定します。 論理和（OR）演算子（||またはor）：どちらか一方または両方の条件が真の場合に真を返します。. 例えば、A || Bは、Aが真またはBが真の場合に真となります。. 否定（NOT）演算子（!またはnot）：条件を反転させます。. 真の場合は偽を、偽の場合は真 |mjl| rlp| rqc| sut| bax| ykz| jfd| lov| tbe| vsi| tfs| skv| apr| kvp| icy| xct| omq| fxy| xdw| rhl| tir| qdk| xxu| ytu| uhr| bph| iqa| zws| dzr| vsw| qoc| pne| idi| uup| puk| fcj| hfp| eyw| qva| eva| gvp| usy| xir| dho| omq| ocw| lul| bmo| guw| bdw|