論理式 (数学)
言語 Q {\displaystyle {\mathcal {Q}}} における論理式が「妥当」であるとは、 Q {\displaystyle {\mathcal {Q}}} のあらゆる解釈において真であることを意味する。
言語 Q {\displaystyle {\mathcal {Q}}} における論理式が「充足可能(英語版)」であるとは、 Q {\displaystyle {\mathcal {Q}}} のある解釈で真であることを意味する。
A が 算術 における論理式で、それが「決定可能」であるとは、それが決定可能集合を表している場合、すなわち A に出現する自由変数に値を代入したとき、その真偽を判定する実効的方法がある場合である。