目次ページ 前ページ 次ページ | |||||||||||||||||||||||||||||||||||
2. 論理演算 | |||||||||||||||||||||||||||||||||||
2.1 文を記号化する方法 | |||||||||||||||||||||||||||||||||||
2.1.2 定言命題とその種類 | |||||||||||||||||||||||||||||||||||
定言とは、「かつ」「または」「ならば」などの接続詞や条件文形式を含まない、言い切りの文単位を言います。数学において、y=f (x)を考えるとき、xの取り得る範囲に制限がつく場合があります。例えば、 f(x),(a<x≦b) 命題関数の場合、変項xに制限がつくものを束縛変項と言います。束縛とは、変項xに個数を考えることを言い、制限のない場合を自由変項と言います。英語は、名詞の単数・複数を神経質に区別します。命題関数では、xが複数個である場合の言い方の区別を、さらに二通りに分けます。全部と部分です。英語では「all,some」です。これを日本語に訳して言うときは、「すべて、或る」を当てます。 ∀xFx; 全称記号∀を使う場合(束縛変項) ∃xFx; 特称記号∃を使う場合(束縛変項) Fx; なにも使わない場合 (自由変項、単に論理変数Pのようにも書きます)
科学書刊株式会社:電子版 「橋梁&都市 PROJECT: 2012」 | |||||||||||||||||||||||||||||||||||
前ページ 次ページ |