Got Homework?
Connect with other students for help. It's a free community.
Here's the question you clicked on:
 0 viewing
please tell me if this is correct:
“All mathematicians must be good logicians and all good logicians must justify their claims.”
 one year ago
 one year ago
please tell me if this is correct: “All mathematicians must be good logicians and all good logicians must justify their claims.”
 one year ago
 one year ago

This Question is Closed

princesspixieBest ResponseYou've already chosen the best response.0
a) Write this statement symbolically as a conjunction of two conditional statements. Use three components (p, q, and r) and explicitly state what these are in your work. Remember: a component in logic is a simple declarative sentence that is either true or false. For example, "You are a student in MAT 101" would be a component statement. Note how this sentence contains no logical connectives like "not", "or", "and", etc. b) Write the negation of this statement symbolically. Explain your reasoning here. c) Now use part b) to write the negation of this statement verbally. A p means 'person is mathematician' q means 'person is good logician' and r means 'justifies their claims' (p⟹q)∧(q⟹r) B (~p⟹~q)∧(~q⟹~r) You put the ~ mark because that negates the statement. C  If a person is not a mathematician then the person is not a good logician or they do not justify their claims
 one year ago

princesspixieBest ResponseYou've already chosen the best response.0
The Boxes are arrows
 one year ago

satellite73Best ResponseYou've already chosen the best response.1
p: a person is a good mathematician q: a person is a good logician \(p\implies q\) : if a person is a good mathematician, then a person is a good logician rather tortured english, would probably say if a person is a good mathematician then he or she is also a good logician
 one year ago

princesspixieBest ResponseYou've already chosen the best response.0
what would the r statement be?
 one year ago

satellite73Best ResponseYou've already chosen the best response.1
\(q\implies r\) : if a person is a good logician, then they justify their claims
 one year ago

princesspixieBest ResponseYou've already chosen the best response.0
would i say r: person justifies their claims
 one year ago

satellite73Best ResponseYou've already chosen the best response.1
\[(p\implies q)\land (q\implies r)\] take those two statements and stick the word "and" between them
 one year ago

princesspixieBest ResponseYou've already chosen the best response.0
what do you mean those two statements and stick an and?
 one year ago

princesspixieBest ResponseYou've already chosen the best response.0
^ is the symbol for and?
 one year ago

princesspixieBest ResponseYou've already chosen the best response.0
ok is the negation correct?
 one year ago

satellite73Best ResponseYou've already chosen the best response.1
if a person is a good logician, then they justify their claims and if a person is a good logician, then they justify their claims
 one year ago

princesspixieBest ResponseYou've already chosen the best response.0
thats the negation ?
 one year ago

satellite73Best ResponseYou've already chosen the best response.1
no that is \[(p\implies q)\land (q\implies r)\]
 one year ago

princesspixieBest ResponseYou've already chosen the best response.0
ok would I see.. would I put a ~ before the q and the r to negate it ?
 one year ago

princesspixieBest ResponseYou've already chosen the best response.0
or infront of all the letters?
 one year ago

satellite73Best ResponseYou've already chosen the best response.1
no you have to put \(\lnot\) in front of the whole thing
 one year ago

princesspixieBest ResponseYou've already chosen the best response.0
what is the explanation for that ?
 one year ago

satellite73Best ResponseYou've already chosen the best response.1
\[\lnot\left((p\implies q)\land (q\implies r)\right)\] then you should rewrite without the \(\implies \) and use demorgan laws
 one year ago

princesspixieBest ResponseYou've already chosen the best response.0
I dont understand..
 one year ago

satellite73Best ResponseYou've already chosen the best response.1
it will take a while do you know that \(p\implies q\equiv \lnot p\lor q\)?
 one year ago

satellite73Best ResponseYou've already chosen the best response.1
to negate a statement you put a big \(\lnot\) in front of the whole thing, you do not negate each piece separately
 one year ago

princesspixieBest ResponseYou've already chosen the best response.0
ok how do I explain the reasoning for it?
 one year ago

satellite73Best ResponseYou've already chosen the best response.1
you have some statement "blah blah blah" the the negation is "it is not true that blah blah blah"
 one year ago

satellite73Best ResponseYou've already chosen the best response.1
if you want to negate it you have to rewrite it as \[(\lnot p \lor q)\land (\lnot q\lor r)\] then negate it as \[\lnot \left((\lnot p \lor q)\land (\lnot q\lor r)\right)\]
 one year ago

princesspixieBest ResponseYou've already chosen the best response.0
so both should be included in the answer?
 one year ago

satellite73Best ResponseYou've already chosen the best response.1
yes but we have more work to do
 one year ago

princesspixieBest ResponseYou've already chosen the best response.0
Im still not sure how I should explain the answer ..
 one year ago

satellite73Best ResponseYou've already chosen the best response.1
unless you are unfamiliar with these laws. perhaps you are supposed to do something else
 one year ago

satellite73Best ResponseYou've already chosen the best response.1
your original statement All mathematicians must be good logicians and all good logicians must justify their claims is correct
 one year ago

princesspixieBest ResponseYou've already chosen the best response.0
ive never seen that little hook thing, but i see that in the textbook it says converse inverse and contrapostive .. not sure if that helps
 one year ago

satellite73Best ResponseYou've already chosen the best response.1
actually i would get rid of the word "must"
 one year ago

satellite73Best ResponseYou've already chosen the best response.1
"all mathematicians are good logicians and all good logicians justify their claims" perhaps is better
 one year ago

princesspixieBest ResponseYou've already chosen the best response.0
thats why i thought this symbol would be in the equation ~
 one year ago

satellite73Best ResponseYou've already chosen the best response.1
\(\lnot\) is the same as ~
 one year ago

princesspixieBest ResponseYou've already chosen the best response.0
ok so should i use the ~ if that what the text book uses?
 one year ago

princesspixieBest ResponseYou've already chosen the best response.0
ok .. how should i explain that in simple terms?
 one year ago

princesspixieBest ResponseYou've already chosen the best response.0
is this good... The symbol ~ means not. Therefore, if a person is not a good mathematician then the person is not a good logician, and the person cannot justify their claims.
 one year ago

satellite73Best ResponseYou've already chosen the best response.1
i would think perhaps the negation, without using the symbols, would be not all mathematicians are good logicians or not all logicians justify their claims
 one year ago

princesspixieBest ResponseYou've already chosen the best response.0
ok so i should use that instead of if a person is not a good... ?
 one year ago

satellite73Best ResponseYou've already chosen the best response.1
if a person is a good mathematician, then they are a good logician the statement if a person is not a good mathematician then the person is not a good logician is not the negation, it is the "inverse"
 one year ago

princesspixieBest ResponseYou've already chosen the best response.0
so would that be a good explanation?
 one year ago

satellite73Best ResponseYou've already chosen the best response.1
then negation of "if a person is a good mathematician, then they are a good logician" is there is some mathematician who is not a good logician
 one year ago

princesspixieBest ResponseYou've already chosen the best response.0
thats the answer for C?
 one year ago

satellite73Best ResponseYou've already chosen the best response.1
i forget what C is
 one year ago

princesspixieBest ResponseYou've already chosen the best response.0
c) Now use part b) to write the negation of this statement verbally.
 one year ago

satellite73Best ResponseYou've already chosen the best response.1
the negation of the whole thing would read something like "there is a good mathematician who is not a good logician, or there is a good logician who does not justify their claims
 one year ago

satellite73Best ResponseYou've already chosen the best response.1
the negation of the "and" statement is one or the other is false
 one year ago

satellite73Best ResponseYou've already chosen the best response.1
really to do this symbolically takes a while
 one year ago

satellite73Best ResponseYou've already chosen the best response.1
\[\lnot \left((\lnot p \lor q)\land (\lnot q\lor r)\right)\] \[\lnot(\lnot p\lor q)\lor \lnot(\lnot q \lor r)\] \[(p\land \lnot q)\lor (q\land \lnot r)\]
 one year ago

satellite73Best ResponseYou've already chosen the best response.1
the last statement says there is a good mathematician who is not a good logician or there is a good logician who does not justify their claims
 one year ago

princesspixieBest ResponseYou've already chosen the best response.0
oh i see ok thanks!!
 one year ago

satellite73Best ResponseYou've already chosen the best response.1
yw good luck with this
 one year ago

princesspixieBest ResponseYou've already chosen the best response.0
thanks so much for all your help!!
 one year ago
See more questions >>>
Your question is ready. Sign up for free to start getting answers.
spraguer
(Moderator)
5
→ View Detailed Profile
is replying to Can someone tell me what button the professor is hitting...
23
 Teamwork 19 Teammate
 Problem Solving 19 Hero
 Engagement 19 Mad Hatter
 You have blocked this person.
 ✔ You're a fan Checking fan status...
Thanks for being so helpful in mathematics. If you are getting quality help, make sure you spread the word about OpenStudy.