題組內容

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

3. If Alicia has any friends, then Brad is one of them.
(a: Alicia; b: Brad; Fxy: x is a friend of y)