I have some logic homework and I need help on something I am using in my proof.
I want to know if this is true
n>a implies that n-k>=a where 0<=k<=n-a.
-
What do those variables represent?
-
False. If k = 0, then n-k = n = a, which contradicts the earlier premise that n > a.
-
this is only true if a<=1 think about the boundaries. if k = 0, n-k>=a becomes n >= a if k = n-1, n-k>=a becomes 1>=a
-
The only issue I see is that a could be really close to n and thus make you second statement false. For example if n = 2 a could equal 1.9. As long as k > .1 which is allowed based on your statement the second statement is false. Though I could be wrong that is just how it looks at a glance.
-