翻訳と辞書 Words near each other ・ Contrails (book) ・ Contraindication ・ Contraindications to thrombolysis ・ Contralissa ・ Contralmirante Cordero ・ Contralmirante Villar Province ・ Contraloría General de la República de Costa Rica ・ Contralto ・ Contramaestre River ・ Contramaestre, Cuba ・ Contramandatio placiti ・ Contramandatum ・ Contramure ・ Contranormal subgroup ・ Contrapasso ・ Contraposition ・ Contraposition (traditional logic) ・ Contrapposto ・ Contraption ・ Contraption (game show) ・ Contrapuntal motion ・ Contrareloj ・ Contrarian ・ Contrarian investing ・ Contrary ・ Contrary (comics) ・ Contrary (logic) ・ Contrary (social role) ・ Contrary Creek ・ Contrary Magazine Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Contraposition ： ウィキペディア英語版 Contraposition In logic, contraposition is a law that says that a conditional statement is logically equivalent to its contrapositive. The contrapositive of the statement has its antecedent and consequent inverted and flipped: the contrapositive of $P\; \backslash rightarrow\; Q$ is thus $\backslash neg\; Q\; \backslash rightarrow\; \backslash neg\; P$. For instance, the proposition "''All bats are mammals''" can be restated as the conditional "''If something is a bat, then it is a mammal''". Now, the law says that statement is identical to the contrapositive "''If something is not a mammal, then it is not a bat''." The contrapositive can be compared with three other relationships between conditional statements: *Inversion (the inverse): $\backslash neg\; P\; \backslash rightarrow\; \backslash neg\; Q$. "''If something is not a bat, then it is not a mammal''." Unlike the contrapositive, the inverse's truth value is not at all dependent on whether or not the original proposition was true, as evidenced here. The inverse here is clearly not true. *Conversion (the converse): $Q\; \backslash rightarrow\; P$. "''If something is a mammal, then it is a bat''." The converse is actually the contrapositive of the inverse and so always has the same truth value as the inverse, which is not necessarily the same as that of the original proposition. *Negation: $\backslash neg\; (P\; \backslash rightarrow\; Q)$. "''There exists a bat that is not a mammal''. " If the negation is true, the original proposition (and by extension the contrapositive) is false. Here, of course, the negation is false. Note that if $P\; \backslash rightarrow\; Q$ is true and we are given that ''Q'' is false, $\backslash neg\; Q$, it can logically be concluded that ''P'' must be false, $\backslash neg\; P$. This is often called the ''law of contrapositive'', or the ''modus tollens'' rule of inference. ==Intuitive explanation== Consider the Euler diagram shown. According to this diagram, if something is in A, it must be in B as well. So we can interpret "all of A is in B" as: :$A\; \backslash to\; B$ It is also clear that anything that is not within B (the white region) cannot be within A, either. This statement, :$\backslash neg\; B\; \backslash to\; \backslash neg\; A$ is the contrapositive. Therefore, we can say that :$(A\; \backslash to\; B)\; \backslash to\; (\backslash neg\; B\; \backslash to\; \backslash neg\; A)$. Practically speaking, this may make life much easier when trying to prove something. For example, if we want to prove that every girl in the United States (A) is blonde (B), we can either try to directly prove $A\; \backslash to\; B$ by checking all girls in the United States to see if they are all blonde. Alternatively, we can try to prove $\backslash neg\; B\; \backslash to\; \backslash neg\; A$ by checking all non-blonde girls to see if they are all outside the US. This means that if we find at least one non-blonde girl within the US, we will have disproved $\backslash neg\; B\; \backslash to\; \backslash neg\; A$, and equivalently $A\; \backslash to\; B$. To conclude, for any statement where A implies B, then ''not B'' always implies ''not A''. Proving or disproving either one of these statements automatically proves or disproves the other. They are fully equivalent. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Contraposition」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.