離散數學-1 命題邏輯的基本概念

定義1.1 設 p爲命題，複合命題"非p"(或"p的否定")稱爲p的否定式，記作Øp，符號Ø稱作否定聯結詞. 規定Øp 爲真當且僅當p爲假. 定義1.2 設p,q爲兩個命題，複合命題"p並且q"(或"p與 q")稱爲p與q的合取式，記作p∧q，∧稱作合取聯結詞. 規定p∧q爲真當且僅當p與q同時爲真. 定義1.3 設p, q爲兩個命題，複合命題"p或q"稱作p與q的析取式，記作p∨q，∨稱作析取聯

>>阅读原文<<