原创力文档管理类联考逻辑-逻辑推理基础
一、基本逻辑连接词与推理规则
1.且（△/∧）：A△C表示A和C都为真。
已知A→B△C，可得：A→B，A→C
2.或（∨）：B∨C表示B和C至少有一个为真。
已知A→B∨C，可得：¬B→C；¬C→B
3.要么…要么…:A⊕B表示A和B中有且只有一个为真,等价于(A∨B)∧¬(A∧B)
4.如果…那么…（→）：A→B表示如果A为真，那么B为真。
逆否命题：¬B→¬A
A→B=¬B→¬
管理类联考逻辑-逻辑推理基础
一、基本逻辑连接词与推理规则
1.且（△/∧）：A△C表示A和C都为真。
已知A→B△C，可得：A→B，A→C
2.或（∨）：B∨C表示B和C至少有一个为真。
已知A→B∨C，可得：¬B→C；¬C→B
3.要么…要么…:A⊕B表示A和B中有且只有一个为真,等价于(A∨B)∧¬(A∧B)
4.如果…那么…（→）：A→B表示如果A为真，那么B为真。
逆否命题：¬B→¬A
A→B=¬B→¬
文档评论（0）