分类：教育/科学-理工学科-数学
问题：数学逻辑题a)Translatethefollowingprop 
a) Translate the follog proposition into symbolic form. Define the universe of discourse and the predicates you useSome toys are dangerous and no child should be given themb) Negate the proposition in a) by changing quantifier. Give the answer in symbolic form and in a) Translate the follog proposition into symbolic form. Define the universe of discourse and the predicates you useSome toys are dangerous and no child should be given themb) Negate the proposition in a) by changing quantifier. Give the answer in symbolic form and in an English sentence.
回答：1 将下面的命题成符号形式，详细说明论域和你所使用的谓词有些玩具是危险的，不应该给任何孩子。Exist x [Toy(x)∧Dangerous(x)∧Any y(Child(y)→ －Give(x,y))]论域：{孩子}，{玩具}。谓词：是玩具、是危险的、是孩子、把……给……2 用改变量词的方式否定上一题的命题。用符号和英语句子给出答案－Exist x [Toy(x)∧Dangerous(x)∧Any y(Child(y)→ －Give(x,y))]即 Any x －[Toy(x)∧Dangerous(x)∧Any y(Child(y)→ －Give(x,y))]即 Any x [－Toy(x)∨－Dangerous(x)∨－Any y(Child(y)→ －Give(x,y))]即 Any x [－Toy(x)∨－Dangerous(x)∨Exist y －(Child(y)→ －Give(x,y))]即 Any x [(Toy(x)→ －Dangerous(x))∨Exist y －(－Child(y)∨－Give(x,y))]即 Any x [(Toy(x)→ －Dangerous(x))∨Exist y (Child(y)∧Give(x,y))]即 所有玩具都不是危险的，或者说，可以把这玩具给有的孩子。