汉英翻译基础..ppt

Y (all students) Y (John) We introduce a new type of constant: the universal quantifier（全称量词）?, with the meaning all, every or for everyone/everything holds that The existential quantifier(存在量词）? Someone /something Someone is conservative. ?x C (x) There is at least one x such that x is conservative. Symbols in logic analysis: individual constants :a, b, c, d, individual variables: x, y, z, … Predicate constants: A,B,C,D, sentence variables p, q, r quantifiers ?,? logical connectives ?,^,→,v ,≡ Proposition calculus 命题演算 P ^ q He studied hard and got a good mark. p v q Either John i