**A. Show whether or not p οβ q β‘ (p ^ q) v (πΜ
^ πΜ
) B.Let P(x) denote the statement 1 ------ x2+1>1. If its domain are all real numbers, what is the truth value of the following quantified statement? (5 pts each) 1. βxP(x) 2. βxP(x) C. What rule of inference is used in each of the following arguments? Show solution. (5 pts each) 1. If it will rain today, then the classes are suspended. The classes are not suspended today. Therefore, it did not rain today. 2. If you read your module today, then you will not play ML today. If you cannot play ML today, you can play ML tomorrow. Therefore, you read your module today, then you will play ML tomorrow.**

The **Answer to the Question**

is below this banner.

**Here's the Solution to this Question**

A. Show whether or not p β q β‘ (p ^ q) v (Β¬p ^ Β¬q)

Answer: False

B.Let P(x) denote the statement x2+1>1. If its domain are all real numbers, what is the truth value of the following quantified statement? (5 pts each)

1. βxP(x)

Answer: true (for example x = -9.9)

2. βxP(x)

Answer: false (if x = 0, then P(x) breaks)

C. What rule of inference is used in each of the following arguments? Show solution. (5 pts each)

1. If it will rain today, then the classes are suspended. The classes are not suspended today. Therefore, it did not rain today.

Answer:

p β it is rain today

q β the classes are suspended today

pβq (if it will rain today, then the classes are suspended)

Β¬q (the classes are not suspended today)

modus tollens: Β¬q, pβq β Β¬p (it did not rain today)

2. If you read your module today, then you will not play ML today. If you cannot play ML today, you can play ML tomorrow. Therefore, you read your module today, then you will play ML tomorrow.

Answer:

p β you read your module today

q β you donβt play ML today

r β you play ML tomorrow

pβq (if you read your module today, then you will not play ML today)

qβr (if you cannot play ML today, you can play ML tomorrow)

hypothetical syllogism : pβq, qβr β pβr (if you read your module today, then you will play ML tomorrow)