About: 対偶 (論理学)

Property	Value
dbo:abstract	対偶（たいぐう、英: Contraposition）とは、ある命題に対して、その命題の仮定と結論をそれぞれその否定に置き換えた上で両者を入れ替えた命題のことをいう。 (ja) 対偶（たいぐう、英: Contraposition）とは、ある命題に対して、その命題の仮定と結論をそれぞれその否定に置き換えた上で両者を入れ替えた命題のことをいう。 (ja)
dbo:wikiPageID	1266220 (xsd:integer)
dbo:wikiPageLength	2599 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	90143162 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-ja:Category:初等数学 dbpedia-ja:Category:命題論理の定理 dbpedia-ja:Category:数学に関する記事 dbpedia-ja:Category:推論規則 dbpedia-ja:ヘンペルのカラス dbpedia-ja:二重否定 dbpedia-ja:二重否定の除去 dbpedia-ja:前件否定 dbpedia-ja:古典論理 dbpedia-ja:命題 dbpedia-ja:対偶論法 dbpedia-ja:岩波新書 dbpedia-ja:岩波書店 dbpedia-ja:後件肯定 dbpedia-ja:排中律 dbpedia-ja:数学 dbpedia-ja:日本評論社 dbpedia-ja:直観主義論理 dbpedia-ja:真理値 dbpedia-ja:背理法 dbpedia-ja:裏_(論理学) dbpedia-ja:証明_(数学) dbpedia-ja:逆 dbpedia-ja:非古典論理 dbpedia-ja:安東祐希
prop-ja:author	Sakharov, Alex and Weisstein, Eric W. (ja) Sakharov, Alex and Weisstein, Eric W. (ja)
prop-ja:date	0001-02-01 (xsd:gMonthDay)
prop-ja:section	1 (xsd:integer)
prop-ja:title	PropositionalCalculus (ja) PropositionalCalculus (ja)
prop-ja:urlname	PropositionalCalculus (ja) PropositionalCalculus (ja)
prop-ja:wikiPageUsesTemplate	template-ja:Harvid template-ja:Cite_book template-ja:Indent template-ja:Kotobank template-ja:Lang-en-short template-ja:MathWorld template-ja:Reflist template-ja:出典の明記 template-ja:参照方法 template-ja:脚注ヘルプ
dct:subject	dbpedia-ja:Category:初等数学 dbpedia-ja:Category:命題論理の定理 dbpedia-ja:Category:数学に関する記事 dbpedia-ja:Category:推論規則
rdfs:comment	対偶（たいぐう、英: Contraposition）とは、ある命題に対して、その命題の仮定と結論をそれぞれその否定に置き換えた上で両者を入れ替えた命題のことをいう。 (ja) 対偶（たいぐう、英: Contraposition）とは、ある命題に対して、その命題の仮定と結論をそれぞれその否定に置き換えた上で両者を入れ替えた命題のことをいう。 (ja)
rdfs:label	対偶 (論理学) (ja) 対偶 (論理学) (ja)
owl:sameAs	freebase:対偶 (論理学)
prov:wasDerivedFrom	wikipedia-ja:対偶_(論理学)?oldid=90143162&ns=0
foaf:isPrimaryTopicOf	wikipedia-ja:対偶_(論理学)
is dbo:wikiPageDisambiguates of	dbpedia-ja:対偶
is dbo:wikiPageWikiLink of	dbpedia-ja:AKS素数判定法 dbpedia-ja:Co-NP dbpedia-ja:Qシリーズ_(小説) dbpedia-ja:Ω無矛盾 dbpedia-ja:オポジション dbpedia-ja:ゲーデルの不完全性定理 dbpedia-ja:チコノフの定理 dbpedia-ja:フェルマーの小定理 dbpedia-ja:ミラー–ラビン素数判定法 dbpedia-ja:メルセンヌ数 dbpedia-ja:モーダストレンス dbpedia-ja:二礼二拍手一礼 dbpedia-ja:加法単位元 dbpedia-ja:単射 dbpedia-ja:対偶 dbpedia-ja:対偶論法 dbpedia-ja:恒真式 dbpedia-ja:消極的事実の証明 dbpedia-ja:結び目理論 dbpedia-ja:裏_(論理学) dbpedia-ja:証明_(数学) dbpedia-ja:論理包含 dbpedia-ja:逆
is owl:sameAs of	dbpedia-wikidata:対偶 (論理学)
is foaf:primaryTopic of	wikipedia-ja:対偶_(論理学)