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

一般用語集

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

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