Can we prove that x>1 implies y<1 if 3x+2y≤5 for real numbers x and y?

Thread starter bean29
Start date Aug 25, 2013

AI Thread Summary

The discussion centers on proving that if x > 1, then y must be less than 1 given the constraint 3x + 2y ≤ 5. Participants question the implications of assuming both x > 1 and y ≥ 1, suggesting that this leads to a contradiction with the inequality. There is also criticism regarding the appropriateness of the question being posed in the current forum, indicating it may not be suitable for homework help. The conversation highlights the need for clarity in mathematical reasoning and proper forum etiquette. Ultimately, the proof hinges on understanding the relationship between x and y under the given conditions.

Aug 25, 2013

bean29

Suppose x and y are real numbers and 3x+2y≤5. Prove that if x>1 then y<1

Physics news on Phys.org

Aug 25, 2013

statdad

Homework Helper

What would happen if x > 1 and y \ge 1 were both true?

Aug 25, 2013

bean29

Not real sure what would happen.

Aug 25, 2013

mfb

Mentor

Insights Author

This is not an acceptable way to ask for help at homework problems. In addition, it is in the wrong forum.

Thread 'Deductive proof in logic formal systems'

I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...

View full post »