4 Symbolic Logic Finite Mathematics Summer 2016 Page S Exami

4. Symbolic Logic. Finite Mathematics. Summer 2016 Page S. Examination 4. Symbolic Problem #12. Given: Let p: Morgan will go to class. q: Morgan will go to a meeting r: Morgan will go to the dining hall. WRITE THE FOLLOWING STATEMENTS IN SYMBOLIC FORM. Morgan will go to class, and then to a meeting or the dining hall. Morgan will go to class and the meeting, or to the dining hall Morgan will go to class or Morgain will go the the meeting a. b. c. d. Morgan will se the class or Morgan will not go to the dining hall. Morgan will not go to class and Morgan will not to the meeting e. Problem #13. Given: Let p: The house is for sale. q: We can afford to buy the house. WRITE THE FOLLOWING SYMBOLIC STATEMENTS IN WORDS a. PA-9 d. pq e. ~(qp)

Solution

12. From the given statements we can write symbolic form as shown

Here we are taking \"^\" as \"and\" and \"V\" as \"or\"

a. p ^ (Q V r)

b.(P ^ Q)V r

c.P V Q

d. P V - R

e. - P ^ - Q

13. From the given statements the symbols can be written as

(a) The house is for sale and we cannot afford to buy the house.

(b) The house is not for sale or we cannot afford to buy the house

(c) The house is not for sale and we can afford to buy the house

(d) The house is for sale so we can afford to buy the house.

(e) We cannot afford to buy the house as the house is not for sale.

14. (a) Valid

The given symbol is a valid symbol from the given statements.

(b) From the given statement \"if i think then i am\" the symbol can be given as

P --> Q

For statement \"if i think not i am not\" the symbol is

- P ----> - Q.

it is a valid condition.