有限直积语句

英文

finite direct product sentence

简介

一种全称霍恩语句.指在有限直积下保持的语句.设φ是一个全称语句，则φ是一个(有限)直积语句，当且仅当φ等价于一个全称霍恩语句.设φ是一个存在语句，则φ是一个(有限)直积语句，当且仅当φ等价于一个存在霍恩语句.