Using the abbreviations Mx for x is a man Wx for x is a woma

Using the abbreviations \"Mx\" for \"x is a man\", \"Wx\" for \"x is a woman\", and \"Sxy\" for \"x is stronger than y\" translate each of the following expressions into English:

          1. ~(x) (Mx & Sxx)

          2. (x) [Mx & (y) (Wy & Sxy) ]

          3. (x) [Wx & (y) (My Sxy) ]

          4. (x) [Wx (y) (My Sxy) ]

          5.~(x) (Mx & (y) { [My & ~(x = y) ] Sxy} )

Solution

Solution: - (1) For all man and woman, the man is stronger

(2) For some men and women, woman is stronger

(3) For some weak men and women, If there is a weak Man than he is stronger than weak woman

(4) If woman then she is weak and if man then he is strong

(5) For all men and women, the weak man who has no comparision than he is strong.