首頁
題庫
題目:在Tarski’s World中,()表示個體常項。
騰訊雲服務器2核/2G/3M(61元/首年)
騰訊輕量雲2核/2G/4M(99元/年續費同價)
騰訊雲服務器老用戶專享
在Tarski’s World中,()表示個體常項。
A.P
B.w
C.a
D.y
正確答案:a
點擊顯示答案
關鍵字:
智慧樹
相關試題
1.一個語言FOL可以沒有謂詞。()
2.一個開公式是至少有一個自由變項的公式。()
3.在Fitch中,系統F的存在量詞規則有()。
4.一個好的策略是找到一個非形式的證明然後試著形式化它。
5.在證明中,如果你遇到困難,請考慮用矛盾證明法。
推薦
答案10秒後自動顯示!
返回頂部