列真值表判断公式 ┐(p→Q) ∧Q的类型

问题描述:

列真值表判断公式 ┐(p→Q) ∧Q的类型

.离散数学
这个不难啊
这样 P Q 非( P->Q) 非( P->Q) 且Q
T T F F
T F T F
F T F F
F F F F
所以是矛盾式(永假式)