有限直積語句(finite direct product sentence一種全稱霍恩語句.指在有限直積下保持的語句.設筍是一個全稱語句，則筍是一個(有限)直積語句，若且唯若筍等價於一個全稱霍恩語句.設筍是一個存在語句，則筍是一個(有限)直積語句，若且唯若筍等價於一個存在霍恩語句.
