2013年在職GCT邏輯重點模態命題

　　在職GCT邏輯重點之模態命題根據四種模態命題之間的邏輯關系(真假關系)，便可構成一系列簡單的模態命題的直接推理。

　�、�、根據模態命題矛盾關系的直接推理

　　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式，可舉例如下：正義必然戰勝邪惡，所以，并非正義可能不戰勝邪惡(即：正義不可能不戰勝邪惡)。

　　上述3式，可舉例如下：火星上可能沒有生物，所以，并非火星上必然有生物(即火星上不必然有生物)。

　�、颉⒏鶕�模態命題反對關系的直接推理

　　1.必然p，推出并非必然非p。例如：

　　蔑視辯證法是必然要受到懲罰的，所以，蔑視辯證法并非必然不受到懲罰的。

　　2.必然非p，推出并非必然p。例如：

　　侵略戰爭必然是非正義戰爭，所以，侵略戰爭并非必然是正義戰爭。

　�、�、根據模態命題下反對關系的直接推理

　　1.并非可能p，推出可能非p。例如：

　　某君不可能吸煙，所以，某君可能不吸煙。

　　2.并非可能非p，推出可能p。例如：

　　小王不可能不會游泳，所以，小王可能會游泳。