述語論理

述語論理 漢字 Kanji:

述語論理

述語論理 仮名 Kana:

じゅつごろんり

述語論理 英語 English 意味:

  • (n) predicate logic
  • predicate calculus