sentential calculus

句子演算

學術名詞

  • 語句演算:數學
  • 句演算:資訊