!!!And here is Part 1:

2. Do the sentences from Part 1 above logically entail that Dorset does not overlap with Scotland? Justify your answer by providing a proof using semantic arguments or by providing a counter-example. [5 marks] 1. Translate the sentences below from English into first-order logic. Use the signature S consisting of the unary predicate symbol Region and the binary predicate symbols Disjoint, Included and Overlap and the constant symbols dorset, fife, scotland, england. (a) Any two regions are either disjoint, overlapping, or one of them is included in another. [2 marks] (b) Every region is included in itself. [1 mark] (c) If two regions are disjoint, they are not overlapping. [1 mark] (d) If two regions are overlapping, none of them is included in another. [2 marks] (e) If one region is included in another, then they are not disjoint. [1 mark] (f) If two regions are disjoint, then any region included in the first one is disjoint from the second one. [2 marks] (g) Dorset and England are regions, Dorset is included in England. [1 mark] (h) Fife and Scotland are regions, Fife is included in Scotland. [1 mark] (i) Scotland and England are disjoint. [1 mark] 2. Do the sentences from Part 1 above logically entail that Dorset does not overlap with Scotland? Justify your answer by providing a proof using semantic arguments or by providing a counter-example. [5 marks] 1. Translate the sentences below from English into first-order logic. Use the signature S consisting of the unary predicate symbol Region and the binary predicate symbols Disjoint, Included and Overlap and the constant symbols dorset, fife, scotland, england. (a) Any two regions are either disjoint, overlapping, or one of them is included in another. [2 marks] (b) Every region is included in itself. [1 mark] (c) If two regions are disjoint, they are not overlapping. [1 mark] (d) If two regions are overlapping, none of them is included in another. [2 marks] (e) If one region is included in another, then they are not disjoint. [1 mark] (f) If two regions are disjoint, then any region included in the first one is disjoint from the second one. [2 marks] (g) Dorset and England are regions, Dorset is included in England. [1 mark] (h) Fife and Scotland are regions, Fife is included in Scotland. [1 mark] (i) Scotland and England are disjoint. [1 mark]