The law of bivalence is compatible with classical logic , but not intuitionistic logic , linear logic , or multi-valued logic . The laws. For any proposition P, ...
確定! 回上一頁