用語集一般用語集>ろんりしき【論理式】

一般用語集


ろんりしき【論理式】 一般用語集 ろ


項目 ろんりしき【論理式】
意味 〔well-formed formula〕記号論理学において,形成規則に従って組み立てられた有意味な記号列のこと。命題を表現するために用いられる。


一般用語集 五十音順