論理式 φ\varphiφ における 変数記号の出現 が v1,v2,…,vkv_1,v_2,\ldots,v_kv1,v2,…,vk であるとき、φ\varphiφ を φ(v1,v2,…,vk)\varphi(v_1,v_2,\ldots,v_k)φ(v1,v2,…,vk) と書く。