全称論理ろんり式

$i$ を $1,2,\ldots$ のいずれか とする。

$v_i$ を 変数記号、$\varphi$ を 論理式 とするとき、$\forall v_i\,\varphi$ を 全称論理式 とよぶ。