@jim_thompson5910 I definitely need your help on this one.
Still Need Help?
Join the QuestionCove community and study together with friends!
Sign Up
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
Still Need Help?
Join the QuestionCove community and study together with friends!
Sign Up
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
Still Need Help?
Join the QuestionCove community and study together with friends!
Sign Up
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
Still Need Help?
Join the QuestionCove community and study together with friends!
Sign Up
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..
Still Need Help?
Join the QuestionCove community and study together with friends!
Sign Up
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
Still Need Help?
Join the QuestionCove community and study together with friends!
Sign Up
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
Still Need Help?
Join the QuestionCove community and study together with friends!
Sign Up
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..)
Still Need Help?
Join the QuestionCove community and study together with friends!