运用谓词公式的等价关系式()可以实现蕴含符号的消去。
已帮助 人
运用谓词公式的等价关系式()可以实现蕴含符号的消去。
A.P→Q , ¬Q⇒¬P
B.P, P→Q⇒Q
C.P→Q ⇔¬P∨Q
D.P ↔ Q⇔(P∧Q)∨(¬P∧¬Q)

回答
共1条回复-
P →Q ⇔¬P∨Q
运用谓词公式的等价关系式()可以实现蕴含符号的消去。
A.P→Q , ¬Q⇒¬P
B.P, P→Q⇒Q
C.P→Q ⇔¬P∨Q
D.P ↔ Q⇔(P∧Q)∨(¬P∧¬Q)

P →Q ⇔¬P∨Q