Construct direct proofs to show that the following symbolic arguments are valid. Commas mark the breaks between premises. P→Q , R→~S, P v R, (Q v ~S)→(~T v ~W), ~~T ∴ ~W

Prove this is a valid argument using rules of inference and logical equivalences. Please Indicate the law or rule you apply to each premise.

Discrete Mathmetics 2015 Review for Test 1 1. Determine whether the following propositions are T or F a) 2+1 = 4 or 4+3 = 6 b) 4+5 = 8 or 2+5 = 7 c) 8-5 = and 3 6 = 9 d) 5+6 = 10 and 2+3 =6 2. Determine the truth values of the following statements. If False, give a counter- example. Suppose the domain = {1,2,3,4} a) Vx (x+3<6) b) 3x (x+<6) 3. Let p: I go to Delhi Q: I visit Red Fort R:I visit Rajghat Which propositions for the following sentences using symbols. a) If I go to Delhi, then I visit Red Fort b) I go to the Delhi, but I do not visit Red Fort. c) Either I visit Red Fort it I visit Rajghat. d) Neither do I visit Red Fort, nor do I visit Rajghat. e) I go to Delhi, and I visit Rajghat, but I do not Red Fort. f) If I go to Delhi, and do not visit Red Fort, then to Delhi. g) To visit Delhi Red Fort, it is necessary that I go to Delhi. h) I go to Delhi if and only if I visit Red Fort and Rajghat. i) To visit Red Fort and Rajghat, it is sufficient for me to go to Delhi.

Construct direct proofs to show that the following symbolic arguments are valid. Commas mark the breaks between premises. ~C→(F→C), ~C ∴ ~F