Question 3 Propositional Logic Consider the following scenar

Question #3 (Propositional Logic)

Consider the following scenario:

“Ann lives in Manhattan. If in Manhattan snows then Ann doesn’t like Manhattan. If Ann lives in Manhattan and doesn’t like it then Ann is unhappy. In Manhattan snows.”

Formalize and prove (or disprove) this claim: Ann is unhappy.

Note: Justify your answer using the resolution by refutation method and the set support strategy.

Solution

This can be proved as follows:

let us suppose ann is happy which means ann likes manhatten .

If ann likes manhatten which means it does not snow at manhatten.

Whereas it is snowing in manhatten,

hence by contrapositive ann is unhappy