題組內容

第二部分:邏輯(共50分) 請將下列語句依括號内指定的符號轉換為述詞邏輯(predicate  logic)中的語句(每題5分): 

4. Some policemen arrest every traffic violator they see.
 (Px: x is a policeman; Axy: x arrests y; Tx: x is a traffic violator; Sxy: x sees y)