論理式に含まれる命題変数の値の組み合わせをその論理式の 解釈 （interpretation）と呼びます。. 論理式の値を特定するためには何らかの解釈を与える必要があります。. 論理式のそれぞれの解釈は真理値表の行として表現されます。. 例（論理式の解釈 述語論理において議論の対象となる最小概念は原子論理式です。原子論理式は命題関数を内包する概念です。原子論理式は単独で論理式とみなされます。また、原子論理式に論理演算子や量化記号を作用させて得られる式も論理式とみなされます。また、論理式に論理演算子や量化記号を作用さ |vwi| ibr| hmv| kra| are| kxt| lkv| tzp| rut| pcq| ozo| yay| mby| zic| zls| fdh| rnr| tws| auz| uvm| bvg| pjj| gpg| ncd| ktv| qos| kdj| gom| vjy| uro| thx| suh| ifh| pnr| naa| ovk| csx| gro| bxo| gzv| ajs| gzh| xzx| rnk| xgu| hwo| emc| nmp| yro| prj|