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

enter translations of the following English sentences into first-order logic. Yo

ID: 3144364 • Letter: E

Question

enter translations of the following English sentences

into first-order logic. You will only need to use the connectives , , and ¬.

Either a is small or both c and d are large.

d and e are both in back of b.

d and e are both in back of b and larger than it.

Both d and c are cubes, however neither of them is small.

Neither e nor a is to the right of c and to the left of b.

Either e is not large or it is in back of a.

c is neither between a and b, nor in front of either of them.

Either both a and e are tetrahedra or both a and f are.

Neither d nor c is in front of either c or b.

c is either between d and f or smaller than both of them.

It is not the case that b is in the same row as c.

b is in the same column as e, which is in the same row as d, which in turn is in the same column as a.

Explanation / Answer

(According to Chegg policy, only four subquestions will be answered. Please post the remaining in another question)

1. Either a is small or both c and d are large.

p: a is small q: c is large r: d is large

p v (c ^ r)

2. d and e are both in back of b.

p: d is in the back of b q: e is in the back of b.

p ^ q

3. d and e are both in back of b and larger than it.

p: d is in the back of b q: e is in the back of b r: d is larger than b s: e is larger than b

(p ^ q) ^ (r ^ s)

Both d and c are cubes, however neither of them is small.

p: d is a cube q: c is a cube r: d is small s: c is small

(p ^ q) ^ (~r ^ ~s)