选言命题推理规则公式
p 或 q（否定/肯定式）“或”为真，就是先否定。 p 或 q=如果非 p 则 q=如果非 q 则 p。 （1）p 或 q =非 p 推出 q（非 P→q）=转换为如果非 P 则 q，非 q 推出 p（非 q→p） （2）非 p 或非 q=p 推出非 q（p→非 q）=q 推出非 p（q→非 p） 例如：不成功或不节俭，非 p 推出 q，等于成功且不节俭。 （3）或 p 或 q 或 r，要推出 r，需要增加非 p 和非 q 两个条件。=如果非 p 则 q 或 r=如果非 p 且非 q，则 r。...