用真值表验证┐p^q→┐q是否是有效式。

用真值表验证┐p^q→┐q是否是有效式。

由上表可知:┐p^q→┐q不是有效式。

Top