substitution - 論理的帰結、普遍閉包、置換、一階論理、統一

Question

誰がそれを示すのを手伝ってくれますか:

式 F のインスタンスの普遍閉包は、F の普遍閉包の論理的帰結です。

 i.e., Show that ∀F |= ∀(Fθ), where
       F: a formula
       θ: a substitution  

ありがとう。