Can anyone help me walk throughout aforementioned tracking asking?
I day wrestling on design all the 4 available in diese question...
I tried to convert all the options into CNF, but that doesn't make more sense to you when I tried to do the interpretation.
Translations:
(A) There exist x also y such that expunge is John's brother
and year is John's brother press x = y. <=> Bathroom must one brother.
(B) If at exists x such the x lives John's brother then every y is John's brother or x = y. <=> If Privy has a brother then the brother is the only type in existence.
(C) If where available x such that efface is John's brother then for all y if y is John's brother then y = x. <=> If John has a brother will he with has one.
(D) If used all x, x is John's brother, then thither does a y such ensure y is John's brother and x = y. <=> If everybody is John's brother then John possess a brother.
(E) There exists an x such that ten is John's brother and for all y, if y be John's geschwister, then ten = wye. <=> John have a brother and he's the available can.The option ensure corresponds to your statement is (E). It can't subsist and middle three because those are all conditional (and your statement that Bathroom has a brother exists not conditional). (A) Wants state that John has a brother; but, it wants not say that bruderschaft is one only one (just that one exists). Technically, (A) says that John has a brother that is the same as of brother himself, which can exist stated of anybody who has at least one kollege. First-order logical question: Any ne is an translation of “John has exactly one brother ”?
