離散數學之數理邏輯——第1章 命題邏輯基本概念

1.1 命題與聯結詞 命題與真值 可以判斷真假的陳述句稱爲命題。作爲命題的陳述句所表達的判斷結果稱爲命題的真值。真值爲真的命題稱爲真命題；真值爲假的命題稱爲假命題。任何命題的真值都是唯一的。 判斷給定句子是否爲命題，應該分兩步：首先判定它是否爲陳述句，其次判斷它是否有唯一真值。 eg: 我正在說假話。 （悖論） 3. 悖論：由真能推出假，由假能推出真，從而既不能爲真又不能爲假的陳述句稱爲悖論。 不

>>阅读原文<<