命题形式化.
p：π是无理数.
q：2π是无理数.
原命题化为(p->q)∧q.
它的真值表：
p q (p->q)∧q
0 0 0
0 1 1
1 0 0
1 1 1
有两种情况命题值为0,所以这不是有效推理.
求教逻辑学问题.如果π是无理数,那么2π也是无理数；2π是无理数.所以,π是无理数.如何判断上述推理是否有效?构造一个相
命题形式化.
p：π是无理数.
q：2π是无理数.
原命题化为(p->q)∧q.
它的真值表：
p q (p->q)∧q
0 0 0
0 1 1
1 0 0
1 1 1
有两种情况命题值为0,所以这不是有效推理.