MATH1081 > 3a - Proofs ------- symbol logic

• [..]
• 8+31√15=20√41
• Converses
• Definitions with Multiple Quantifiers
• Determinant
• Direct Proofs
• Distinguish between what is given and what is needed to be proved
• Example
• Examples - Direct
• Examples - Others
• Examples - Proof by Cases
• Examples
• Inference
• Intermediate Value Theorem
• Is S=[1,2) open_
• Let n be an integer, if n is even then n^2 is even
• Negation of Statements
• Non-constructive Proofs
• Proof by Contradiction
• Prove that 1_1000−1_1001_1_〖1000〗^2
• Prove that 1_n−1_(n+1)=1_n(n+1)
• Prove that _x−3_≤x^2−3x+4
• Prove that for all n∈Z n^3_congruent n (mod 6)
• Prove that if f_R→R is an odd function then f(0)=0
• Prove that √(8&8!)_√(9&9!)
• Prove √2 is irrational
• if and only if proofs