设P:荔枝很甜,Q:我买荔枝,将命题“这荔枝虽甜,但我不买。”符号化为( )
A: P→Q
B: P∧┐Q
C: P∨┐Q
D: P↔┐Q
A: P→Q
B: P∧┐Q
C: P∨┐Q
D: P↔┐Q
举一反三
- 设P:荔枝很甜,Q:我买荔枝,将命题“这荔枝虽甜,但我不买。”符号化为
- 设命题p:你去,q:我去,则命题“不管你去不去,我去”可符号化为 A: p→q B: p∨q C: (p→q)∧(¬p→q) D: p∧q
- 设P:我将去市里,Q:我有时间.命题“我将去市里,仅当我有时间”符号化为 A: Q®P B: P®Q C: P«Q D: ØPÚQ
- 设P:我将去镇上,Q:我有时间。命题“我将去镇上,仅当我有时间时”符号化为 A: P®Q B: Q®P C: P «Q D: ØQÚØP
- 将命题: “仅当你走,我将留下”P:你走。Q:我留下。符号化的结果是( ) A: P∧Q B: P→Q C: P∨Q D: Q→P