“一个推理只有形式正确,才能得出可靠的结论,这个推理结论不可靠,所以这个推理形式不正确。”这个假言推理使用了( )
正确的否定后件式
错误的否定后件式
正确的否定前件式
错误的否定前件式
要“(﹁p()q)∧p├q”成为有效的推理形式,则应在括号内填入( )
∨
∧
→
←
“(p→r)∧(﹁q→r)∧(p∨﹁q)├r”这一推理式是二难推理的( )
简单构成式
简单破坏式
复杂构成式
复杂破坏式
下列推理形式中,有效式是()
(p∨q)→﹁r,p├﹁r
﹁(p∨﹁q)├p
(p→q)∧﹁p├﹁q
﹁p∨q∨r├r
若“p→q”真与“q”真,则( )
“p”真假不定
“p”真
“p”假
“┑p”假