Consider the following true propositions: • p : Capen café sells brown rice. • q : Capen café sells Greek potatoes. • r : Capen café sells chicken tempura. For each of the following sentences write,symbolically, the compound proposition that correspondsto the given sentence in English asit is written (do not change the order or form of the expression). a) Capen café sells brown rice if they sell Greek potatoes and chicken tempura b) Capen café sells chicken tempura or if capen café sells brown rice they don’t sell Greek potatoes.

Which statement is NOT correct? O A. Every WFF is equivalent to a WFF in prenex normal form. B. Skolemization does not change the meaning of sentences. C. Skolemization generates equisatisfiable sentences. D. A formula in Skolem form does not have existentially quantified variables.

Note that for this question, you can in addition use ``land” for the symbol ``lor" for the symbol V ` `Inot" for the symbol ¬ Given the following three sentences: A) Every mathematician is married to an engineer. B) A bachelor is not married to anyone. C) If George is a mathematician, then he is not a bachelor. a) Convert A,B,C into three FOL sentences, where Mn(x): x is a mathematician. Er(x): x is an engineer. Md(x,y): x is married to y. Br(x): x is a bachelor. george: George is a constant. b) Show that A does-not-entail C. (Hint: Consider defining an interpretation / such that / models A, but does-not-model C.) c) Show that {A,B} entails C. (Hint: For a given interpretation I, consider two difference cases, the case where Mn(george) is true, and the case Mn(george) is false. For both cases, argue that it is always that I models C). d) Convert A,B, Inot C into a set of clausal forms, number your clauses. (Note that C is negated here!) e) Derive the empty clause from the set of…

One of the following items is a run-on (or fused) sentence, another contains a comma splice, and another is correct. Choose the item that is correct. One of the following items is a run-on (or fused) sentence, another contains a comma splice, and another is correct. Choose the item that is correct.     The food in that diner is awful besides the service is slow.     The food in that diner is awful, besides the service is slow.     The food in that diner is awful; besides, the service is slow.