| Property |
Value |
| dbo:abstract
|
- 論理学において、含意命題の対偶とは、条件をともに否定し、さらにその含意の向きを逆にしたものである。明示的に書けば、命題「AならばBである」の対偶は、「BでないならばAでない」となる。命題とその対偶の論理的な真偽は常に一致する。したがって、ある命題が真ならばその対偶も真であるし、偽の場合もしかりである。 対偶論法（たいぐうろんぽう、英: proof by contraposition）とは、証明で用いる推論規則の一つである。対偶論法では、対偶を用いて命題の真偽を推論する。言い方を変えると、「AならばBである」という結論を、「BでないならばAでない」から導く推論規則である。 「モーダストレンス」も参照 (ja)
- 論理学において、含意命題の対偶とは、条件をともに否定し、さらにその含意の向きを逆にしたものである。明示的に書けば、命題「AならばBである」の対偶は、「BでないならばAでない」となる。命題とその対偶の論理的な真偽は常に一致する。したがって、ある命題が真ならばその対偶も真であるし、偽の場合もしかりである。 対偶論法（たいぐうろんぽう、英: proof by contraposition）とは、証明で用いる推論規則の一つである。対偶論法では、対偶を用いて命題の真偽を推論する。言い方を変えると、「AならばBである」という結論を、「BでないならばAでない」から導く推論規則である。 「モーダストレンス」も参照 (ja)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1872 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-ja:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- 論理学において、含意命題の対偶とは、条件をともに否定し、さらにその含意の向きを逆にしたものである。明示的に書けば、命題「AならばBである」の対偶は、「BでないならばAでない」となる。命題とその対偶の論理的な真偽は常に一致する。したがって、ある命題が真ならばその対偶も真であるし、偽の場合もしかりである。 対偶論法（たいぐうろんぽう、英: proof by contraposition）とは、証明で用いる推論規則の一つである。対偶論法では、対偶を用いて命題の真偽を推論する。言い方を変えると、「AならばBである」という結論を、「BでないならばAでない」から導く推論規則である。 「モーダストレンス」も参照 (ja)
- 論理学において、含意命題の対偶とは、条件をともに否定し、さらにその含意の向きを逆にしたものである。明示的に書けば、命題「AならばBである」の対偶は、「BでないならばAでない」となる。命題とその対偶の論理的な真偽は常に一致する。したがって、ある命題が真ならばその対偶も真であるし、偽の場合もしかりである。 対偶論法（たいぐうろんぽう、英: proof by contraposition）とは、証明で用いる推論規則の一つである。対偶論法では、対偶を用いて命題の真偽を推論する。言い方を変えると、「AならばBである」という結論を、「BでないならばAでない」から導く推論規則である。 「モーダストレンス」も参照 (ja)
|
| rdfs:label
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is owl:sameAs
of | |
| is foaf:primaryTopic
of | |
