(1.4)下列公式()与命题公式A→(B→A)等价。
A: A→(¬B∨A)
B: ¬A→(A→¬B)
C: ¬A∨(¬B∨A)
D: (B∧A)→A
A: A→(¬B∨A)
B: ¬A→(A→¬B)
C: ¬A∨(¬B∨A)
D: (B∧A)→A
举一反三
- 与命题公式A→B等价的公式有()。 A: ¬A∨B B: ¬B→¬A C: ¬(A∧¬B) D: (¬A∨B)∧(¬A∨A)
- 下列公式()与命题公式A→(B→A)逻辑等价。 A: A→(¬B∨A) B: ¬A→(A→¬B) C: ¬A∨(¬B∨A) D: (B∧A)→A
- 下列公式()与命题公式A→(B→A)等值。 A: A→(¬B∨A) B: ¬A→(A→¬B) C: ¬A∨(¬B∨A) D: (B∧A)→A
- 将语句“如果明天不下雨,我们就去郊游.”翻译成命题公式 A: ¬¬P∧Q B: ¬P∧¬Q C: ¬P→Q D: ¬P→¬Q
- 将语句“今天没有下雨.”翻译成命题公式 A: ¬P B: ¬¬P C: P∧Q D: ¬P∧Q