');

一般用語集

一般用語集

ろんりしき【論理式】

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