"p" formula_5 "f" はm ⊨ "p" formula_14 "f" となることと同値である。