目录

1.谓词逻辑的翻译

2.谓词的合式公式

1.原子谓词公式

3.约束变元及换名

1.换名规则

4.闭式

5.谓词的等价

1.命题公式的推广

2.量词与联结词之间的关系

6.谓词的等价和蕴含式

量词分配率等价式

多重量词等价式

蕴含式

1.谓词逻辑的翻译

2.谓词的合式公式

1.原子谓词公式

3.约束变元及换名

1.换名规则

4.闭式

5.谓词的等价

1.命题公式的推广

2.量词与联结词之间的关系

6.谓词的等价和蕴含式

量词分配率等价式

多重量词等价式

蕴含式