【简答题】用等值演算法证明下式为矛盾式 ( ¬ p ∨ q ) ∧ ( q → r ) ∧ ( p ∧ ¬ r )
【简答题】纯棉劳动布(经纱藏蓝色,纬纱浅灰色;织物重为210g/平方米;幅宽110cm)
【简答题】纯棉劳动布(经纱藏蓝色,纬纱浅灰色;织物重为210g/m 2 ;幅宽110cm)
【单选题】用等值演算法判断¬((p∨q)∧¬p→q)公式类型为:
【简答题】纯棉劳动布(经纱藏蓝色,纬纱浅灰色;织物重为210g/m2;幅宽110cm)( )
【简答题】纯棉劳动布(经纱藏蓝色,纬纱浅灰色,织物重210克/平方米,幅度110厘米)
【简答题】用等值演算法证明下列等值式 (1) (p∧q)∨(p∧¬q)〈═〉p (2)p→(q∧r)〈═〉(p→q)∧(p→r) (3)¬(p↔q)〈═〉(p∨q)∧¬(p∧q) 2、用等值演算法判断下列公式的类型 (1)¬(( p∧q)→p) (2)((p→q)∧(q→p))↔(p↔q) (3)(¬p→q)→(q→¬p)