完成定理1.8的证明
证明 设A为简单析取式，其包含的所有命题变元为[tex=5.571x1.0]NoQnZJ5q3WVO/OB0tnmKLvw+BvXnmeRGHUDUksJv8DA=[/tex][br][/br]若A为永真式，但不同时含有某个命题变元及其否定，则不妨设[tex=17.143x1.214]NRPsJghNAXKTS8QEJ4cK1EU9E838rJ7jaFIbWAo5h/4HjMFC1vg/ez2JIObWI4nSw+9oYwxhf9whLZmxJP0+7fcyrCEsJUUPWGX5/xvG0GGTUOBMncb5KVIjDq8IR/om[/tex]于是当[tex=5.357x1.0]mwpThfopQsE9BX4/3Iw8ToJhFjoAvlwYTqzTGDfH18Q=[/tex]的真值都是假，而[tex=5.071x1.0]ep+UF0/rFoQ52dA3sBWqyix8ivZtkn7GhFKdOyhf9Ds=[/tex].的真值都是真时，A的真值为假，与A为永真式矛盾。反之，若A同时含有某个命题变元及其否定，显然有A为永真式。
内容
- 0
完成定理7.9的证明。
- 1
完成定理5.33的证明
- 2
完成定理7.18的证明
- 3
完成定理8.53的证明。
- 4
完成定理5.32的证明。