链接版第一章真值表逻辑和证明.docVIP

CHAPTER 1 　 TRUTH TABLES, LOGIC, AND PROOFS Glossary statement, proposition：命题 logical connective：命题联结词 compound statement：复合命题 propositional variable：命题变元 negation：否定(式) truth table：真值表 conjunction：合取 disjunction：析取 propositional function：命题公式 fallacy: 谬误 syllogism：三段论 universal quantification：全称量词化 existential quantification：存在量词化 hypothesis(premise)： 假设，前提，前件 conditional statement, implication：条件式，蕴涵式 consequent, conclusion：结论，后件 converse：逆命题 contrapositive：逆否命题 biconditional, equivalence：双条件式，等价 logically equivalent：(逻辑)等价的 contingency：可满足式 tautology：永真式(重言式) c