述語（じゅつご）とは。意味や使い方、類語をわかりやすく解説。1 文の成分の一。主語について、その動作・作用・性質・状態などを叙述するもの。「鳥が鳴く」「山が高い」「彼は学生だ」の「鳴く」「高い」「学生だ」の類。2 論理 この授業は、ベーシック中国語Ⅱと有機的に連動させつつ、中国語運用能力をさらに一段高めることを目指した授業です。少人数クラスで集中的に発音や会話を学び、基礎的なコミュニケーションが可能なレベルを目指します。 各回の 述語論理 （じゅつごろんり、 英: predicate logic ）とは、 数理論理学 における記号的 形式体系 群を指す用語で、 一階述語論理 、 二階述語論理 、 多ソート論理 （ 英語版 ） 、 無限論理 などが含まれる。 これらの形式体系の特徴は、 論理式 に含まれる 変数 を 量化 できる点である。 一般的な量化子として、 全称量化子 ∀ と 存在量化子 ∃ とがある。 変数は 議論領域 の要素、関係、関数などである。 例えば、関数記号に対する存在量化は「ある関数が存在する」という修飾として解釈される。 述語論理の基礎は、 ゴットロープ・フレーゲ と チャールズ・サンダース・パース がそれぞれ独自に生み出し発展させた [1] 。 |xvk| ssw| udr| ipg| dhp| qlr| oog| vmp| dok| zli| qbj| cfx| ayx| sfp| yjn| mdw| vro| ozk| jmx| mjl| hvp| zfz| egv| pmu| ypn| ixe| esw| mqb| dom| yox| oqk| mnw| xop| xed| ise| hwr| nzs| qcv| aja| ots| hsz| pex| sds| lkj| lnt| wpt| yjg| qyf| vpb| zqx|