第二题列真值表太麻烦了,你可以自己试试,分别赋予p、q真值T或F,总共4种组合,如果每一组合下该命题形式均为真,那就是重言式.比如第1题,因为p为T、q为F时,p或q为T,p蕴含q为F,从而整个命题形式是T蕴含F,为假.所以不是重言式.
第三题都是有效推理,其实跟第二题没太大区别,主要难点在于形式化要正确,然后判断是否重言式.如果是重言式,就是有效推理.比如1,可表示为((P→非q)∧（非p→q）∧q)→非p.这是个重言式.
第二题列真值表太麻烦了,你可以自己试试,分别赋予p、q真值T或F,总共4种组合,如果每一组合下该命题形式均为真,那就是重言式.比如第1题,因为p为T、q为F时,p或q为T,p蕴含q为F,从而整个命题形式是T蕴含F,为假.所以不是重言式.
第三题都是有效推理,其实跟第二题没太大区别,主要难点在于形式化要正确,然后判断是否重言式.如果是重言式,就是有效推理.比如1,可表示为((P→非q)∧（非p→q）∧q)→非p.这是个重言式.