邏輯基本知識—模態(tài)命題及其推理

字號:

在邏輯中,“必然”、“可能”、“不可能”等叫做“模態(tài)詞”,包含模態(tài)詞的命題叫做“模態(tài)命題”。
     “必然p”、“不可能p”(必然非p)、“可能p”和“可能非p”之間的真假關(guān)系,類似于直言命題A、E、I、O之間的真假關(guān)系。
    根據(jù)四種模態(tài)命題之間的邏輯關(guān)系(真假關(guān)系),便可構(gòu)成一系列簡單的模態(tài)命題的直接推理。
    Ⅰ、根據(jù)模態(tài)命題矛盾關(guān)系的直接推理
    1.必然p,推出并非可能非p;
    2.并非必然p,推出可能非p;
    3.可能非p,推出并非必然p;
    4.并非可能非p,推出必然p;
    5.必然非p,推出并非可能p;
    6.并非必然非p,推出可能p;
    7.可能p,推出并非必然非p;
    8.并非可能p,推出必然非p;
    上述1式,可舉例如下:正義必然戰(zhàn)勝邪惡,所以,并非正義可能不能戰(zhàn)勝邪惡(即:正義不可能不能戰(zhàn)勝邪惡)。
    上述3式,可舉例如下:火星上可能沒有生物,所以,并非火星上必然有生物(即火星上不必然有生物)。
    Ⅱ、根據(jù)模態(tài)命題反對關(guān)系的直接推理
    1.必然p,推出并非必然非p。例如:
    蔑視辯證法是必然要受到懲罰的,所以,蔑視辯證法并非必然不受到懲罰的。
    2.必然非p,推出并非必然p。例如:
    侵略戰(zhàn)爭必然是非正義戰(zhàn)爭,所以,侵略戰(zhàn)爭并非必然是正義戰(zhàn)爭。
    Ⅲ、根據(jù)模態(tài)命題下反對關(guān)系的直接推理
    1.并非可能p,推出可能非p。例如:
    某君不可能吸煙,所以,某君可能不吸煙。
    2.并非可能非p,推出可能p。例如:
    小王不可能不會游泳,所以,小王可能會游泳。
    Ⅳ、根據(jù)模態(tài)命題差等關(guān)系的直接推理
    1.必然p,推出可能p;例如:甲隊(duì)必然得冠軍,所以,甲隊(duì)可能得冠軍。
    2.并非可能p,推出并非必然p;例如乙隊(duì)不可能得冠軍,所以,乙隊(duì)不必然得冠軍。
    3.必然非p,推出可能非p;
    4.并非可能非p,推出并非必然非p。
    ■最近一段時(shí)期,有關(guān)要發(fā)生地震的傳言很多。一天傍晚,小明問在院里乘涼的爺爺:“爺爺,他們都說明天要地震了?!睜敔斦f:“根據(jù)我的觀察,明天不必然地震”。小明說,“那您的意思是明天肯定不會地震了。”爺爺說不對。小明陷入了迷惑。
    以下哪句話與爺爺?shù)囊馑甲顬榻咏?BR>    A 明天必然不地震。
    B明天可能地震。
    C 明天可能不地震。
    D明天不可能地震。
     [解題分析] 正確答案:C
    根據(jù)模態(tài)命題對當(dāng)關(guān)系,不必然p等價(jià)于可能非p。