$如果A\Rightarrow B成立,那么以下各种蕴含关系哪一个成立？() $
A: $B \Rightarrow A $
B: $\neg A \Rightarrow \neg B $
C: $\neg B \Rightarrow A $
D: $\neg B \Rightarrow \neg A $
A: $B \Rightarrow A $
B: $\neg A \Rightarrow \neg B $
C: $\neg B \Rightarrow A $
D: $\neg B \Rightarrow \neg A $
举一反三
- $1、设：P：他去游泳。Q：他休假。则命题“如果他休假，他就去游泳。”<br/>可符号化为(). $ A: $ P\rightarrow Q $ B: $ Q \rightarrow P$ C: $\neg P \vee Q $ D: $ \neg Q \rightarrow \neg P $
- $设：P：他去游泳。Q：天气好。则命题“只要天气好，他就去游泳。”<br/>可符号化为(). $ A: $ P\rightarrow Q $ B: $ Q \rightarrow P$ C: $\neg P \vee Q $ D: $ \neg Q \rightarrow \neg P $
- $下列公式( )为重言式 $ A: $P \wedge Q \leftrightarrow \neg P \vee Q $ B: $(B \rightarrow(A \vee B)) \leftrightarrow(\neg A \wedge(A \vee B)) $ C: $P \vee Q \leftrightarrow \neg P \wedge \neg Q $ D: $A \wedge \neg B \leftrightarrow A \vee B $
- $下列给出的一阶逻辑等价式中,()是错误的 $ A: $ \exists x(A(x) \vee B(x)) \Leftrightarrow \exists x A(x) \vee \exists x B(x) $ B: $ \forall x(A(x) \vee B(x)) \Leftrightarrow \forall x A(x) \vee \forall x B(x) $ C: $ \neg \forall x A(x) \Leftrightarrow \exists x(\neg A(x)) $ D: $A \rightarrow \forall x B(x) \Leftrightarrow \forall x(A \rightarrow B(x)) $
- $命题公式(p \wedge q) \rightarrow \neg p的成真赋值为? $ A: $p=0,q=0 $ B: $p=0,q=1 $ C: $p=1,q=0 $ D: $p=1,q=1 $