Academic Integrity: tutoring, explanations, and feedback — we don’t complete graded work or submit on a student’s behalf.

Write each of the following sentences in first-order logic. Use the following pr

ID: 3677952 • Letter: W

Question

Write each of the following sentences in first-order logic. Use

the following predicates: Borders(X,Y) - X borders Y, Island(X) - X is an

Island

2. (5 points): Write each of the following sentences in first-order logic. Use ,sland (X)-X is an the following predicates: Borders(Xx,Y) - X borders Y, Island(X) - X is an the following predicates: Borders (X,Y) -X borders Island a. North Carolina is bordered by Virginia or North Carolina is bordered by Florida. b. Indiana borders Ohio and Indiana borders Kentucky. c. Hawaii is an island d. Islands are not bordered by anything. e. Any state that is not an island, is bordered by some other state.

Explanation / Answer

a) Borders(Virginia,North Carolina) V Borders(Florida,North Carolina)

b)Indiana borders Ohio and Indiana borders Kentucky---->Borders(Indiana,Ohio)   Borders(Indiana,Kentucky)

C)Hawaii is an island--->Island(Hawaii)

d) x p Island(x) ¬borders(p,x)

e) x p ¬Island(x) istate(p)=> borders(p,x)