# 霍恩子句

${\displaystyle \neg p\lor \neg q\vee \cdots \vee \neg t\vee u}$

${\displaystyle (p\wedge q\wedge \cdots \wedge t)\rightarrow u}$

## 引用

• Alfred Horn, (1951) "On sentences which are true of direct unions of algebras", Journal of Symbolic Logic, 16, 14-21.