常用邏輯用語知識梳理
常用邏輯用語知識梳理
邏輯就是思維的規(guī)律，邏輯學(xué)就是關(guān)于思維規(guī)律的學(xué)說。以下是由學(xué)習(xí)啦小編整理關(guān)于常用邏輯用語知識梳理的內(nèi)容，提供給大家參考和了解，希望大家喜歡!
常用邏輯用語知識梳理
1、四種命題：
?、旁}：若p則q;⑵逆命題：若q則p;⑶否命題：若 p則 q;⑷逆否命題：若 q則 p
注：1、原命題與逆否命題等價;逆命題與否命題等價。判斷命題真假時注意轉(zhuǎn)化。
2、注意命題的否定與否命題的區(qū)別：命題否定形式是 ;否命題是 .命題“ 或 ”的否定是“ 且 ”;“ 且 ”的否定是“ 或 ”.
3、邏輯聯(lián)結(jié)詞：
?、徘?and) ：命題形式 p q; p q p q p q p
?、苹?or)：命題形式 p q; 真 真 真 真 假
⑶非(not)：命題形式 p . 真 假 假 真 假
假 真 假 真 真
假 假 假 假 真
“或命題”的真假特點(diǎn)是“一真即真，要假全假”;
“且命題”的真假特點(diǎn)是“一假即假，要真全真”;
“非命題”的真假特點(diǎn)是“一真一假”
4、充要條件
由條件可推出結(jié)論，條件是結(jié)論成立的充分條件;由結(jié)論可推出條件，則條件是結(jié)論成立的必要條件。
5、全稱命題與特稱命題：
短語“所有”在陳述中表示所述事物的全體，邏輯中通常叫做全稱量詞，并用符號表示。含有全體量詞的命題，叫做全稱命題。
短語“有一個”或“有些”或“至少有一個”在陳述中表示所述事物的個體或部分，邏輯中通常叫做存在量詞，并用符號 表示，含有存在量詞的命題，叫做存在性命題。
全稱命題p： ; 全稱命題p的否定 p：。
特稱命題p： ; 特稱命題p的否定 p：
看過“常用邏輯用語知識梳理“的人還看了：