找考题网-背景图
问答题

设命题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同真时,甲不是木工,乙不是泥工。
热门试题