Ads
related to: contrapositive statement geometry example
Search results
Results From The WOW.Com Content Network
A proof by contrapositive is a direct proof of the contrapositive of a statement. [14] However, indirect methods such as proof by contradiction can also be used with contraposition, as, for example, in the proof of the irrationality of the square root of 2 .
The Steiner–Lehmus theorem can be proved using elementary geometry by proving the contrapositive statement: if a triangle is not isosceles, then it does not have two angle bisectors of equal length.
Let S be a statement of the form P implies Q (P → Q). Then the converse of S is the statement Q implies P (Q → P). In general, the truth of S says nothing about the truth of its converse, [2] unless the antecedent P and the consequent Q are logically equivalent. For example, consider the true statement "If I am a human, then I am mortal."
Proof by contraposition infers the statement "if p then q" by establishing the logically equivalent contrapositive statement: "if not q then not p". For example, contraposition can be used to establish that, given an integer , if is even, then is even: Suppose is not even.
Such a proof is again a refutation by contradiction. A typical example is the proof of the proposition "there is no smallest positive rational number": assume there is a smallest positive rational number q and derive a contradiction by observing that q / 2 is even smaller than q and still positive.
This is the contrapositive of the first statement, and it must be true if and only if the original statement is true. Example 2. If an animal is a dog, then it has four legs. My cat has four legs. Therefore, my cat is a dog.
BMW recalled certain 2023-2024 X1, X5, X6, X7, XM, 530i, i5, 740i, 760i, i7, and 750e vehicles.. The NHTSA report said that the integrated brake system may malfunction and result in a loss of ...
For example, instead of showing directly p ⇒ q, one proves its contrapositive ~q ⇒ ~p (one assumes ~q and shows that it leads to ~p). Since p ⇒ q and ~q ⇒ ~p are equivalent by the principle of transposition (see law of excluded middle), p ⇒ q is indirectly proved.