Solutions for Assignment No 2英文.pdf

Solutions for Assignment No. 2 1.2 Problem 10 Just construct the truth tables. Problem 24 (p →q) ∨(p→r) ≡ (┐p ∨q) ∨(┐p ∨r) ≡(┐p ∨┐p) ∨(q ∨r) ≡┐p ∨(q ∨r) ≡p →(q∨r) Problem 30 (p ∨q) ∧(┐p ∨r)→(q ∨r) ≡ ┐((p ∨q) ∧(┐p ∨r)) ∨(q ∨r)) ≡ (┐p ∧┐q) ∨(p ∧┐r) ∨q∨r ≡ ((┐p ∧┐q) ∨q) ∨((p ∧┐r) ∨r) ≡ ┐p ∨q∨p ∨r ≡ T ∨q∨r ≡ T Problem 40 p ∧q ∧┐r Problem 51 p →q ≡ ┐p ∨q ≡ ┐(┐(┐p ∨q)) ≡ ┐(┐(┐(p ∨p) ∨q)) ≡ ┐(┐((p↓p) ∨q)) ≡ ┐((p↓p) ↓q) ≡ ┐(((p↓p) ↓q) ∨((p↓p) ↓q)) ≡ (p↓p) ↓q)↓(p↓p) ↓q) Problem 59 We can make them simultaneously true by the assignment of (one possible assignment): p is true, q is true, r is false, s is false 1.3 Problem 16 a) true b) false c) true d) false Problem 24 Let C(x) be the propositional function “x is in your class.” a) x P(x) and x(C(x) →P(x)), where P(x) is “x has a cellular phone.” b) x F(x) and x(C(x) ∧F(x)), where F(x) is “x has seen a foreign movie.” c) x ﹁S(x) and x(C(x) ∧﹁S(x)), where S(x) is “x can swim.” d) x E(x) and x(C(x) →E(x)), where E(x) is “x can solve quadratic equations.” e) x ﹁R(x) and x(C(x) ∧﹁R(x)), where R(x) is “x wants to be rich.” Problem 33 a) let T(x) be the predicate that x can learn new tricks, and let the domain be old dogs. Original is x T(x). Negation is x ﹁T(x): “No old dogs can learn new tricks.” b) let C(x) be the predicate that x knows calculus, and let the domain be rabbits. Original is x ﹁C(x). Negation is x C(x): “There is a rabbit that knows calculus.” c) let F(x) be the predicate that x can fly, and let the domain be birds. Original is x F(x). Negation is x ﹁F(x): “There is a bird that cannot fly.” d) let T(x)