フォーマルセマンティクス入門: Formal Semantics for the Japanese Working Linguists 緒方 典裕 大阪大学 言語文化研究科 言語情報科学講座 平成 19 年 5 月 1 日 3 まえがき x ∈ λy.P(y) や (x, y) ∈ λz.λu.R(z, u) λu.R(u) のような表記を使っている人は読む必要があります。 5 目 次 第 I 部 準備 11 第 1 章 集合 13 第 2 章 序数と基数 17 第 3 章 関数と関係 19 3.1 関数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 3.2 関係 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 第 4 章 Indu