关于一阶逻辑中的谓词公式对偶式的讨论

提出谓词公式对偶式、对偶前束范式等概念以及对偶原理，并给出若干结论。