ディジタル論理 定期試験問題集
※解答など問題についての直接的な質問・問い合わせには一切応じていません．
※レポート提出用との混同をさけるため，以下のうち，レポート対象の年度のPDFは＜印刷不可＞にしています．
2022年度
2021年度
2020年度
2019年度
2018年度
2017年度 （印刷可）
2016年度 （印刷可）
2015年度 （印刷可）
2013年度 （印刷可）
2012年度 （印刷可）
2011年度 （印刷可）
2010年度 （印刷可）
2009年度 （印刷可）
2008年度 （印刷可）
2007年度 （印刷可）
2006年度 （印刷可）
2004年度 （印刷可）
※2004年度以降はPDFにしています．
2003年度 情報数学II 定期試験問題
注意：先に配布した持ち込み用紙も一緒に提出すること．提出なき場合は採点しない．持ち込み用紙なしで受験する場合は，事前に申し出ること．
また，以下の問題において用いられる記号・用語などの表現は，特に断らない限り，講義において用いたものとする．
１．次の問に答えなさい．
(1) 命題「過去問でしっかり勉強するならば，試験の成績は良い」の否定は，次のうちのどれか，記号で示しなさい．
(a) 過去問でしっかり勉強するならば，試験の成績は悪い．
(b) 過去問でしっかり勉強しないならば，試験の成績は悪い．
(c) 過去問でしっかり勉強しないし，試験の成績は良い．
(d) 過去問でしっかり勉強するが，試験の成績は悪い．
(2) 論理式か真理値表で，(1)の答が正しいことを示しなさい．
２．論理式は同値な関係を用いて標準形に変換することができる．
(1)次の式を積和標準形(加法標準形，選言標準形)に変換しなさい．
（Ｐ⇒Ｑ）⇒（Ｑ⇒Ｒ）
(2) 上記の(1)の結果を完全な標準形に変換しなさい．
３．命題論理の推論規則と演繹定理を用いて，
Ｐ⇒（Ｑ⇒Ｒ），Ｑ├Ｐ⇒Ｒ
であることを証明せよ．
４．集合Ａを２項演算＋と・，単項演算’，および零元０と単位元１をもつ集合とする．
ａをブール代数(Ａ，＋，・，’) の任意の要素であるとするとき，べき等法則
ａ・ａ＝ａ
を，ブール代数の公理（交換法則，分配法則，同一法則，補元法則）のみを用いて証明しなさい．なお，式の変換に用いた法則を明記すること．
５．ｘを自然数としたとき，
∃ｘＰ（ｘ）∧∃ｘＱ（ｘ）は真であるが，
∃ｘ［Ｐ（ｘ）∧Ｑ（ｘ）］が偽となるような
述語Ｐ（ｘ）とＱ（ｘ）の例をあげ，なぜそれぞれ真と偽に
なるか，簡単に説明しなさい．
６．ファジィ集合の演算においては補元律が成立しないことを適当なメンバーシップ関数を定義し，図示することによって説明しなさい．
（裏面使用不可）
2002年度 情報数学II 定期試験問題
注意：先に配布した持ち込み用紙も一緒に提出すること．提出なき場合は採点しない．持ち込み用紙なしで受験する場合は，事前に申し出ること．
また，以下の問題において用いられる記号・用語などの表現は，特に断らない限り，講義において用いたものとする．
１．次の問に答えなさい．
(1) 命題「お金持ちであり，かつ，ハンサムであれば，美女と結婚できる」の否定は，次のうちのどれか，記号で示しなさい．
(a) お金持ちでないか，あるいは，ハンサムでないならば，美女と結婚できる．
(b) お金持ちでないか，あるいは，ハンサムでないならば，美女と結婚できない．
(c) お金持ちであり，かつ，ハンサムであっても，美女と結婚できない．
(d) お金持ちでなく，かつ，ハンサムでないならば，美女と結婚できない．
(2) 論理式か真理値表で，(1)の答が正しいことを示しなさい．
２．論理式は同値な関係を用いて標準形に変換することができる．
(1)次の式を和積標準形(乗法標準形，連言標準形)に変換しなさい．
（Ｐ⇒Ｑ）⇒（Ｑ⇒Ｒ）
(2) 上記の(1)の結果を完全な標準形に変換しなさい．
３．次の命題論理の体系の公理系と推論規則を用いて，
├(¬Ｂ⇒¬Ａ)⇒(Ａ⇒Ｂ)を証明せよ．
公理１：Ｐ⇒(Ｑ⇒Ｐ)
公理２：(Ｐ⇒(Ｑ⇒Ｒ))⇒((Ｐ⇒Ｑ)⇒(Ｐ⇒Ｒ))
公理３：(¬Ｐ⇒¬Ｑ)⇒((¬Ｐ⇒Ｑ)⇒Ｐ)
推論規則：Ｐ と Ｐ⇒Ｑ からＱ を得る．
ただし，演繹定理より導出した式として，
（Ｐ⇒Ｑ，Ｑ⇒Ｒ├Ｐ⇒Ｒ）を用いること．
４．集合Ａを２項演算＋と・，単項演算’，および零元０と単位元１をもつ集合とする．
ａをブール代数(Ａ，＋，・，’) の任意の要素であるとするとき，回帰法則
（ａ’）’＝ａ
を，ブール代数の公理（交換法則，分配法則，同一法則，補元法則）のみを用いて証明しなさい．
なお，式の変換に用いた法則を明記すること．
５．以下の２つの命題の意味の違いを説明ししなさい．
∀ｘ∃ｙＰ（ｘ，ｙ）
∃ｙ∀ｘＰ（ｘ，ｙ）
ただし，ｘとｙは、それぞれ、あるクラスの男子学生と女子学生を表す変数とし，Ｐ（ｘ，ｙ）は「ｘとｙは恋人同士である」を表すとする．
６．様相論理あるいはファジィ論理のいずれか１つについて，古典論理をどのように拡張したものであるかについて説明せよ．
ただし，様相論理については「可能世界」，ファジィ論理については「多値」という用語を必ず含めて説明すること．
（裏面使用不可）
2001年度 情報数学II 定期試験問題
注意：先に配布した持ち込み用紙も一緒に提出すること．提出なき場合は採点しない．持ち込み用紙なしで受験する場合は，事前に申し出ること．
また，以下の問題において用いられる記号・用語などの表現は，特に断らない限り，講義において用いたものとする．
１．次の命題式の真理値表をかき，恒真性を調べなさい．
( Ｐ ∨ ¬Ｑ ) ⇒ ( Ｒ ∧ Ｐ )
P Q Ｒ Ｐ∨¬Ｑ Ｒ∧Ｐ (Ｐ∨¬Ｑ)⇒(Ｒ∧Ｐ)
T T T
T T F
T F T
T F F
F T T
F T F
F F T
F F F
２．論理式は同値な関係を用いて標準形に変換することができる．次の式を完全な積和標準形（加法標準形，選言標準形）に変換しなさい．
Ｑ ⇒ ( Ｐ ∨ ¬Ｒ )
３．命題論理の推論規則と演繹定理を用いて，
Ｐ⇒（Ｑ⇒Ｒ），Ｑ├Ｐ⇒Ｒ
であることを証明しなさい．
４．ブール代数の同一法則のうち，公理には含まれていない法則
a ＋ 1 ＝ 1
を，ブール代数の公理（交換法則，分配法則，同一法則，補元法則）のみを用いて証明しなさい．
（公理に含まれている同一法則はa ＋ 0 ＝ a と a ・ 1 ＝ a である．）
なお，式の変換に用いた法則を明記すること．
５．x を自然数としたとき，
∃x P (x ) ∧ ∃x Q (x ) は真であるが，
∃x [ P (x ) ∧ Q (x ) ] が偽となるような
述語 P (x ) と Q (x ) の例をあげ，なぜそれぞれ真と偽になるか，簡単に説明しなさい．
６．ファジィ集合の演算においては補元律が成立しないことを適当なメンバーシップ関数を定義し，図示することによって説明しなさい．
（裏面使用不可）
2000年度 情報数学II 定期試験問題
注意：先に配布した持ち込み用紙も一緒に提出すること．提出なき場合は採点しない．持ち込み用紙なしで受験する場合は，事前に申し出ること．
また，以下の問題において用いられる記号・用語などの表現は，特に断らない限り，講義において用いたものとする．
１．ド・モルガンの法則に関する以下の問に答えなさい．
(１) ¬（P∧Q）＝¬P∨¬Q が成り立つことを，
下の真理値表を完成させることで示しなさい．
(２) ¬（P∧Q）＝¬P∨¬Q から
¬（P∨Q）＝¬P∧¬Q を二重否定の法則を用いて
導出できることを示しなさい．
２．命題論理の推論規則と演繹定理を用いて，
Ｐ⇒Ｑ，Ｑ⇒Ｒ├Ｐ⇒Ｒ
であることを証明しなさい．
３．任意のブール式は標準形に変換することができる．
(１) 次の式を加法標準形に変換しなさい．
（ａ’・ｂ）’・ｃ・（（ｂ＋ｃ’）’＋（ａ’・ｃ）’）
(２) (１)の結果を完全な標準形に変換しなさい．
４．次の文章を述語論理の式を用いて表現しなさい．
(１) すべての鳥が飛ぶとは限らない．
（Ｂ(ｘ)： ｘは鳥である，Ｆ(ｘ)：ｘは飛ぶ，とする）
(２) 人は誰でも誰かを好きであるが，誰をも好きな者
はいない．
（Ｈ(ｘ)：ｘは人である，Ｌ(ｘ，ｙ)：ｘはｙを好きである，とする）
５．以下のＡ，Ｂ，いずれか１つを選んで解答しなさい．
Ａ．様相論理の推論規則「Ｐから□Ｐを得る」が示していることを「恒真」と「可能世界」という用語を用いて説明しなさい．
Ｂ．ファジィ集合の演算においては補元律が成立しないことを適当なメンバーシップ関数を定義し，図示することによって説明しなさい．
（裏面使用不可）
1999年度 情報数学II 定期試験問題
注意：先に配布した持ち込み用紙も一緒に提出すること．提出なき場合は採点しない．持ち込み用紙なしで受験する場合は，事前に申し出ること．
また，以下の問題において用いられる記号・用語などの表現は，特に断らない限り，講義において用いたものとする．
１．連言記号∧と選言記号 ∨は，それぞれ含意記号⇒と否定記号¬のみで表すことができる．
(１)Ｐ∨Ｑ＝¬Ｐ⇒Ｑを用いて，Ｐ∧Ｑを⇒と¬とで表しなさい．
(２)(１)が正しいことを真理値表を用いて表しなさい．
２．論理式は同値な関係を用いて標準形に変換することができる．
(１)次の式を和積標準形(乗法標準形，連言標準形)に変換しなさい．
Ｐ⇒((Ｑ⇒¬Ｒ)∧¬(Ｒ⇒¬Ｑ))
(２) (１)の結果を完全な標準形に変換しなさい．
３．次の命題論理の体系の公理系と推論規則および演繹定理を用いて，
├(¬Ｂ⇒¬Ａ)⇒(Ａ⇒Ｂ)を証明せよ．
公理１：Ｐ⇒(Ｑ⇒Ｐ)
公理２：(Ｐ⇒(Ｑ⇒Ｒ))⇒((Ｐ⇒Ｑ)⇒(Ｐ⇒Ｒ))
公理３：(¬Ｐ⇒¬Ｑ)⇒((¬Ｐ⇒Ｑ)⇒Ｐ)
推論規則：Ｐ と Ｐ⇒Ｑ からＱ を得る．
ただし，証明済みの式 Ｐ⇒Ｑ，Ｑ⇒Ｒ├Ｐ⇒Ｒ を用いること．
４．集合Ａを２項演算＋と・，単項演算’，および零元０と単位元１をもつ集合とする．
ａをブール代数(Ａ，＋，・，’) の任意の要素であるとするとき，べき等法則
ａ＋ａ＝ａ
を，分配法則，同一法則，補元法則を用いて証明しなさい．
５．以下の述語論理の式を用いて表現された内容を通常の文章に直しなさい．
ただし，
Ｓ(ｘ)：ｘ は学生である，Ｒ(ｘ，ｙ)：ｘ は 図書館の本ｙを読んだ，
とする．
(１)∃ｘ∀ｙ(Ｓ(ｘ)∧Ｒ(ｘ，ｙ))
(２)∀ｘ∃ｙ(Ｓ(ｘ)∧Ｒ(ｘ，ｙ))
(３)¬∀ｘ∀ｙ(Ｓ(ｘ)⇒Ｒ(ｘ，ｙ))
６．様相論理あるいはファジィ論理のいずれか１つについて，古典論理をどのように拡張したものであ
るかについて説明せよ．ただし，様相論理については「可能世界」，ファジィ論理については「多値」
という用語を必ず含めて説明すること．
（裏面使用不可）
1998年度 情報数学II 定期試験問題
注意：先に配布した持ち込み用紙も一緒に提出すること．提出なき場合は採点しない．持ち込み用紙なしで受験する場合は，事前に申し出ること．
また，以下の問題において用いられる記号・用語などの表現は，特に断らない限り，講義において用いたものとする．
１．次の命題式の真理値表をかき，恒真性を調べなさい．
(Ｐ⇒(Ｑ⇒Ｒ))⇒((Ｐ⇒Ｑ)⇒(Ｐ⇒Ｒ))
ただし，(Ｐ⇒(Ｑ⇒Ｒ)) と ((Ｐ⇒Ｑ)⇒(Ｐ⇒Ｒ)) の真理値を含んだ表をかくこと．
２．次の論理式を積和標準形（加法標準形，選言標準形）に変換しなさい．
（１）（Ｐ⇒¬Ｑ）⇒¬（¬Ｐ⇒Ｑ）
（２）（Ｐ∨¬Ｑ）∧¬（Ｑ∨Ｒ）
３．命題論理の推論規則と演繹定理を用いて，
Ｐ⇒Ｑ，Ｑ⇒Ｒ├Ｐ⇒Ｒ
であることを証明せよ．
４．ブール代数の吸収法則
ａ＋（ａ・ｂ）＝ａ
を，分配法則と同一法則を用いて証明しなさい．ただし，集合Ａを２項演算＋と・，単項演算’，
および零元０と単位元１をもつ集合とする．
５．ｘを自然数としたとき，
∀ｘ［Ｐ（ｘ）∨Ｑ（ｘ）］は真であるが，
∀ｘＰ（ｘ）∨∀ｘＱ（ｘ）が偽となるような
述語Ｐ（ｘ）とＱ（ｘ）の例をあげ，なぜそれぞれ真と偽になるか，簡単に説明しなさい．
６．以下のＡ，Ｂ，いずれか１つを選んで解答しなさい．
Ａ．様相論理の推論規則「Ｐから□Ｐを得る」が示していることを「恒真」と「可能世界」という
用語を用いて説明しなさい．
Ｂ．ファジィ集合の演算においては補元律が成立しないことを適当なメンバーシップ関数を定義し，
図示することによって説明しなさい．
（裏面使用不可）
1997年度 情報数学II 定期試験問題
注意：先に配布した持ち込み用紙も一緒に提出すること．提出なき場合は採点しない．持ち込み用紙なしで受験する場合は，事前に申し出ること．
また，以下の問題において用いられる記号・用語などの表現は，特に断らない限り，講義において用いたものとする．
１．ド・モルガンの法則の２つの式のうちの１つが成り立てば，他の１つは二重否定の法則を用いて
証明できる．このことを
¬（Ａ∨Ｂ）＝¬Ａ∧¬Ｂ から
¬（Ａ∧Ｂ）＝¬Ａ∨¬Ｂ を
導出することで示しなさい．
２．次の論理式を積和標準形（加法標準形，選言標準形）に変換しなさい．
（１）（Ｐ⇒Ｑ）⇒（（Ｑ⇒Ｒ）⇒（Ｐ⇒Ｒ））
（２）（Ｐ∨Ｑ∨¬Ｒ）∧（Ｑ∨Ｒ）
３．次の命題論理の体系の公理系と推論規則を用いて，├(¬Ｂ⇒¬Ａ)⇒(Ａ⇒Ｂ)を証明せよ．
公理１：Ｐ⇒(Ｑ⇒Ｐ)
公理２：(Ｐ⇒(Ｑ⇒Ｒ))⇒((Ｐ⇒Ｑ)⇒(Ｐ⇒Ｒ))
公理３：(¬Ｐ⇒¬Ｑ)⇒((¬Ｐ⇒Ｑ)⇒Ｐ)
推論規則：Ｐ と Ｐ⇒Ｑ からＱ を得る．
ただし，演繹定理より導出した式として，（Ｐ⇒Ｑ，Ｑ⇒Ｒ├Ｐ⇒Ｒ）を用いること．
４．次の推論が有効かどうか，文章を論理式で表し，仮定１，仮定２，仮定３の論理積が結論を導出す
るかどうかを調べることにより，判定せよ．すなわち，（仮定１∧仮定２∧仮定３⇒結論）の恒真性を
調べて，判定せよ．
仮定１：太郎が金持ちなら，花子は結婚しない．
仮定２：太郎は金持ちでない，または，花子は美人である．
仮定３：花子は美人である．
結 論：花子は結婚する．
５．以下の２つの命題の意味の違いを説明し，真か偽かを明らかにしなさい．
∀ｘ∃ｙ（ｘ＋ｙ≧ｘ＋ｘ）
∃ｙ∀ｘ（ｘ＋ｙ≧ｘ＋ｘ）
ただし，ｘ，ｙは自然数を表す変数とする．
６．様相論理あるいはファジィ論理のいずれか１つについて，古典論理をどのように拡張したものであ
るかについて説明せよ．ただし，様相論理については「複数の解釈」，ファジィ論理については「多値」
という用語を必ず含めて説明すること．
（裏面使用不可）
1996年度 情報数学II 定期試験問題
注意：先に配布した持ち込み用紙も一緒に提出すること．提出なき場合は採点しない．持ち込み用紙なしで受験する場合は，事前に申し出ること．
また，以下の問題において用いられる記号・用語などの表現は，特に断らない限り，講義において用いたものとする．
１．カードが４枚あり，これらのカードの片面には数字が，もう片面にはアルファベットが書いてあ
るとする．「偶数のカードの裏には，必ず母音が書いてある」という命題の真偽を確かめるためには，
以下に示したカードの場合，少なくともどのカードを裏返してみなければならないか，答えなさい．
解答（ ）
この種の問題を知っていましたか？（採点の対象外）
（はい いいえ）
２．次の論理式について，真理値表を求めることにより，妥当（恒真），充足可能，充足不能（恒偽）
のいずれであるかを調べなさい．
（１）（¬Ｐ⇒¬Ｑ）⇒（Ｑ⇒Ｐ）
（２）Ｐ⇒（Ｐ∧¬Ｑ）
３．次の論理式を和積標準形（乗法標準形，連言標準形）に変換しなさい．
（１）（Ｐ⇒Ｑ）⇒（Ｑ⇒Ｒ）
（２）Ｐ⇒（（Ｑ⇒¬Ｒ）∧¬（Ｒ⇒¬Ｑ））
４．命題論理の推論規則と演繹定理を用いて，
Ｐ⇒（Ｑ⇒Ｒ），Ｑ├Ｐ⇒Ｒ
であることを証明しなさい．
５．∀ｘ∃ｙ（ｘ＜ｙ）と∃ｙ∀ｘ（ｘ＜ｙ）という２つの命題の意味の違いを説明し，真か偽かを
明らかにしなさい．ただし，ｘ，ｙは自然数を表す変数とする．
６．次の文章を述語論理の式を用いて表現しなさい．
（１）すべての鳥が飛ぶとは限らない．
（Ｂ(ｘ)： ｘは鳥である，Ｆ(ｘ)：ｘは飛ぶ，とする）
（２）人は誰でも誰かを好きであるが，誰をも好きな者はいない．
（Ｈ(ｘ)：ｘは人である，Ｌ(ｘ，ｙ)：ｘはｙを好きである，とする）
７．以下のＡ，Ｂ，いずれか１つを選んで解答しなさい．
Ａ．「信念の論理」におけるＢａという記号を様相記号の□と見なし，様相論理の公理Ｍ１〜Ｍ４に
当てはめて，それらの公理は採用されるべきかどうか検討しなさい．
Ｂ．ファジィ集合の演算においては補元律が成立しないが，このことを適当なメンバーシップ関数を
定義し，図示することによって説明しなさい．
（裏面使用不可）
1995年度 情報数学II 定期試験問題
注意：先に配布した持ち込み用紙も一緒に提出すること．提出なき場合は採点しない．持ち込み用紙なしで受験する場合は，事前に申し出ること．
また，以下の問題において用いられる記号・用語などの表現は，特に断らない限り，講義において用いたものとする．
１．次の論理式について，真理値表を求めることにより，妥当（恒真），充足可能，充足不能（恒偽）
のいずれであるかを調べよ．
（１）Ｐ∨¬（Ｐ∧Ｑ）
（２）（Ｐ⇒Ｑ）⇒（Ｐ∧Ｑ）
（３）（Ｐ∧¬Ｑ）∨¬Ｒ
２．次のブール式を簡単にせよ．（標準形に変換するのではない．）
（１）ｘ・ｙ・ｚ＋ｘ’・ｙ・ｚ＋ｘ・ｙ’・ｚ＋ｘ・ｙ’・ｚ’
（２）（ｘ・ｙ’＋ｘ・ｙ・ｚ’）（ｘ’＋ｚ）
（３）ｘ・ｙ・ｚ＋ｘ・ｙ’・ｚ’＋ｘ・ｙ’・ｚ＋ｘ’・ｙ・ｚ＋ｘ’・ｙ・ｚ’
３．命題論理の推論規則と演繹定理を用いて，
Ｐ⇒Ｑ，Ｑ⇒Ｒ├Ｐ⇒Ｒ
であることを証明せよ．
４．次の推論が有効かどうか，文章を論理式で表し，仮定１，仮定２，仮定３の論理積が結論を導出
するかどうかを調べることにより，判定せよ．すなわち，（仮定１∧仮定２∧仮定３⇒結論）の
恒真性を調べて，判定せよ．
仮定１：スキーへ行くとレポートが書けない．
仮定２：スキーへ行かない，または，単位を取る．
仮定３：単位を取る．
結 論：レポートを書く．
５．以下の述語論理の式を用いて表現された内容を通常の文章に直しなさい．
ただし，
Ｓ(ｘ)：ｘ は学生である，Ｒ(ｘ，ｙ)：ｘ は図書館の本ｙ を読んだ，
とする．
（１）∀ｙＲ(太郎，ｙ)
（２）∃ｘ∀ｙ（Ｓ(ｘ)∧Ｒ(ｘ，ｙ)）
（３）∀ｘ∃ｙ（Ｓ(ｘ)∧Ｒ(ｘ，ｙ)）
（４）¬∀ｘ∀ｙ（Ｓ(ｘ)⇒Ｒ(ｘ，ｙ)）
６．様相論理あるいはファジィ論理のいずれか１つについて，古典論理（命題論理や述語論理）をど
のように拡張したものであるかについて，３行程度で説明せよ．
1994年度 情報数学II 定期試験問題
注意：先に配布した持ち込み用紙も一緒に提出すること．提出なき場合は採点しない．持ち込み用紙なしで受験する場合は，事前に申し出ること．
また，以下の問題において用いられる記号・用語などの表現は，特に断らない限り，講義において用いたものとする．
１．次の論理式について，真理値表を求めることにより，妥当（恒真），充足可能，充足不能（恒偽）
のいずれであるか調べよ．
（１）(Ａ∨(Ｂ∧Ｃ))⇒Ｂ
（２）(Ａ∨Ｂ)∧¬Ａ∧¬Ｂ
（３）((Ａ⇒Ｂ)⇒Ａ)⇒Ａ
２．次の論理式を積和標準形（加法標準形，選言標準形）に変換せよ．
（１）(Ａ∨Ｂ)∧(¬Ｂ∨Ｃ)
（２）¬Ａ∨(Ｂ⇒¬Ｃ)
３．次の命題論理の体系の公理系と推論規則を用いて，├(¬Ｂ⇒¬Ａ)⇒(Ａ⇒Ｂ) を証明せよ．
公理１：Ｐ⇒(Ｑ⇒Ｐ)
公理２：(Ｐ⇒(Ｑ⇒Ｒ))⇒((Ｐ⇒Ｑ)⇒(Ｐ⇒Ｒ))
公理３：(¬Ｐ⇒¬Ｑ)⇒((¬Ｐ⇒Ｑ)⇒Ｐ)
推論規則：Ｐ と Ｐ⇒Ｑ からＱ を得る．
ただし，演繹定理より導出した式として，（Ｐ⇒Ｑ，Ｑ⇒Ｒ├Ｐ⇒Ｒ）を用いること．
４．次の論法が正しいかどうか，文章を論理式で表し，仮定１と仮定２の論理積が結論を導出するか
どうか調べることにより，判定せよ．すなわち，（仮定１∧仮定２⇒結論）の恒真性を調べよ．
仮定１：Ａ氏が嘘をいっているか，Ｂ氏が４月に香港にいたか，Ｃ氏が犯人ではないかのいず
れかである．
仮定２：Ｂ氏が４月に香港にいなかったならば，Ａ氏が真実をいっているか，またはＣ氏が犯
人である．
結 論：したがって，Ｂ氏は４月に香港にいたはずである．
５．次の文章を例にならって述語論理の式を用いて表現せよ．
（例）人には誰にでも好きな花というのがある．
Ａ(ｘ)：ｘ は人である，Ｂ(ｙ)：ｙ は花である，Ｃ(ｘ，ｙ)：ｘ は ｙ を好きである，
とすると，∀ｘ(Ａ(ｘ)⇒∃ｙ(Ｂ(ｙ)∧Ｃ(ｘ，ｙ))) と表現される．
（１）人には必ず親がいるが，自分の親の子供が自分であるとは限らない．
（２）平面上の２点を結ぶ直線はその平面に含まれる．
（３）例外のない規則はない．
（４）（任意の文章１つを限量記号を含んだ述語論理の式で表現せよ．）
６．様相論理あるいはファジィ論理のいずれか１つについて，古典論理（命題論理や述語論理）と比
較して，その特徴を説明せよ．
1993年度 離散数学 定期試験問題
注意：先に配布した持ち込み用紙も一緒に提出すること．提出なき場合は採点しない．持ち込み用紙なしで受験する場合は，事前に申し出ること．
また，以下の問題において用いられる記号・用語などの表現は，特に断らない限り，講義において用いたものとする．
１．次の論理式について，真理値表を求めて，妥当（恒真），充足可能，充足不能（恒偽）を調べよ．
（１）¬Ｐ∨Ｑ
（２）（（Ｐ⇒Ｑ）∧Ｐ）⇒Ｑ
（３）Ｐ∧¬（¬Ｐ⇒Ｑ）
２．次の論理式を和積標準形（乗法標準形）と積和標準形（加法標準形）に変換せよ．
（１）Ｓ⇒（（Ｘ∧Ｙ）∨Ｚ）
（２）Ｐ（ｘ）⇒（Ｑ（ｘ，ｙ）∧¬（Ｒ（ｘ） ∧Ｓ（ｙ）））
３．次の命題論理の体系の公理系と推論規則を用いて，Ｐ⇒Ｐが定理であることを証明せよ．
公理１：Ｐ⇒（Ｑ⇒Ｐ）
公理２：（Ｐ⇒（Ｑ⇒Ｒ））⇒ （（Ｐ⇒Ｑ）⇒（Ｐ⇒Ｒ））
公理３：（¬Ｐ⇒¬Ｑ）⇒（Ｑ⇒Ｐ）
推論規則：ＰとＰ⇒ＱからＱを得る．
４．次の例を使って，∀ｘ∃ｙＰ（ｘ，ｙ）と∃ｙ∀ｘＰ（ｘ，ｙ）の意味の違いを説明せよ．
（例）Ｓ（ｘ）：ｘは生徒である，Ｔ（ｙ，ｘ）：ｙはｘの先生である，とすると，
∀ｘ∃ｙ（Ｓ（ｘ）⇒Ｔ（ｙ，ｘ））と∃ｙ∀ｘ（Ｓ（ｘ） ⇒Ｔ（ｙ，ｘ））の意味の違いは？
５．次の文章を例にならって述語論理の式を用いて表現せよ．
（例）人には誰にでも好きな花というのがある．
Ａ（ｘ）：ｘは人である，Ｂ（ｙ）：ｙは花である，Ｃ（ｘ，ｙ）：ｘはｙを好きである，
とすると，∀ｘ（Ａ（ｘ）⇒∃ｙ（Ｂ（ｙ）∧Ｃ（ｘ，ｙ）））と表現される．
（１）すべての道はローマに通ず．
（２）犬も歩けば棒にあたる．
（３）例外のない規則はない．
（４）（任意の文章１つを述語論理で表現せよ．）
６．「人間は死ぬ」と「明日，雨が降る」という２つの命題を例にし，様相論理とファジィ論理
について，命題論理や述語論理と比較して説明せよ．