命题逻辑的▣顾 命题逻辑是可靠的和完备的 命题逻辑的可靠性 若T w是有效的（可证明的），则T w成 立 命题逻辑的完备性 若Tw成立，则T w是有效的 命题逻辑的可靠性和完备性 T w有效，当且仅当 w成立命题逻辑的回顾 • 命题逻辑是可靠的和完备的 – 命题逻辑的可靠性 若 是有效的（可证明的），则  成 立 – 命题逻辑的完备性 若 成立，则  是有效的 – 命题逻辑的可靠性和完备性  有效，当且仅当  成立