Knights and Knaves

Question Mark 1 2 3 4 5 6 7 Bonus: Knights and Knaves /6 /5 /5 /5 /10 /5 /4 /3 TOTAL /40 Page 2 of 3 Questions about Language 1. (6 pts.) Suppose we have an FOL with constant symbols/names a, b, c, d, and e, function symbols f (x), g (x), h (x, y), predicate symbols P...