含n个命题变元的合式公式A(P1,P2,…,Pn)组成的集合M关于命题公式的等值关系()构成的商集M/()={CA |() B∈CA()M,A()B|关于如下代......