Ask your own question, for FREE!
Mathematics 5 Online
OpenStudy (anonymous):

@jim_thompson5910 I definitely need your help on this one.

jimthompson5910 (jim_thompson5910):

what goes in the first two boxes (the left most boxes)?

OpenStudy (anonymous):

So far I'm thinking "F" for the 1st box and "T" for the 2nd box..

jimthompson5910 (jim_thompson5910):

correct

jimthompson5910 (jim_thompson5910):

those set up the truth values of P and Q

jimthompson5910 (jim_thompson5910):

P = false Q = true

jimthompson5910 (jim_thompson5910):

so ~P = ???

OpenStudy (anonymous):

notP , so not false, therefore, T

jimthompson5910 (jim_thompson5910):

so what is the truth value of ~P ^ Q

OpenStudy (anonymous):

T?

jimthompson5910 (jim_thompson5910):

yes since both ~P = true and Q = true

jimthompson5910 (jim_thompson5910):

how about ~P v Q

OpenStudy (anonymous):

not false or this is true: T

jimthompson5910 (jim_thompson5910):

So (~P ^ Q) = true (~P v Q) = true

jimthompson5910 (jim_thompson5910):

what is the truth value of (~P ^ Q) <--> (~P v Q)

OpenStudy (anonymous):

T as well :D

jimthompson5910 (jim_thompson5910):

correct

jimthompson5910 (jim_thompson5910):

that's all for part 1

OpenStudy (anonymous):

So it should look like this: F , T , T , T, T, T ?

jimthompson5910 (jim_thompson5910):

yes

OpenStudy (anonymous):

I want to say they are logically equivalent..

jimthompson5910 (jim_thompson5910):

why?

OpenStudy (anonymous):

Because we've proven what you stated earlier: (~P ^ Q) = true (~P v Q) = true

jimthompson5910 (jim_thompson5910):

but is (~P ^ Q) = (~P v Q) for EVERY possible truth combination for P and Q?

jimthompson5910 (jim_thompson5910):

that's what it means to be equivalent

OpenStudy (anonymous):

Unless they're asking if "^" and "v" are equivalent, which they are NOT

jimthompson5910 (jim_thompson5910):

that is true, but look at the table

jimthompson5910 (jim_thompson5910):

notice in the top row (~P ^ Q) = false (~P v Q) = true so (~P ^ Q) <--> (~P v Q) is false

OpenStudy (anonymous):

Aha! Yes, I see!

OpenStudy (anonymous):

^Ah, so this states why they are not logically equivalent, correct?

jimthompson5910 (jim_thompson5910):

yes this table helps you see quickly whether or not they are equivalent

OpenStudy (anonymous):

@jim_thompson5910 Could you delete your 2nd to last comment? I want to re-write it out.

jimthompson5910 (jim_thompson5910):

huh? what do you mean?

OpenStudy (anonymous):

Could you delete the comment that says "any point where" please?

OpenStudy (anonymous):

-So let me try to "re-explain" this , ahahah- thanks!

OpenStudy (anonymous):

(I sent it through the messaging feature on the website, I've made the explanation more formal, however I wanted to make sure I understood the general concept..)

jimthompson5910 (jim_thompson5910):

Yeah I sent you a message

OpenStudy (anonymous):

Thank you sooo soo much! :DD

jimthompson5910 (jim_thompson5910):

no problem

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!