Quantifier difference











up vote
0
down vote

favorite












What s the difference between $ n in Z implies n(n+1) =2k $ such that $k in Z$ and $ forall n in Z implies n(n+1) =2k $ such that $k in Z$



Is this true:
$ (n in Z implies n(n+1) =2k $ such that $k in Z) implies forall n in Z; n(n+1) =2k $ such that$ k in Z$










share|cite|improve this question
























  • None, in that I cannot understand either: why have you introduced a $k$, only to use it in the expression $2k/k$ which merely simplifies to $2$?
    – Lord Shark the Unknown
    4 hours ago










  • / means such that in my case
    – J.Moh
    3 hours ago










  • Impossible to understand ... The first one is an equation : $dfrac {n}{n+1}=2k$.
    – Mauro ALLEGRANZA
    1 hour ago










  • The second one is a formula : $(dfrac {n}{n+1}=2k) to forall n (dfrac {n}{n+1}=2k)$ whose truth value depends on $n$ and $k$.
    – Mauro ALLEGRANZA
    1 hour ago












  • Rewritten in an unambiguous way
    – J.Moh
    1 hour ago















up vote
0
down vote

favorite












What s the difference between $ n in Z implies n(n+1) =2k $ such that $k in Z$ and $ forall n in Z implies n(n+1) =2k $ such that $k in Z$



Is this true:
$ (n in Z implies n(n+1) =2k $ such that $k in Z) implies forall n in Z; n(n+1) =2k $ such that$ k in Z$










share|cite|improve this question
























  • None, in that I cannot understand either: why have you introduced a $k$, only to use it in the expression $2k/k$ which merely simplifies to $2$?
    – Lord Shark the Unknown
    4 hours ago










  • / means such that in my case
    – J.Moh
    3 hours ago










  • Impossible to understand ... The first one is an equation : $dfrac {n}{n+1}=2k$.
    – Mauro ALLEGRANZA
    1 hour ago










  • The second one is a formula : $(dfrac {n}{n+1}=2k) to forall n (dfrac {n}{n+1}=2k)$ whose truth value depends on $n$ and $k$.
    – Mauro ALLEGRANZA
    1 hour ago












  • Rewritten in an unambiguous way
    – J.Moh
    1 hour ago













up vote
0
down vote

favorite









up vote
0
down vote

favorite











What s the difference between $ n in Z implies n(n+1) =2k $ such that $k in Z$ and $ forall n in Z implies n(n+1) =2k $ such that $k in Z$



Is this true:
$ (n in Z implies n(n+1) =2k $ such that $k in Z) implies forall n in Z; n(n+1) =2k $ such that$ k in Z$










share|cite|improve this question















What s the difference between $ n in Z implies n(n+1) =2k $ such that $k in Z$ and $ forall n in Z implies n(n+1) =2k $ such that $k in Z$



Is this true:
$ (n in Z implies n(n+1) =2k $ such that $k in Z) implies forall n in Z; n(n+1) =2k $ such that$ k in Z$







quantifiers






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 1 hour ago

























asked 5 hours ago









J.Moh

395




395












  • None, in that I cannot understand either: why have you introduced a $k$, only to use it in the expression $2k/k$ which merely simplifies to $2$?
    – Lord Shark the Unknown
    4 hours ago










  • / means such that in my case
    – J.Moh
    3 hours ago










  • Impossible to understand ... The first one is an equation : $dfrac {n}{n+1}=2k$.
    – Mauro ALLEGRANZA
    1 hour ago










  • The second one is a formula : $(dfrac {n}{n+1}=2k) to forall n (dfrac {n}{n+1}=2k)$ whose truth value depends on $n$ and $k$.
    – Mauro ALLEGRANZA
    1 hour ago












  • Rewritten in an unambiguous way
    – J.Moh
    1 hour ago


















  • None, in that I cannot understand either: why have you introduced a $k$, only to use it in the expression $2k/k$ which merely simplifies to $2$?
    – Lord Shark the Unknown
    4 hours ago










  • / means such that in my case
    – J.Moh
    3 hours ago










  • Impossible to understand ... The first one is an equation : $dfrac {n}{n+1}=2k$.
    – Mauro ALLEGRANZA
    1 hour ago










  • The second one is a formula : $(dfrac {n}{n+1}=2k) to forall n (dfrac {n}{n+1}=2k)$ whose truth value depends on $n$ and $k$.
    – Mauro ALLEGRANZA
    1 hour ago












  • Rewritten in an unambiguous way
    – J.Moh
    1 hour ago
















None, in that I cannot understand either: why have you introduced a $k$, only to use it in the expression $2k/k$ which merely simplifies to $2$?
– Lord Shark the Unknown
4 hours ago




None, in that I cannot understand either: why have you introduced a $k$, only to use it in the expression $2k/k$ which merely simplifies to $2$?
– Lord Shark the Unknown
4 hours ago












/ means such that in my case
– J.Moh
3 hours ago




/ means such that in my case
– J.Moh
3 hours ago












Impossible to understand ... The first one is an equation : $dfrac {n}{n+1}=2k$.
– Mauro ALLEGRANZA
1 hour ago




Impossible to understand ... The first one is an equation : $dfrac {n}{n+1}=2k$.
– Mauro ALLEGRANZA
1 hour ago












The second one is a formula : $(dfrac {n}{n+1}=2k) to forall n (dfrac {n}{n+1}=2k)$ whose truth value depends on $n$ and $k$.
– Mauro ALLEGRANZA
1 hour ago






The second one is a formula : $(dfrac {n}{n+1}=2k) to forall n (dfrac {n}{n+1}=2k)$ whose truth value depends on $n$ and $k$.
– Mauro ALLEGRANZA
1 hour ago














Rewritten in an unambiguous way
– J.Moh
1 hour ago




Rewritten in an unambiguous way
– J.Moh
1 hour ago










1 Answer
1






active

oldest

votes

















up vote
0
down vote














Is this true that :




$(n ∈ mathbb Z ⟹ dfrac {n}{(n+1)} = 2k ) ⟹ ∀n ∈ mathbb Z dfrac {n}{(n+1)} = 2k text { , for } k ∈ mathbb Z$ ?





The formula :




$dfrac {n}{(n+1)} = 2k$




is about two unspecified numbers $n$ and $k$; it can be either true or false, according to the values we assign to them.



Specifically, the formula is true only for $n=k=0$.



This means that the consequent : $∀n ∈ mathbb Z dfrac {n}{(n+1)} = 2k$ is false.



Thus the original formula is false for $n=k=0$ (because in that case we have $text T to text F$, which is $text F$) and true in all other cases (because $text F to text F$ is $text T$).






share|cite|improve this answer























  • / doesn t mean division in my case, it means such that
    – J.Moh
    3 hours ago













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',
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%2f3004598%2fquantifier-difference%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
0
down vote














Is this true that :




$(n ∈ mathbb Z ⟹ dfrac {n}{(n+1)} = 2k ) ⟹ ∀n ∈ mathbb Z dfrac {n}{(n+1)} = 2k text { , for } k ∈ mathbb Z$ ?





The formula :




$dfrac {n}{(n+1)} = 2k$




is about two unspecified numbers $n$ and $k$; it can be either true or false, according to the values we assign to them.



Specifically, the formula is true only for $n=k=0$.



This means that the consequent : $∀n ∈ mathbb Z dfrac {n}{(n+1)} = 2k$ is false.



Thus the original formula is false for $n=k=0$ (because in that case we have $text T to text F$, which is $text F$) and true in all other cases (because $text F to text F$ is $text T$).






share|cite|improve this answer























  • / doesn t mean division in my case, it means such that
    – J.Moh
    3 hours ago

















up vote
0
down vote














Is this true that :




$(n ∈ mathbb Z ⟹ dfrac {n}{(n+1)} = 2k ) ⟹ ∀n ∈ mathbb Z dfrac {n}{(n+1)} = 2k text { , for } k ∈ mathbb Z$ ?





The formula :




$dfrac {n}{(n+1)} = 2k$




is about two unspecified numbers $n$ and $k$; it can be either true or false, according to the values we assign to them.



Specifically, the formula is true only for $n=k=0$.



This means that the consequent : $∀n ∈ mathbb Z dfrac {n}{(n+1)} = 2k$ is false.



Thus the original formula is false for $n=k=0$ (because in that case we have $text T to text F$, which is $text F$) and true in all other cases (because $text F to text F$ is $text T$).






share|cite|improve this answer























  • / doesn t mean division in my case, it means such that
    – J.Moh
    3 hours ago















up vote
0
down vote










up vote
0
down vote










Is this true that :




$(n ∈ mathbb Z ⟹ dfrac {n}{(n+1)} = 2k ) ⟹ ∀n ∈ mathbb Z dfrac {n}{(n+1)} = 2k text { , for } k ∈ mathbb Z$ ?





The formula :




$dfrac {n}{(n+1)} = 2k$




is about two unspecified numbers $n$ and $k$; it can be either true or false, according to the values we assign to them.



Specifically, the formula is true only for $n=k=0$.



This means that the consequent : $∀n ∈ mathbb Z dfrac {n}{(n+1)} = 2k$ is false.



Thus the original formula is false for $n=k=0$ (because in that case we have $text T to text F$, which is $text F$) and true in all other cases (because $text F to text F$ is $text T$).






share|cite|improve this answer















Is this true that :




$(n ∈ mathbb Z ⟹ dfrac {n}{(n+1)} = 2k ) ⟹ ∀n ∈ mathbb Z dfrac {n}{(n+1)} = 2k text { , for } k ∈ mathbb Z$ ?





The formula :




$dfrac {n}{(n+1)} = 2k$




is about two unspecified numbers $n$ and $k$; it can be either true or false, according to the values we assign to them.



Specifically, the formula is true only for $n=k=0$.



This means that the consequent : $∀n ∈ mathbb Z dfrac {n}{(n+1)} = 2k$ is false.



Thus the original formula is false for $n=k=0$ (because in that case we have $text T to text F$, which is $text F$) and true in all other cases (because $text F to text F$ is $text T$).







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited 1 hour ago

























answered 4 hours ago









Mauro ALLEGRANZA

63.3k448110




63.3k448110












  • / doesn t mean division in my case, it means such that
    – J.Moh
    3 hours ago




















  • / doesn t mean division in my case, it means such that
    – J.Moh
    3 hours ago


















/ doesn t mean division in my case, it means such that
– J.Moh
3 hours ago






/ doesn t mean division in my case, it means such that
– J.Moh
3 hours ago




















 

draft saved


draft discarded



















































 


draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3004598%2fquantifier-difference%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

MongoDB - Not Authorized To Execute Command

How to fix TextFormField cause rebuild widget in Flutter

in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith