Translate the following into colloquial English. 6. (Blank (Folly, 2:00) Blank (Silly, 2:00)) 7. Owned (Claire,...

Transcribed Image Text:

Translate the following into colloquial English. 6. (Blank (Folly, 2:00) →Blank (Silly, 2:00)) 7. Owned (Claire, Silly, 2:00) Owned (Claire, Folly,2:00) 8. (Erased (Max, Silly, 2:00) Erased (Max, Folly, 2:00)) QUESTION 2 [20] 1. Demonstrate that P v-(P^q) is a tautology. (i) Use a truth table Use logical equivalence (3) (3) (3) (4) (4) 2. Show that-(P v- P^ q)) and -P^-q are equally equivalenty developing a series of logical equivalences (7) 3. Find the disjunctive normal; form for preposition: (P→q) ^ -r QUESTION 3 [20] 1. Prove that (A → (BC)) ((AA B)→ C) is a logical truth. (4) 2. Construct a truth table for the sentence (AB) A (BA). Show that its final column is the same as that for AB (6) Translate the following into colloquial English. 6. (Blank (Folly, 2:00) →Blank (Silly, 2:00)) 7. Owned (Claire, Silly, 2:00) Owned (Claire, Folly,2:00) 8. (Erased (Max, Silly, 2:00) Erased (Max, Folly, 2:00)) QUESTION 2 [20] 1. Demonstrate that P v-(P^q) is a tautology. (i) Use a truth table Use logical equivalence (3) (3) (3) (4) (4) 2. Show that-(P v- P^ q)) and -P^-q are equally equivalenty developing a series of logical equivalences (7) 3. Find the disjunctive normal; form for preposition: (P→q) ^ -r QUESTION 3 [20] 1. Prove that (A → (BC)) ((AA B)→ C) is a logical truth. (4) 2. Construct a truth table for the sentence (AB) A (BA). Show that its final column is the same as that for AB (6)

Answer rating: 100% (QA)

I can translate it into colloquial English as follows Claim 6 If Folly is erased at 200 then Silly is erased at 200 Claim 7 Claire owns Silly and Folly at 200 ... View the full answer