law of the excluded middle

  • 正體: 排中律[電子計算機]