What would be the negation of these statements?












0












$begingroup$


What would be the negation of



"No dogs have three legs".



I think "Some dogs do not have three legs"



"Some animals don't eat meat"



I think "All animals eat meat"



"I make the bread, or she does not make the bread"



I think "I do not make the bread, and she does make the bread"



Am i right here?






logic







share|cite|improve this question











$endgroup$












  • $begingroup$
    Note that "No dog has three legs" and "One dog has four legs more than no dog" does not imply "One dog has seven legs" :)
    $endgroup$
    – Hagen von Eitzen
    Jul 18 '13 at 16:04
















0












$begingroup$


What would be the negation of



"No dogs have three legs".



I think "Some dogs do not have three legs"



"Some animals don't eat meat"



I think "All animals eat meat"



"I make the bread, or she does not make the bread"



I think "I do not make the bread, and she does make the bread"



Am i right here?






logic







share|cite|improve this question











$endgroup$












  • $begingroup$
    Note that "No dog has three legs" and "One dog has four legs more than no dog" does not imply "One dog has seven legs" :)
    $endgroup$
    – Hagen von Eitzen
    Jul 18 '13 at 16:04














0












0








0





$begingroup$


What would be the negation of



"No dogs have three legs".



I think "Some dogs do not have three legs"



"Some animals don't eat meat"



I think "All animals eat meat"



"I make the bread, or she does not make the bread"



I think "I do not make the bread, and she does make the bread"



Am i right here?






logic







share|cite|improve this question











$endgroup$




What would be the negation of



"No dogs have three legs".



I think "Some dogs do not have three legs"



"Some animals don't eat meat"



I think "All animals eat meat"



"I make the bread, or she does not make the bread"



I think "I do not make the bread, and she does make the bread"



Am i right here?






logic




logic






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jul 18 '13 at 16:08







MethodManX

















asked Jul 18 '13 at 16:01









MethodManXMethodManX

594112135




594112135












  • $begingroup$
    Note that "No dog has three legs" and "One dog has four legs more than no dog" does not imply "One dog has seven legs" :)
    $endgroup$
    – Hagen von Eitzen
    Jul 18 '13 at 16:04


















  • $begingroup$
    Note that "No dog has three legs" and "One dog has four legs more than no dog" does not imply "One dog has seven legs" :)
    $endgroup$
    – Hagen von Eitzen
    Jul 18 '13 at 16:04
















$begingroup$
Note that "No dog has three legs" and "One dog has four legs more than no dog" does not imply "One dog has seven legs" :)
$endgroup$
– Hagen von Eitzen
Jul 18 '13 at 16:04




$begingroup$
Note that "No dog has three legs" and "One dog has four legs more than no dog" does not imply "One dog has seven legs" :)
$endgroup$
– Hagen von Eitzen
Jul 18 '13 at 16:04










3 Answers
3






active

oldest

votes


















3












$begingroup$

The negation of the first statement would be "Some dogs have three legs." You are correct on the second and the third.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Thank you i just realized that
    $endgroup$
    – MethodManX
    Jul 18 '13 at 16:03










  • $begingroup$
    My friend can you check my last question please
    $endgroup$
    – MethodManX
    Jul 18 '13 at 16:08










  • $begingroup$
    Yes, your last one is correct.
    $endgroup$
    – Adrian Keister
    Jul 18 '13 at 16:11



















3












$begingroup$

Tip: a good way to start when negating any proposition $P$ is to assert $lnot P$, i.e., if we have a sentence "P", we can negate it simply by writing "It is not the case that P". Then, if we want to "translate" further from loglish to more customary natural language, we can do so if we choose. I personally find it helpful to translate the initial statement into logic. Then I negate it, perhaps distribute the negation, and "read off" the result back in natural language. I do that simply because negating natural language can be easily side-tracked or awkward to directly negate.



You did fine, overall, except for the first assertion:



(1) We start with the assertion $P$: No dogs have three legs.




  • Then we negate it by stating $lnot P:$ It is NOT the case that (No dogs have three legs).

  • If we translate further, we see that $lnot P$ can be expressed as "There exists one or more dogs with three legs": I.e., "Some dogs have three legs".


If we were to translate the initial statement to "logic" first, with the domain being "dogs": and $T(x)$ meaning $x$ has three legs, then the initial first statement can be espressed as $P: forall x lnot T(x)$



The negation would be $lnot P$: $$lnot [forall x lnot T(x)] iff exists x(lnot lnot T(x)) iff exists x T(x)$$ $$;;text{Negated sentence: Some dogs have three legs}$$




$(2)$ Your second negation is just fine.



$(3)$ Yes, you used DeMorgan's correctly, and your translation is correct.



P: I make the bread;
Q: she makes the bread



Given $P lor lnot Q$, its negation is $lnot (Plor lnot Q) equiv lnot P land Q$, which gives us "I don't make the bread and she makes the bread."






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Thanks, @Amzoti! Appreciated!
    $endgroup$
    – Namaste
    Jul 19 '13 at 0:52



















2












$begingroup$

For a sanity check, try to imagine someone saying these sentences in conversation. What would you have to do to prove that they are lying?



For "no dogs have three legs", you would just have to prove the existence of a dog with three legs (hopefully you can find such a dog, rather than having to produce your own example...)






share|cite|improve this answer









$endgroup$









  • 1




    $begingroup$
    Sanity check for a police inspector?
    $endgroup$
    – Ilya
    Jul 18 '13 at 16:09











Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f446675%2fwhat-would-be-the-negation-of-these-statements%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























3 Answers
3






active

oldest

votes








3 Answers
3






active

oldest

votes









active

oldest

votes






active

oldest

votes









3












$begingroup$

The negation of the first statement would be "Some dogs have three legs." You are correct on the second and the third.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Thank you i just realized that
    $endgroup$
    – MethodManX
    Jul 18 '13 at 16:03










  • $begingroup$
    My friend can you check my last question please
    $endgroup$
    – MethodManX
    Jul 18 '13 at 16:08










  • $begingroup$
    Yes, your last one is correct.
    $endgroup$
    – Adrian Keister
    Jul 18 '13 at 16:11
















3












$begingroup$

The negation of the first statement would be "Some dogs have three legs." You are correct on the second and the third.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Thank you i just realized that
    $endgroup$
    – MethodManX
    Jul 18 '13 at 16:03










  • $begingroup$
    My friend can you check my last question please
    $endgroup$
    – MethodManX
    Jul 18 '13 at 16:08










  • $begingroup$
    Yes, your last one is correct.
    $endgroup$
    – Adrian Keister
    Jul 18 '13 at 16:11














3












3








3





$begingroup$

The negation of the first statement would be "Some dogs have three legs." You are correct on the second and the third.






share|cite|improve this answer











$endgroup$



The negation of the first statement would be "Some dogs have three legs." You are correct on the second and the third.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Jul 18 '13 at 16:12

























answered Jul 18 '13 at 16:02









Adrian KeisterAdrian Keister

5,27371933




5,27371933












  • $begingroup$
    Thank you i just realized that
    $endgroup$
    – MethodManX
    Jul 18 '13 at 16:03










  • $begingroup$
    My friend can you check my last question please
    $endgroup$
    – MethodManX
    Jul 18 '13 at 16:08










  • $begingroup$
    Yes, your last one is correct.
    $endgroup$
    – Adrian Keister
    Jul 18 '13 at 16:11


















  • $begingroup$
    Thank you i just realized that
    $endgroup$
    – MethodManX
    Jul 18 '13 at 16:03










  • $begingroup$
    My friend can you check my last question please
    $endgroup$
    – MethodManX
    Jul 18 '13 at 16:08










  • $begingroup$
    Yes, your last one is correct.
    $endgroup$
    – Adrian Keister
    Jul 18 '13 at 16:11
















$begingroup$
Thank you i just realized that
$endgroup$
– MethodManX
Jul 18 '13 at 16:03




$begingroup$
Thank you i just realized that
$endgroup$
– MethodManX
Jul 18 '13 at 16:03












$begingroup$
My friend can you check my last question please
$endgroup$
– MethodManX
Jul 18 '13 at 16:08




$begingroup$
My friend can you check my last question please
$endgroup$
– MethodManX
Jul 18 '13 at 16:08












$begingroup$
Yes, your last one is correct.
$endgroup$
– Adrian Keister
Jul 18 '13 at 16:11




$begingroup$
Yes, your last one is correct.
$endgroup$
– Adrian Keister
Jul 18 '13 at 16:11











3












$begingroup$

Tip: a good way to start when negating any proposition $P$ is to assert $lnot P$, i.e., if we have a sentence "P", we can negate it simply by writing "It is not the case that P". Then, if we want to "translate" further from loglish to more customary natural language, we can do so if we choose. I personally find it helpful to translate the initial statement into logic. Then I negate it, perhaps distribute the negation, and "read off" the result back in natural language. I do that simply because negating natural language can be easily side-tracked or awkward to directly negate.



You did fine, overall, except for the first assertion:



(1) We start with the assertion $P$: No dogs have three legs.




  • Then we negate it by stating $lnot P:$ It is NOT the case that (No dogs have three legs).

  • If we translate further, we see that $lnot P$ can be expressed as "There exists one or more dogs with three legs": I.e., "Some dogs have three legs".


If we were to translate the initial statement to "logic" first, with the domain being "dogs": and $T(x)$ meaning $x$ has three legs, then the initial first statement can be espressed as $P: forall x lnot T(x)$



The negation would be $lnot P$: $$lnot [forall x lnot T(x)] iff exists x(lnot lnot T(x)) iff exists x T(x)$$ $$;;text{Negated sentence: Some dogs have three legs}$$




$(2)$ Your second negation is just fine.



$(3)$ Yes, you used DeMorgan's correctly, and your translation is correct.



P: I make the bread;
Q: she makes the bread



Given $P lor lnot Q$, its negation is $lnot (Plor lnot Q) equiv lnot P land Q$, which gives us "I don't make the bread and she makes the bread."






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Thanks, @Amzoti! Appreciated!
    $endgroup$
    – Namaste
    Jul 19 '13 at 0:52
















3












$begingroup$

Tip: a good way to start when negating any proposition $P$ is to assert $lnot P$, i.e., if we have a sentence "P", we can negate it simply by writing "It is not the case that P". Then, if we want to "translate" further from loglish to more customary natural language, we can do so if we choose. I personally find it helpful to translate the initial statement into logic. Then I negate it, perhaps distribute the negation, and "read off" the result back in natural language. I do that simply because negating natural language can be easily side-tracked or awkward to directly negate.



You did fine, overall, except for the first assertion:



(1) We start with the assertion $P$: No dogs have three legs.




  • Then we negate it by stating $lnot P:$ It is NOT the case that (No dogs have three legs).

  • If we translate further, we see that $lnot P$ can be expressed as "There exists one or more dogs with three legs": I.e., "Some dogs have three legs".


If we were to translate the initial statement to "logic" first, with the domain being "dogs": and $T(x)$ meaning $x$ has three legs, then the initial first statement can be espressed as $P: forall x lnot T(x)$



The negation would be $lnot P$: $$lnot [forall x lnot T(x)] iff exists x(lnot lnot T(x)) iff exists x T(x)$$ $$;;text{Negated sentence: Some dogs have three legs}$$




$(2)$ Your second negation is just fine.



$(3)$ Yes, you used DeMorgan's correctly, and your translation is correct.



P: I make the bread;
Q: she makes the bread



Given $P lor lnot Q$, its negation is $lnot (Plor lnot Q) equiv lnot P land Q$, which gives us "I don't make the bread and she makes the bread."






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Thanks, @Amzoti! Appreciated!
    $endgroup$
    – Namaste
    Jul 19 '13 at 0:52














3












3








3





$begingroup$

Tip: a good way to start when negating any proposition $P$ is to assert $lnot P$, i.e., if we have a sentence "P", we can negate it simply by writing "It is not the case that P". Then, if we want to "translate" further from loglish to more customary natural language, we can do so if we choose. I personally find it helpful to translate the initial statement into logic. Then I negate it, perhaps distribute the negation, and "read off" the result back in natural language. I do that simply because negating natural language can be easily side-tracked or awkward to directly negate.



You did fine, overall, except for the first assertion:



(1) We start with the assertion $P$: No dogs have three legs.




  • Then we negate it by stating $lnot P:$ It is NOT the case that (No dogs have three legs).

  • If we translate further, we see that $lnot P$ can be expressed as "There exists one or more dogs with three legs": I.e., "Some dogs have three legs".


If we were to translate the initial statement to "logic" first, with the domain being "dogs": and $T(x)$ meaning $x$ has three legs, then the initial first statement can be espressed as $P: forall x lnot T(x)$



The negation would be $lnot P$: $$lnot [forall x lnot T(x)] iff exists x(lnot lnot T(x)) iff exists x T(x)$$ $$;;text{Negated sentence: Some dogs have three legs}$$




$(2)$ Your second negation is just fine.



$(3)$ Yes, you used DeMorgan's correctly, and your translation is correct.



P: I make the bread;
Q: she makes the bread



Given $P lor lnot Q$, its negation is $lnot (Plor lnot Q) equiv lnot P land Q$, which gives us "I don't make the bread and she makes the bread."






share|cite|improve this answer











$endgroup$



Tip: a good way to start when negating any proposition $P$ is to assert $lnot P$, i.e., if we have a sentence "P", we can negate it simply by writing "It is not the case that P". Then, if we want to "translate" further from loglish to more customary natural language, we can do so if we choose. I personally find it helpful to translate the initial statement into logic. Then I negate it, perhaps distribute the negation, and "read off" the result back in natural language. I do that simply because negating natural language can be easily side-tracked or awkward to directly negate.



You did fine, overall, except for the first assertion:



(1) We start with the assertion $P$: No dogs have three legs.




  • Then we negate it by stating $lnot P:$ It is NOT the case that (No dogs have three legs).

  • If we translate further, we see that $lnot P$ can be expressed as "There exists one or more dogs with three legs": I.e., "Some dogs have three legs".


If we were to translate the initial statement to "logic" first, with the domain being "dogs": and $T(x)$ meaning $x$ has three legs, then the initial first statement can be espressed as $P: forall x lnot T(x)$



The negation would be $lnot P$: $$lnot [forall x lnot T(x)] iff exists x(lnot lnot T(x)) iff exists x T(x)$$ $$;;text{Negated sentence: Some dogs have three legs}$$




$(2)$ Your second negation is just fine.



$(3)$ Yes, you used DeMorgan's correctly, and your translation is correct.



P: I make the bread;
Q: she makes the bread



Given $P lor lnot Q$, its negation is $lnot (Plor lnot Q) equiv lnot P land Q$, which gives us "I don't make the bread and she makes the bread."







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Jul 18 '13 at 17:54

























answered Jul 18 '13 at 16:04









NamasteNamaste

1




1












  • $begingroup$
    Thanks, @Amzoti! Appreciated!
    $endgroup$
    – Namaste
    Jul 19 '13 at 0:52


















  • $begingroup$
    Thanks, @Amzoti! Appreciated!
    $endgroup$
    – Namaste
    Jul 19 '13 at 0:52
















$begingroup$
Thanks, @Amzoti! Appreciated!
$endgroup$
– Namaste
Jul 19 '13 at 0:52




$begingroup$
Thanks, @Amzoti! Appreciated!
$endgroup$
– Namaste
Jul 19 '13 at 0:52











2












$begingroup$

For a sanity check, try to imagine someone saying these sentences in conversation. What would you have to do to prove that they are lying?



For "no dogs have three legs", you would just have to prove the existence of a dog with three legs (hopefully you can find such a dog, rather than having to produce your own example...)






share|cite|improve this answer









$endgroup$









  • 1




    $begingroup$
    Sanity check for a police inspector?
    $endgroup$
    – Ilya
    Jul 18 '13 at 16:09
















2












$begingroup$

For a sanity check, try to imagine someone saying these sentences in conversation. What would you have to do to prove that they are lying?



For "no dogs have three legs", you would just have to prove the existence of a dog with three legs (hopefully you can find such a dog, rather than having to produce your own example...)






share|cite|improve this answer









$endgroup$









  • 1




    $begingroup$
    Sanity check for a police inspector?
    $endgroup$
    – Ilya
    Jul 18 '13 at 16:09














2












2








2





$begingroup$

For a sanity check, try to imagine someone saying these sentences in conversation. What would you have to do to prove that they are lying?



For "no dogs have three legs", you would just have to prove the existence of a dog with three legs (hopefully you can find such a dog, rather than having to produce your own example...)






share|cite|improve this answer









$endgroup$



For a sanity check, try to imagine someone saying these sentences in conversation. What would you have to do to prove that they are lying?



For "no dogs have three legs", you would just have to prove the existence of a dog with three legs (hopefully you can find such a dog, rather than having to produce your own example...)







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Jul 18 '13 at 16:04









citedcorpsecitedcorpse

2,019818




2,019818








  • 1




    $begingroup$
    Sanity check for a police inspector?
    $endgroup$
    – Ilya
    Jul 18 '13 at 16:09














  • 1




    $begingroup$
    Sanity check for a police inspector?
    $endgroup$
    – Ilya
    Jul 18 '13 at 16:09








1




1




$begingroup$
Sanity check for a police inspector?
$endgroup$
– Ilya
Jul 18 '13 at 16:09




$begingroup$
Sanity check for a police inspector?
$endgroup$
– Ilya
Jul 18 '13 at 16:09


















draft saved

draft discarded




















































Thanks for contributing an answer to Mathematics Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid …



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f446675%2fwhat-would-be-the-negation-of-these-statements%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







-

Popular posts from this blog

Bressuire

Image
.mw-parser-output .infobox{border:1px solid #aaa;background-color:#f9f9f9;color:black;margin:.5em 0 .5em 1em;padding:.2em;float:right;clear:right;width:22em;text-align:left;font-size:88%;line-height:1.6em}.mw-parser-output .infobox td,.mw-parser-output .infobox th{vertical-align:top;padding:0 .2em}.mw-parser-output .infobox caption{font-size:larger}.mw-parser-output .infobox.bordered{border-collapse:collapse}.mw-parser-output .infobox.bordered td,.mw-parser-output .infobox.bordered th{border:1px solid #aaa}.mw-parser-output .infobox.bordered .borderless td,.mw-parser-output .infobox.bordered .borderless th{border:0}.mw-parser-output .infobox-showbutton .mw-collapsible-text{color:inherit}.mw-parser-output .infobox.bordered .mergedtoprow td,.mw-parser-output .infobox.bordered .mergedtoprow th{border:0;border-top:1px solid #aaa;border-right:1px solid #aaa}.mw-parser-output .infobox.bordered .mergedrow td,.mw-parser-output .infobox.bordered .mergedrow th{border:0;border-right:1px solid ...
Read more

Cabo Verde

Image
  Nota: Cabo-verdiano redireciona para este artigo. Para a língua falada em Cabo Verde, veja crioulo cabo-verdiano. Para outros significados, veja Cabo Verde (desambiguação). Coordenadas: 14° 55' N 23° 31' O Cabo Verde República de Cabo Verde Bandeira Brasão de Armas Lema: Unidade, Trabalho, Progresso Hino nacional: Cântico da Liberdade Gentílico: cabo-verdiano [ 1 ] Capital Praia 14° 55' N 23° 31' O Cidade mais populosa Praia Língua oficial Português Governo República unitária semipresidencialista [ 2 ]  - Presidente Jorge Carlos Fonseca  - Primeiro-ministro Ulisses Correia e Silva História    - Descoberta 1460   - Independência 00 • de Portugal 5 de Julho de 1975   - Multipartidarismo 13 de Janeiro de 1990  Área    - Total 4 033 km² (146.º)  - Água (%) 0,08 População    - Estimativa para 2017 560 899 [ 3 ] hab. (173.º) ...
Read more

Gyllenstierna

Image
.mw-parser-output .infobox{border:1px solid #aaa;background-color:#f9f9f9;color:black;margin:.5em 0 .5em 1em;padding:.2em;float:right;clear:right;width:22em;text-align:left;font-size:88%;line-height:1.6em}.mw-parser-output .infobox td,.mw-parser-output .infobox th{vertical-align:top;padding:0 .2em}.mw-parser-output .infobox caption{font-size:larger}.mw-parser-output .infobox.bordered{border-collapse:collapse}.mw-parser-output .infobox.bordered td,.mw-parser-output .infobox.bordered th{border:1px solid #aaa}.mw-parser-output .infobox.bordered .borderless td,.mw-parser-output .infobox.bordered .borderless th{border:0}.mw-parser-output .infobox-showbutton .mw-collapsible-text{color:inherit}.mw-parser-output .infobox.bordered .mergedtoprow td,.mw-parser-output .infobox.bordered .mergedtoprow th{border:0;border-top:1px solid #aaa;border-right:1px solid #aaa}.mw-parser-output .infobox.bordered .mergedrow td,.mw-parser-output .infobox.bordered .mergedrow th{border:0;border-right:1px solid ...
Read more