填空題

用謂詞邏輯表示知識“所有教師都有自己的學(xué)生”，（ 定義謂詞：T （x）：表示x 是教師；S （y）：表示y是學(xué)生；TS（x， y）：表示x是y的老師）（）。

答案：

微信掃碼免費搜題