命题形式化.
p：π是无理数.
q：2π是无理数.
原命题化为(p->q)∧q.
它的真值表：
pq(p->q)∧q
000
011
100
111
有两种情况命题值为0,所以这不是有效推理.教材答案是无效推理。我刚开始学习，觉得教材课后练习题超前了。看了一天的书，似乎有点明白了。