海词手机词典
  • 命题演算的一种表述