アルファベットのスクリプト体やギリシャ文字の読み方の一覧は、こちらを参照。社会科学にふさわしく、論理と集合に焦点を合わせた。
アルファベットのスクリプト体やギリシャ文字の読み方の一覧は、こちらを参照。
数学用語の英和対訳集はこちらを参照。
次の記号とその意味するところを組み合わせなさい。
［1］ 命題論理（及び述語論理）
記号：
(i) ∨ (ii) ∧ (iii) ⊃ (iv) ¬ (v) ≡
意味：
(a) でない(否定) (b) あるいは(選言) (c) ならば
(d) 同等(同値) (e) かつ(連言)
［2］ 述語論理
記号：
(i) ∀ (ii) ∃
意味：
(a) ある〜について(存在記号、連称記号) (b)すべての〜について(全称記号)
[3] アローによる社会厚生関数の「非独裁」(ND)の仮定
¬(∃i ∈ N (∀x, y ∈ X (x Ri y ⊃ x Rs y)))
を言語表現しなさい。ここで、N, X, Ri, Rs
はテキスト p. 18 周辺で定義されているものである。
また、次のように言いかえられることもできることを説明しなさい。
∀i ∈ N (∃x, y ∈ X (¬ (x Ri y ⊃ x Rs y)))
