PROBLEM SET NO.

Use the following statements:

L: The weather is gloomy.

U: It is sunny.
C: We are going for a picnic.
K: We will not be travelling.
I: The tour goes to Spain.
E: We will go to Italy.
R: The tour will not go to France.

A. Translate the following compound statement into symbolic form.

1. The tour goes to Spain or the tour goes to France.

I V ~R
2. We are going for a picnic if and only if it is sunny.
C ↔ U
3. If the weather is not gloomy, then we will be travelling.
~L → ~K
4. We will not go to Italy and the tour will go to France.
~E ∧ ~R
5. If it is sunny, then the weather is not gloomy.
U → ~L

B. Translate the following symbolic form to compound statement.

1. ~K → I
If we will be travelling, then the tour goes to Spain.
2. ~R ∧ ~E
The tour will go to France and we will not go to Italy.
3. C ↔ E
We are going for a picnic if and only if we will go to Italy.
4. K V C
We will not be travelling or we are going for a picnic.
5. ~U ∧ L
It is not sunny and the weather is gloomy.

II. Construct a truth table for the following:

a. ~p ∧ (q → p)

p q ~p ∧ (q → p)
T T F F T T T
T F F F F T T
F T T T T F F
F F T F F F F
1 5 2 4 3

b. (~p v ~q) → [ ~ (p ∧ ~q)]

p q (~p v ~q) → [~ (p ∧ ~q)]

T T F F F T T T F F
T F F T T F F T T T
F T T T F T T F F F
F F T T T T T F F T
1 5 2 8 7 3 6 4

c. [~ (p → ~r) ∧ ~r] → r

p q r [~ (p → ~r) ∧ ~r] → r
T T T T T F F F F T T
T T F F T T T F T F F
T F T T T F F F F T T
T F F F T T T F T F F
F T T T F F F F F T T
F T F F F T T F T F F
F F T T F F F F F T T
F F F F F T T F T F F
6 1 5 2 7 3 8 4

d. {p ∧ [(p → q) ∧ (q → r)]} → r
p q r {p ∧ [(p → q) ∧ (q → r)]} → r
T T T T T T T T T T T T T T
T T F T F T T T F T F F F F
T F T T F T F F F F T T T T
T F F T F T F F F F F F F F
F T T F F F T T T T T T T T
F T F F F F T T F T F F F F
F F T F F F F F F F T T T T
F F F F F F F F F F F F F F
1 10 2 7 3 9 4 8 5 11 6