predicate logic

謂詞邏輯

學術名詞

  • 述詞邏輯：資訊