題組內容

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

7. There are exactly two airplanes in the sky.
 (Ax: x is an airplane; Sx: x is in the sky)