问答题
设命题A为“如果甲不是木工,则乙是泥工”;命题B为“只有乙是泥工,甲才是木工”;命题C与A相矛盾。现要求用p代表“甲是木工”,q代表“乙是泥工”,列出A、B、C三个命题形式的真值表,并回答当B、C同真时,甲是否为木工,乙是否为泥工
【参考答案】
A:¬p→q;B:q←p;C:¬p∧¬q
p |
q |
¬p |
¬q |
¬p→q(A) |
q←p(B) |
¬p∧¬q(C) |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
1 |
1 |
由真值表可知,当B、C同真时,甲不是木工,乙不是泥工。