では, 次の命題の真理値を求めよう. 例題 :0 は偶数である. : 円周率 π は無限循環小数である. 3 : 5< e である. 4 : ( 無限循環小数 )= 5 : 最小の正の素数はである. 解答 :0 は偶数であるから真理値は. : 円周率 π は超越数 π =3.45 であ

Similar documents
離散数学

論理学補足文書 7. 恒真命題 恒偽命題 1. 恒真 恒偽 偶然的 それ以上分割できない命題が 要素命題, 要素命題から 否定 連言 選言 条件文 双 条件文 の論理演算で作られた命題が 複合命題 である 複合命題は, 命題記号と論理記号を 使って, 論理式で表現できる 複合命題の真偽は, 要素命題

融合規則 ( もっとも簡単な形, 選言的三段論法 ) ll mm ll mm これについては (ll mm) mmが推論の前提部になり mmであるから mmは常に偽となることがわかり ll mmはllと等しくなることがわかる 機械的には 分配則より (ll mm) mm (ll mm) 0 ll m

スライド 1

学習指導要領

知識工学 II ( 第 2 回 ) 二宮崇 ( ) 論理的エージェント (7 章 ) 論理による推論 命題論理 述語論理 ブール関数 ( 論理回路 )+ 推論 ブール関数 +( 述語 限量子 ( ) 変数 関数 定数 等号 )+ 推論 7.1 知識

Microsoft PowerPoint - LogicCircuits01.pptx

オートマトン 形式言語及び演習 1. 有限オートマトンとは 酒井正彦 形式言語 言語とは : 文字列の集合例 : 偶数個の 1 の後に 0 を持つ列からなる集合 {0, 110, 11110,

2015年度 2次数学セレクション(整数と数列)

æœ•å¤§å–¬ç´—æŁ°,æœ•å°‘å–¬å•“æŁ°,ã…¦ã…¼ã‡¯ã…ªã……ã…›ã†®äº™éŽ¤æ³Ł

チェビシェフ多項式の2変数への拡張と公開鍵暗号(ElGamal暗号)への応用

Microsoft PowerPoint - logic ppt [互換モード]

040402.ユニットテスト

Microsoft Word - 201hyouka-tangen-1.doc

二等辺三角形の性質 (2) 次の図の の大きさを求めなさい () = P=Q P=R Q 68 R P (2) (3) 五角形 は正五角形 = F 50 F (4) = = (5) === = 80 2 二等辺三角形の頂角の外角を 底角を y で表すとき y を の式で表しなさい y 2-5-2

線形代数とは

jhs-math3_01-02ans

Microsoft PowerPoint - design-theory-6.pptx

æœ•å¤§å–¬ç´—æŁ°,æœ•å°‘å–¬å•“æŁ°,ã…¦ã…¼ã‡¯ã…ªã……ã…›ã†®äº™éŽ¤æ³Ł

オートマトン 形式言語及び演習 3. 正規表現 酒井正彦 正規表現とは 正規表現 ( 正則表現, Regular Expression) オートマトン : 言語を定義する機械正規表現 : 言語

高ゼミサポSelectⅢ数学Ⅰ_解答.indd

曲線 = f () は を媒介変数とする自然な媒介変数表示 =,= f () をもつので, これを利用して説明する 以下,f () は定義域で連続であると仮定する 例えば, 直線 =c が曲線 = f () の漸近線になるとする 曲線 = f () 上の点 P(,f ()) が直線 =c に近づくこ

PowerPoint Presentation

Microsoft PowerPoint - 9.pptx

2015-2018年度 2次数学セレクション(整数と数列)解答解説

学習指導要領

2011年度 大阪大・理系数学

オートマトンと言語

航空機の運動方程式

Microsoft PowerPoint - 10.pptx

Microsoft Word - 数学Ⅰ

4-4 while 文 for 文と同様 ある処理を繰り返し実行するためのものだが for 文と違うのは while 文で指定するのは 継続条件のみであるということ for 文で書かれた左のプログラムを while 文で書き換えると右のようになる /* 読込んだ正の整数値までカウントアップ (for

<4D F736F F F696E74202D2091E6824F82538FCD8CEB82E88C9F8F6F814592F990B382CC8CB4979D82BB82CC82505F D E95848D8682CC90B69

<4D F736F F D208CF68BA48C6F8DCF8A C30342C CFA90B68C6F8DCF8A7782CC8AEE967B92E8979D32288F4390B394C529332E646F63>

オートマトン 形式言語及び演習 4. 正規言語の性質 酒井正彦 正規言語の性質 反復補題正規言語が満たす性質 ある与えられた言語が正規言語でないことを証明するために その言語が正規言語であると

本サンプル問題の著作権は日本商工会議所に帰属します また 本サンプル問題の無断転載 無断営利利用を厳禁します 本サンプル問題の内容や解答等に関するお問 い合わせは 受け付けておりませんので ご了承ください 日商プログラミング検定 STANDARD(VBA) サンプル問題 知識科目 第 1 問 ( 知

Microsoft PowerPoint - H21生物計算化学2.ppt

2011年度 東京大・文系数学

HW-Slides-04.ppt

2015-2018年度 2次数学セレクション(整数と数列)解答解説

Microsoft Word - t30_西_修正__ doc

Microsoft Word - K-ピタゴラス数.doc

Microsoft Word - 町田・全 H30学力スタ 別紙1 1年 数学Ⅰ.doc

Microsoft Word - 微分入門.doc

FdData中間期末数学1年

2014年度 東京大・文系数学

2018年度 筑波大・理系数学

Microsoft Word - thesis.doc

DVIOUT

2015年度 金沢大・理系数学

コンピュータ工学講義プリント (7 月 17 日 ) 今回の講義では フローチャートについて学ぶ フローチャートとはフローチャートは コンピュータプログラムの処理の流れを視覚的に表し 処理の全体像を把握しやすくするために書く図である 日本語では流れ図という 図 1 は ユーザーに 0 以上の整数 n

DVIOUT-SS_Ma

Microsoft PowerPoint - mp11-02.pptx

2016年度 京都大・文系数学

様々なミクロ計量モデル†

2014年度 千葉大・医系数学

Microsoft PowerPoint - 応用数学8回目.pptx

1999年度 センター試験・数学ⅡB

2016年度 九州大・理系数学

Transcription:

論理と命題 集合 ( set ) とは, 客観的に範囲が規定された もの の集まり 集合を形成する個々の もの をその集まりの要素または, 元と呼ぶ. () 身長が 70cm 以上の東京の人. () 沖縄の居酒屋にいるオッサン. (3) 自然数の全体. 客観的判断 集合を規定する条件は命題. 命題 : 正しいか正しくないかを客観的に判断できる主張. () 身長が 70cm 以上の人はかっこいい. () オッサンは, 常に居酒屋にいる. (3) 自然数どうしのたし算は, 自然数である. 命題の ( 真意 ) の判断. 論理 : 与えられた条件から正しい結論が得られるための考え方の道筋. 現象を合理的, 統 一的に解釈する上に認められる因果関係. 正しい判断や認識を得るためにものの考 え方を研究する学問. 論理的 : 前程とそれから導き出される結論との間に道筋が認められて 納得がいく様子. 真理値の定義命題が真であることをまたは真 (true の ), 偽であることを 0 または (alse の ) と略記して命題の真理値と呼ぶ. そして, それを表で表したものを真理表と呼ぶ. ( 真理値,0 は 進数に対応対応している. これにより, 様々な論理的操作が 進法の演算演算としてとして表現表現でき, コンピュータータの基本的原理基本的原理を支えている )

では, 次の命題の真理値を求めよう. 例題 :0 は偶数である. : 円周率 π は無限循環小数である. 3 : 5< e である. 4 :0.99999 ( 無限循環小数 )= 5 : 最小の正の素数はである. 解答 :0 は偶数であるから真理値は. : 円周率 π は超越数 π =3.45 であるから真理値は 0. 3 : 5=.369 <.78 = e であるから真理値は. 9 4 :0.99999 ( 無限循環小数 )=0.999 0.9 0.09 0.009 0 = + + + = = 0 より, 真理値は. 5 : 真理値は(は素数でない ). 否定命題 に対して, でない という命題を の否定といい, と書く. 上の例題の否定を述べなさい. 否定命題の真理値表否定の回路 (NO 回路 ) 0 0 論理和二つの命題, に対して, であるか, または, である という命題を と の論理和 (logical sum) といい, と書いて, あるいは あるいは or と呼ぶ.

論理和の真理値表論理和の回路 (or 回路 ) 0 0 0 0 0 例題 以下の命題, について, それぞれの論理和 はどういう命題になるかを答えなさい. () : 明日は遠足である. : 明日は運動会である. () :<3 :=3 (3) :006 年ワールドカップでドイツが優勝する. :006 年ワールドカップでフランスが優勝する. 論理積二つの命題, に対して, であり, かつ, である という命題を と の論理積 (logical roduct) といい, と書いて, かつ あるいは and と呼ぶ. 論理積の真理値表論理積の回路 (and 回路 ) 0 0 0 0 0 0 0 例題 3 以下の命題, について, それぞれの論理積 はどういう命題になるかを答えなさい. () : おやつは 300 円以内である. : おこずかいは千円以内である. () :<3 :=3 (3) :006 年ワールドカップでドイツが優勝する. :006 年ワールドカップでフランスが準優勝する. 3

複合命題 複合命題とは, 二つのつの命題命題を併記併記したもので, その命題同士命題同士の関係関係が または ( 含意 ), かつ ( 同値条件 ) で結ばれる. 上記二つのつの命題命題についてについて考えよう. Ⅰ. imlies ( は を含意する ) まず, 複合命題を構成するための他の つの重要な方法を述べる. つの命題 温度は 70 を超える と 警報が鳴る を考え, それぞれ と で表わす. また, 命題 温度が 70 を 超えると警報が鳴る を r で表わす. このとき, 次のことがわかる. 温度が 70 を超えると き警報が鳴る ( と がともに真 ) ならば r は真であり, 温度が 70 を超えても警報が鳴ら ない ( は真で は偽 ) ならば r は偽である. 他方, 温度が 70 以下である ( は偽 ) とき, 警報が鳴ろうと鳴るまいと, 命題 r は偽とはならない (cannot ossibly be false). したがっ て, 温度が 70 以下であるときは常に r は真であるといえる. ここで, つの命題 と を結合し, 上の例で導入した ならば と読む つ命題を 形成化する. と のつの命題とする. 命題 ならば (if then ) とは で 表わされ, と がともに真かまたは が真でかつ が偽のとき偽である命題である. この 複合命題 ならば は は を含意含意する ( imlies ) とも読まれる. 複合命題 ならば を初めて見た読者は, この複合命題が, が偽のときは, が真 であろうとなかろうといつでも真であるということについて, おそらくは, 少し変に思うだ ろう. いくつかの例について, このことを検討してみよう. 努力するならば, 成功する と いう陳述について考察しよう. 明らかに, 努力し, そして成功するならば, この陳述は真で ある. 努力しても, 失敗するならば, この陳述は偽である. しかしながら, 努力をしない場 合には, この陳述が偽であると立証することはできない. 偽でないことは, 真であることを 意味するので, 努力をしない場合に対して, この陳述は真であると結論付けれる. 例. 来訪者はすべて, バッジを付けなければならないという, 会社の警備員からの指示に ついて考察しよう. この指示は, 来訪者ならば, バッジを付けている という命題に言い換 えられることに注意せよ. この指示が, 実行されているかどうか ( すなわち, この命題が真 であるか ) を調べるために, 会社の中にいる人を 人ひとり呼び止めるとする. その人が来 訪者ならば, バッジを身に付けているか否かを調べることによって, この指示が実行されて いるか否かを決定できる. 一方, その人が来訪者でないときは, この指示が実行されていな いと断定する方法はない. したがって, この陳述は真である. 0 0 0 0 0 4

Ⅱ. if and only if ( であるのは であるとき かつこのときに限る ) 命題 新機種のコンピュータが購入される を で表わし, 命題 特別基金が利用できる を で表わす. このとき, 命題 新機種のコンピュータが購入されるのは, 特別基金が利用 できるときかつこのときに限る を考え, これを r で表わす. 明らかに, 特別基金田利用で きるとき, 実際に新機種のコンピュータが購入される ( と がともに真 ) ならば,r は真 である. また, 特別基金が利用できないときは新機種のコンピュータが購入されない ( と がともに偽 ) ならば, このとき命題 r は真である. 他方, 特別基金が利用できないにもかか わらず新機種のコンピュータが購入される ( が真で が偽 ) か, または特別基金が利用で きるにもかかわらず新機種のコンピュータが購入されない ( が偽で が真 ) ならば r は偽 である. と をつの命題とする. 命題 であるのは であるときかつこのときに限る ( if and only if ) とは, で表わされ, と がともに真かまたは と がともに偽のと き真であり, が真で が偽のときと が偽で が真のとき偽である命題である. 図. の 真理値表は の定義を示す. 例 ある島には, つの種族の先住民が住んでいる. 一方の種族の先住民は, だれもが, い つも真実を述べるが, 他方の種族の先住民は, だれもが, 常に嘘をいう. ある人が, この島 にやってきて, この島には, 金があるか と先住民に尋ねた. その先住民は この島に, 金 があるのは, わたしがいつも真実をいっているとき, かつ, このときに限る と答えた. ど ちらの種族に, かれは尋ねたのだろうか. 金は, この島にあるのだろうか. 結局のところ, かれが尋ねた種族は特定できない. しかしながら, この島に金が存在するかどうかは決定で きる. で常に真実をいうという命題を表わし, で島に金があるという命題を表わすとす る. したがって, 先住民の答は, である. 先住民が, いつも真実をいっているとする, すなわち, 命題 が真であるとする. したがって, 質問に対する先住民の答は真でなければ ならない. すなわち, は真である. 結局, は真でなければならない. 先住民が, い つも嘘をいっている. すなわち, 命題 が偽であるとする. このとき, 質問に対する先住民 の答も偽である. これは, が偽であることを意味している. 結局, は真でなければ ならない. 以上より, この先住民がどちらの種族であろうとも, 双方の場合とも, この島に は, 金があると推論できる. 0 0 0 0 0 0 5

含意と同値条件同値条件についてもう一度考えよう. そのために, 二つの例題を示す. 含意 ( :ならばである) imlies お姉さんが妹に 給料が入ったら, 時計をプレゼントする とお約束しました. 妹は やったー と喜びます. この約束を命題 rとしましょう. どのようなときに, お姉さんは約束を守り, どのようなときに約束を破ったことになるでしょうか. すなわち, どのようなときに命題 rは真となり, どのようなときに偽となるでしょうか. まず, この複合命題を以下のように考えましょう. : 給料が入る. : 時計をプレゼントする. すなわち,r: ( 給料が入ったら, 時計をプレゼントする ) となります. ここで, 二つの場合を考えましょう. (Ⅰ) 給料が入ったとき お姉さんが妹に時計をプレゼントすれば, 約束を守ったことになり, 命題 r は真となる. お姉さんが妹に時計をプレゼントしなければ,( たとえ, イチゴやケーキや JJ をプレゼントしても ) 約束を破ったことになり, 命題 rは偽となる. (Ⅱ) 給料が入らなかったとき ( お姉さんが突然会社をやめたときや会社の事情で給料が払えなくなったとき ) このときは, 時計をプレゼントしてもしなくても, 給料が入ったわけでないので, お姉さんは約束をやぶったことにならない. 従って, このときはどの場合 ( 時計をプレゼントしてもしなくても ) 命題 rは偽にならない. 以下を真理値で表現すると次となる. ) が真でが真 rは真 ) が真でが偽 rは偽 3) が偽でが真 rは真 4) が偽でが偽 rは真 同値条件 ( : であるのはであるとき, かつ, そのときに限る ) if and only if お兄さんが弟に, パチンコで勝ったら, かつそのときに限り, クラブに連れて行ってあげる とお約束しました. 弟は当然 やったー と喜びます. この約束をrとしましょう. 先ほどと同様に, どのようなときにお兄さんは約束を守り, どのようなときに約束を破ったことになるでしょうか. すなわち, どのようなときに命題 rは真となり, どのようなときに偽となるでしょうか. まず, この複合命題を以下のように考えましょう. : パチンコで勝つ. : クラブに連れて行く. 6

(Ⅰ) パチンコで勝ったとき お兄さんが弟をクラブに連れて行くなら, 約束を守ったことになり命題 rは真となる. お兄さんが弟をクラブに連れて行かなければ, 約束を破ったことになり命題 rは偽となる. (Ⅱ) パチンコで負けたとき お兄さんが弟をクラブへ連れて行くなら,( 負けても連れて行くのだから ) 約束を破ったことになり, 命題 rは偽となる. お兄さんが弟をクラブに連れていかないなら,( 勝ったときに限りと約束しているから ) 約束を破ったことにならないので, 命題 rは真である. (Ⅱ) の最初のケースでは, お兄さんが無理して弟をクラブに連れて行くのだから ( 弟にとってはうれしいことだか ) 間違いとは考えたくないと一瞬思いますが, パチンコで勝ったら, かつ, そのときに限り, クラブに連れてれて行くというくというお約束なので, この場合は約束を守らなかったことになり, 命題 rは偽となります. 以下を真理値で表現すると次となる. 5) が真でが真 rは真 6) が真でが偽 rは偽 7) が偽でが真 rは偽 8) が偽でが偽 rは真 含意 :r: は であるための同値条件 : は であるための条件 条件で,は であるための条件条件で, また, は であるための 恒真命題 : 常に真であるである命題矛盾命題 : 常に偽であるである命題 であるか, でない. であり, かつ, でない. 7

証明の構造 ここでは, 証明の方法方法として, 直接法, 背理法, 対偶法によるによる方法方法を示す. ある仮定 ( とする ) のもとで, ある結論 ( とする ) が成り立つ. すなわち, が真であることを示す. これを, 直接法という. 背理法 次の真理表を考える. 同値 すなわち, を示すかわりに, が真であることを示す. が真であるとは, が偽であること, すなわち, が真であり, かつ が真でないことは, 偽である. こと. 例 x= y ならばx xy+ y = ( x y) = 0 である という命題を証明する. 直接法仮定からx= y であるから, 与式を因数分解すると, x xy+ y = ( x y) = 0 背理法 : x= y である. : x xy+ y = 0 である. まず が真であるもとで が偽であると仮定する. このとき, x xy+ y = ( x y) 0 これは, が真すなわち, x= y という仮定に反する. したがって, 矛盾が生じ, は偽 は真, は真. 対偶法 8

まず, 上の真理値表を埋めていこう. の代わりに, を証明する. すなわち, x xy+ y 0 ならばx y を示す. 即ち, x xy+ y = ( x y) 0 ならば,x y が示される. 以下, 背理法による証明を見ていこう. 例 が無理数であることを示す. ( 無理数 : 整数の比で表わせない数 ) : が無理数 : 整数の比で表わせない まず, が真のもとで, が偽であると仮定. すなわち, b : = () a ここに当然のことながらa,b は互いに素であるとする. このとき,() より, No. b a = () () より,b は偶数であるからb= m とおくと, a = 4m a = m (3) となり,a も偶数である. すると, a= n とおくと, b a m = となり, 互いに素であるという仮定に矛盾. n したがって, は整数の比で表わせない. は偽 は真 は真. 9

素因数分解の一意性定理 以上の整数は素数の積に分解される. たとえば, 6 = 3, 30 = 3 5, 30 = 3 5 7 例 3 : 以上のすべての整数は素因数分解可能. : 最大の素数は存在しない. ( 以上のすべての整数は素因数分解可能であるから, 最大の素数は存在しない ) : 最大の素数が存在し, それを N とする. 今, 数 M をすべての素数の積に を加えたものとする. すなわち, M = ( 3 5 7 3 7 9 3 N )+ すると,M は,,3, N を約数としない (~N, のどれで割っても あまる ) か ら,N より大きい素数の約数を持つか,M がそれ自身素数である. したがって, そのことは,N より大きい素数が存在する. これは N が最大の素数であるとい う仮定に矛盾. よって, は矛盾である. したがって, は真, ゆえに は真となる. 0

論理関数から論理式を求めるアルゴリズム 今 二変数 (, ) の論理関数 i(, ) を考える. このとき, 与えられた入力値 (, ) と論理関数 i(, ) から論理式を求めるアルゴリズム ( 手続き ) を以下で示す. Ste. 入力値 (, ), i(, ). Ste. 入力値を加法標準形に代入 (, ) = (0,0) + (0,) + (,0) + (,) i i i i i 例. 8 (, ) の論理式を求める. Ste. 入力値 :(, ) = (0,0),(, ) = (0,),(, ) = (,0),(, ) = (,) 論理関数 : 8 (0,0) =, 8 (0,) = 0, 8 (,0) = 0, 8 (,) =, Ste. (, ) = (0,0) + (0,) + (,0) + (,) 8 8 8 8 8 = + 0 + 0 + 0 = 一方, 入力関数と論理関数について以下の関係が成り立つ. + + 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 したがって, = + が示された. 補則 : 論理式の基本は AND,OR,NO であるが, もちろん, それ以外の関数で表現することも 可能である.OR 関数をみてみよう. + 0 0 0 0 0 0 0 0 0 となり,OR 関数は

+ = で表現できる. すなわち,OR 演算は,AND 演算と NO 演算で表現できる. これは, ド モル ガンの法則による AND,OR 演算の相互入れ替えである. さて, 上式の否定をとると + = となる. すなわち, 8 (, ) = + = が示された. また, 同様に,AND 演算は OR 演算と NO 演算で表現できる.AND 関数を見てみよう. + + 0 0 0 0 この論理関数より + = + が成立することがわかる. さらに, この式の否定をとると, (, ) = = + を得る. 4 公理と演繹 : 演繹法 : 前提とされた命題から論理上の規則に従って結論を導き出す方法. 三段論法はその典型である.(A B である.B C である. よって,A C である ) ユークリッド先生の 原論 は いくつかの明らかと思われる事実 から出発して, 全ての結果を演繹するように書かれていた. そこで, 出発点となる明らかな事実 を公理および公準と呼ぶ. 現代数学においては, 研究対象が持つべき共通の性質をすべて書き上げ, そこから, これらの性質を基に, 種々の定理を演繹していく. この出発点となる性質を公理という.( 教科書 7ページ :. 数学的帰納法との対比を参考にしてください ) Boole 束の公理系有限集合における束とは, 集合の要素間に結び, および, 交わり の演算が定められており, かつ, 任意のつの要素に対し, 上限, 下限が存在することである. Boole 束 : 零元 0と単位元 の存在する束 ( B;, ) において, 分配律が成立し, かつ, すべての要素に補元が存在する束のことを Boole 束という. ここに,a の補元はa と記述する. Boole 代数の公理系 ( 教科書 59 ページ )

( B) a b= b a ( 交換則 ) ( B) a b= b a ( 交換則 ) ( B3) a ( b c) = ( a b) ( a c) ( 分配則 ) ( B4) a ( b c) = ( a b) ( a c) ( 分配則 ) ( B5) a 0= a ( B5) a = ( B6) a 0= 0 ( B6) a = a ( B7) a a = ( B8) a a = 0 ( B9) 0 (0 =, = 0) この公理系を用いて次のことを示す. () a = a a = a ( B6) = a ( a a ) ( B7) = ( a a) ( a a ) ( B4) = ( a a) 0 ( B8) = ( a a) ( a a) ( B8) = a ( a a ) ( B4) = a ( B7) = a ( B6) 演習問題.6 () a ( a b) = a a ( a b) = ( a 0) ( a b) ( B5) = a ( b 0) ( B3) = a 0 ( B6) = a ( B5) () a b= かつ, a b= 0 ならa の補元はb である. a= a 0 ( B5) = a ( b b ) ( B8) = ( a b) ( a b ) ( B3) = ( a b ) ( 仮定 a b= より ) = ( b b ) ( a b ) ( B7) = b ( a b) ( B3) = b 0 ( 仮定 a b= 0より ) = b ( B5)

演習. 次の論理式の論理関数を構成しなさい. () (, ) = ( + ) + ( + ) () (, ) = ( + ) ( + ) (3) (,, ) = ( + ( + )) 3 3 演習. a ( a b) = a が成立することを公理的に示しなさい. 演習 3. 集合 A= { a, b} のべき集合は包含関係の和, および, 積の演算 (, ) に関しブール束 ( A:, ) であることを示しなさい. () まず, べき集合の要素を求める. () 単位元, 零元を定義する. (3) 分配則が成立することを確認する. (4) すべての元に対する補元を求める.( 相補束 )

解答 7 月 4 日 演習 ケーキは美味しい 美味しいケーキは安くない ケーキは安い 安いケーキは美味しくない 逆 裏対偶 演習 = 演習 3

りんごが好きだ. アップルパイが好きだ. りんごが好きだ. りんごが好きならアップルパイが好きだ. r: 上記陳述はどちらも真実, または, うそである. r: さらにr : である. ここで, の真理表について,,r はどちらも真もしくは偽である. しかし,,r ともに真の場合はあるが, ともに偽であることはない. したがって, 真実を述べているので,A 子さんはりんごが好きだ. 演習 4 ならば である であるか, または でない かつ でないことはない であり, かつ でない

演習問題 Ⅰ 7 月 4 日 [ 演習 ] 次のような 軒の店 A,Bがある. 店 Aの看板には, 美味しいケーキは, 安くない と書いてあり, 店 Bの看板には, 安いケーキは, 美味しくない と書いてある. これらつの看板は, 同じことを述べているのかどうか決定せよ. [ 練習 ] 命題 A ならば である について, 下記の~6の命題のうちからAと同値な命題 を選び出し,~6 の番号で答えよ. でないかまたは である でないならば でない 3 でないならば でない 4 ならば である 5 でないか, または である 4 であってかつ でないことはない [ 練習 3] A 子さんが以下のつのことを述べた. () わたしは, りんごが好きだ. () わたしが, りんごを好きならば, アップルパイが好きだ. A 子さんがいったことはどちらとも真実であるか, あるいはどちらともうそであるとする.A 子さんが, りんごを本当に好きかどうかを決定せよ. [ 練習 4] 次の命題の真理表をつくれ. また, 各命題がトートロジーか矛盾命題かを述べよ. () () (3) (4)

命題演習 問題 () 以下の,, r に対して 命題 ( ) r とその否定は どういう命題か答えよ. : 朝早く起きる. : 体操をする. r : 健康になる. () 以下の,, r に対して 命題 ( ) r とその否定は どういう命題か答えよ. : ごはんを3 杯食べる. : ウーロン茶をリットル飲む. r : おなかがいっぱいになる. (3) 以下の, r r とその否定は どういう命題か答えよ. : 臨時収入が入る. : 旅行に出かける. r : レストランでフルコースディナーを食べる., に対して 命題 ( ) (4) 以下の, r r とその否定は どういう命題か答えよ. : 愛犬ポチが鳴く. : ポチはおなかが減っている. r : 不審人物が訪ねて来ている. 問題 以下の命題, に対して 命題 ( ), について 命題 とその否定命題を求めよ. また 各命題の逆と対偶は 何かを答えよ. () : 風が吹く. : 桶屋がもうかる. () : 雨が降る. : 運動会が延期になる. (3) : 勉強をする. : 試験で良い成績をとる.

命題演習解答 問題 解答 ()( ) r : 朝早く起きて 体操をするならば 健康になる ( ) r r r ( ) r : 朝早く起きて 体操をするが 健康にならない ()( ) r : ごはんを3 杯食べるか ウーロン茶をリットル飲むならば おなかがいっぱいになる ( ) r r r ( ) r : ごはんを3 杯食べるか ウーロン茶をリットル飲んでも おなかいっぱいにならない (3) ( r) : 臨時収入が入るならば 旅行に出かけるし かつレストランでフルコースディナーを食べる ( r) ( r) r ( r) : 臨時収入が入っても 旅行に出かけないか レストランでフルコースディナーを食べない (4) ( r) : 愛犬ポチが鳴くならば ポチはおなかが減っているか 不審人物が訪ねてきている ( r) ( r) r ( r) : 愛犬ポチが鳴いても ポチはおなかが減っていないし 不審人物が訪ねて来ていない 問題 解答 命題 とその否定 () : 風が吹けば 樋屋がもうかる : 風が吹くのに 樋屋がもうからない () : 雨が降れば 運動会が延期になる : 雨が降るのに 運動会が延期にならない (3) : 勉強をすれば 試験で良い成績をとる : 勉強をするのに 試験で良い成績をとれない 各命題の逆と対偶 () 逆 : 樋屋がもうかるならば 風が吹く 対偶 : 樋屋がもうからないならば 風が吹かない () 逆 : 運動会が延期になるならば 雨が降る 対偶 : 運動会が延期にならないならば 雨が降らない (3) 逆 : 試験でよい成績をとるならば 勉強をする 対偶 : 試験でよい成績をとらないならば 勉強をしない

演習.() 0 0 0 0 () 0 0 0 0 ( ) + ( ) + ( ) + ( ) + ( + ) + ( + ) ( + ) ( ) + ( + ) ( + )

(3) 3 0 0 0 0 0 0 0 0 0 0 0 0 + 3 ( + ) + 3 ( + ) ( + 3 ( + ))

. a ( a b) = a が成立することを公理的に示しなさい. a ( a b) = a a ( a b) = ( a ) ( a b) ( B5) = a { ( a b)} ( B3) = a {( a) ( b)} ( B3) = a = a ( B6) 3. 集合 A= { a, b} のべき集合は包含関係の和, および, 積の演算 (, ) に関しブール束 ( A:, ) であることを示しなさい. () まず, べき集合の要素を求める. () 単位元, 零元を定義する. (3) 分配則が成立することを確認する. (4) すべての元に対する補元を求める.( 相補束 ) () べき集合の要素は { φ,{ a},{ b},{ ab, }} () 単位元 I = { ab, }, 零元 0= φ (4) 束の結び ( :su), 交わり ( :inf) に対する演算表は以下で与えられる. φ { a } { b } { ab, } φ { a } { b } { ab, } φ φ { a } { b } { ab, } φ φ φ φ φ { a } { a } { a } { ab, } { ab, } { a } φ { a } φ { a } { b } { b } { ab, } { b } { ab, } { b } φ φ { b } { b } { ab, } { ab, } { ab, } { ab, } { ab, } { ab, } φ { a } { b } { ab, } 従って, 全ての要素間に上限, 下限が定義されており, かつ, すべての要素が補元を持つため, この集合 A のべき集合 A ρ = { φ,{ a},{ b},{ ab, }} は, 結び, 交わりの演算に関し束となる.