please solve asap i will give like

solve part a b and c

821883 ours, 52 minutes remaining ( 12 Let Bus be a set of buses and City be a set of cities. Consider the following predicates: slow(b) is a predicate indicating bus bis a slow bus; large(c) is a predicate indicating cis a large city: stop(b.c) is a predicate indicating that bus b stops at the city c. Answer the three question below. a) Which predicate logic formula given below correctly formalises the following English sentence "There is a slow bus that stops at all cities" 1. VbeBus & vce City & (slow(b) stop(b,c)) 2. abc Bus & vceCity & (slow(b) stop(b.c)) 3. abeBus & vce City & (slow(b) V stop(b.c)) 4. Vce City & abeBus & (slow(b) A stop(b,c)) 5. Vce City & sbe Bus & (slow(b) stop(b.c)) 6. abeBus & vce City & (slow(b) A stop(b.c)) Answer: Select alternative 4 Luonto Innir formula alven below correctly formalises the following English sentence: b) Which predicate logic formula given below correctly formalises the following English sentence "Slow buses don't stop at large cities 1. VbeBus & sceCity & ((slow(b) A stop(b.c) largo(c)) 2. vbe Bus & voc City & (slow(b) A (stop(b,c) large(c))) 3. WbeBus & voeCity & ((slow(b) A stop(b,c)) arge(c)) 4. vbe Bus & ve City & ((slowb) V stop(b,c)) A largo(c)) 5. Vbe Bus & ve City & (slow(b) (stop(b.c) A large(c)}} 6. VeBus & voe City & ((slow(b) A stop(b.c)) A largo(c)) Answer: Select alternative : c) Which English sentence below correctly captures the meaning of the following predicatologia formula vce City & na,be Bus & (large(e) ((stop(2.c) A stop(b,c))/(a*b) 1. All cities are large and have buses stopping at them. 2. Any large city has exactly two buses stopping at it, 3. Any large city has buses stopping at it. 4. Large cities have at least two buses stopping at them. 5. Any city with buses stopping at it is a large city 6. All large cities have just one bus stopping at them. > Answer: Select alternative