2023备考全国自考离散数学02324（1）

2023备考#全国自考离散数学02324，加油(ง •̀_•́)ง，祝各位同学逢考必过

2023备考全国自考离散数学02324（1） 第1章命题与命题公式 1.命题的概念 2.命题联接词及其真值表： ①否定:P,﹁P.当P为假（真）时，﹁P为真（假）. ②合取：P︿Q，四种指派.当P.Q都为假时，P︿Q为假. ③析取：PvQ，四种指派.当P.Q都为真时，P︿Q为真. ④条件：P→Q，四种指派.当P为真、Q为假时，P→Q为假. ⑤双条件：P←→Q，四种指派. 3.命题公式类型 ①永真式（重言式） ②永假式（矛盾式） ③可满足式 注：重言式都是可满足式. ④非重言式的可满足式 注：矛盾式都不是可满足式. 其中﹁P，P︿Q，PvQ，P→Q，P←→Q都是可满足式；P︿﹁P是永假式，Pv﹁P是永真式.