題組內容

一. 請將下列的語句符號化為述詞邏輯語言中的語句形式。

3. Sylvia invites only her friends. (s=Sylvia, Ixy=x invites y, Fxy=x is a friend of y)