題組內容

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

6. Everything is different from something. (Dxy=x is different from y)