判断“天若有情天亦老”的逻辑形式是（ ）
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具有矛盾关系的是（ ）。 A: ﹁p∧q B: ﹁p∧﹁q C: ﹁p∨q D: ﹁p∨﹁q E: p∧q
- 刻画“p，除非q”的逻辑形式为（ ） A: q®p B: Øq®p C: p®q D: p®Øq
- (p → q) ∧ (¬p → q) 的逻辑等价形式有 A: F→ q B: T→ q C: q D: (¬p ∧ q) ∨ (p ∧ q) ∨q E: (¬p ∧ q) ∨q
- 以下逻辑公式中，（）是(~p∨~q)Þ(pÛ~q)的主析取范式。 A: (p∧q)∨(p∧~q)∨(~p∧q) B: p∨q C: (p∧q)∨(p∧~q) D: (p∧~q)∨(~p∧q)
- 以下逻辑表达式的值恒为真的是（ ） A: P∨（┓P∧Q）∨(┓P∧┓Q) B: Q∨（┓P∧Q）∨（P∧┓Q） C: P∨Q∨（P∧┓Q）∨（┓P∧Q） D: P∨┓Q∨（P∧┓Q）∨(┓P∧┓Q)