題組內容

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

1. Some dogs bite if and only if they are teased. (Dx, Bx, Tx)