determine which, if any, of the 3 statements are equivalent. I. If the boat was leaking, then mary was not seated in the boat.
II. If the boat was leaking, then Mary was seated in the boat.
III. If Mary was not seated in the boat, then the boat was not leaking
Still Need Help?
Join the QuestionCove community and study together with friends!
Sign Up
OpenStudy (kinggeorge):
Like the last one, first we need to find what p and q are. In this case, let
p="The boat was leaking."
q="Mary was seated in the boat."
Can you write out the statements for I, II, and III now?
OpenStudy (anonymous):
I. p ---> ~q
OpenStudy (anonymous):
II. p ---> q
OpenStudy (anonymous):
III. ~q --> ~p
OpenStudy (kinggeorge):
That looks correct.
Still Need Help?
Join the QuestionCove community and study together with friends!
Sign Up
OpenStudy (kinggeorge):
So now write out the truth tables for each one, and compare them.
OpenStudy (anonymous):
I and III equivalent
OpenStudy (kinggeorge):
What did you get for I?
OpenStudy (anonymous):
FTTT
OpenStudy (kinggeorge):
That looks correct. Check what you got for III again.
Still Need Help?
Join the QuestionCove community and study together with friends!
Sign Up
Directrix (directrix):
I think that i. and iii. are logically equivalent because they are contrapositives of each other.
i. p --> ~q.
ii. p --> q
iii. ~(~q) --> ~p meaning q --> ~p
OpenStudy (anonymous):
III. FTTT
OpenStudy (anonymous):
F-->F = F?
OpenStudy (kinggeorge):
Are you using (q --> ~p) or (~q --> ~p) for III? For some reason, I'm not getting FTTT for III.
F -->F = T
OpenStudy (anonymous):
i'm using ~q-->~p
Still Need Help?
Join the QuestionCove community and study together with friends!
Sign Up
OpenStudy (anonymous):
ok.
OpenStudy (anonymous):
so my III is TTTT
OpenStudy (anonymous):
that's not right
OpenStudy (anonymous):
TFTT?
OpenStudy (kinggeorge):
I keep getting TFTT.
Yes. That looks correct.
Still Need Help?
Join the QuestionCove community and study together with friends!
Sign Up
OpenStudy (kinggeorge):
Is that also what you got for II?
OpenStudy (anonymous):
F-->F = T?
OpenStudy (kinggeorge):
Correct. It's a little weird, but that is true.
OpenStudy (anonymous):
ok. II, III equiv
OpenStudy (kinggeorge):
That's also what I'm getting.
Still Need Help?
Join the QuestionCove community and study together with friends!
Sign Up
OpenStudy (anonymous):
cool thanks
OpenStudy (kinggeorge):
You're welcome. I've got to go now, so good luck with the rest of your problems.