Discussion about math, puzzles, games and fun. Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ • π ƒ ¹ ² ³ °
 

You are not logged in. #1 20060125 09:13:54
Should be easy proofI need to prove or disprove the following: #2 20060125 11:22:13
Re: Should be easy proofWhat class are you in? Do you wish to do a formal proof? Formal proofs just mean you follow a certain structure in writing your proof. I can help you on writing a formal one if you need it. But if you're in high school, I doubt that you will. That being said, the below is not formal:
This means if P(n, m) is true, then Q(n, m) is true. That's the same meaning as implies, as you wrote. "In the real world, this would be a problem. But in mathematics, we can just define a place where this problem doesn't exist. So we'll go ahead and do that now..." #3 20060125 11:32:53
Re: Should be easy proofOh heck, why not. The below is a formal proof of the first one. "In the real world, this would be a problem. But in mathematics, we can just define a place where this problem doesn't exist. So we'll go ahead and do that now..." 