- #1

SmokeyMTNJim

- 18

- 0

<< Mentor Note -- Moved from the technical math forums, so no HH Template is shown >>

I am currently working through a Finite math book

~(p|q) earlier I am told that let p|q express that "p and q are not both true". Earlier I worked out that the symbolic form of this statement (p|q) to be ~(p/\~q).

my work on constructing a truth table for ~(p|q)

p|q ~ ~ (p /\ ~ q)

t t F T t f f t

t f T F t t t f

f t F T f f f t

f f F T f f t f

From here I thought I was to answer the ~ closest to (p, by countering what was under /\, giving me T F T T and then further negating that, ending with F T F F. This is wrong according to the book. as this truth table should end with T F F F.

2 questions: Is my symbolic form of ~(p|q) wrong and therefore my answer wrong, and/or, did I work something out wrong giving me the wrong answer. I think I probably made the symbolic version wrong but am not sure of how to go about this.

I am currently working through a Finite math book

*Intro to finite math: second Edition Kemeny, Snell, and Thompson.*One of the exercises wants me to construct a truth table for the following:~(p|q) earlier I am told that let p|q express that "p and q are not both true". Earlier I worked out that the symbolic form of this statement (p|q) to be ~(p/\~q).

my work on constructing a truth table for ~(p|q)

p|q ~ ~ (p /\ ~ q)

t t F T t f f t

t f T F t t t f

f t F T f f f t

f f F T f f t f

From here I thought I was to answer the ~ closest to (p, by countering what was under /\, giving me T F T T and then further negating that, ending with F T F F. This is wrong according to the book. as this truth table should end with T F F F.

2 questions: Is my symbolic form of ~(p|q) wrong and therefore my answer wrong, and/or, did I work something out wrong giving me the wrong answer. I think I probably made the symbolic version wrong but am not sure of how to go about this.

Last edited by a moderator: