About: 裏 (論理学)

Property	Value
dbo:abstract	「p⇒q」という形の命題に対して、命題「￢p⇒￢q」を、元の命題の裏（うら、英: Inverse）という。ある命題「p⇒q」とその裏「￢p⇒￢q」の真偽は必ずしも一致しない。しかし、ある命題「p⇒q」の逆「q⇒p」と裏「￢p⇒￢q」とは対偶の関係にあるので、その真偽は一致する。日常生活では、「ならば」の意味など、裏も必ず真であるような誤謬をすることがある。（前件否定）推論規則の二重否定の除去「￢￢p ⊢ p」により、裏「￢p⇒￢q」の裏「￢￢p⇒￢￢q」から元の命題「p⇒q」を演繹できる。推論規則の二重否定の導入「p ⊢ ￢￢p」により、元の命題「p⇒q」から裏の裏「￢￢p⇒￢￢q」を演繹できる。したがって、元の命題「p⇒q」とその裏の裏「￢￢p⇒￢￢q」との真偽は一致する。 (ja) 「p⇒q」という形の命題に対して、命題「￢p⇒￢q」を、元の命題の裏（うら、英: Inverse）という。ある命題「p⇒q」とその裏「￢p⇒￢q」の真偽は必ずしも一致しない。しかし、ある命題「p⇒q」の逆「q⇒p」と裏「￢p⇒￢q」とは対偶の関係にあるので、その真偽は一致する。日常生活では、「ならば」の意味など、裏も必ず真であるような誤謬をすることがある。（前件否定）推論規則の二重否定の除去「￢￢p ⊢ p」により、裏「￢p⇒￢q」の裏「￢￢p⇒￢￢q」から元の命題「p⇒q」を演繹できる。推論規則の二重否定の導入「p ⊢ ￢￢p」により、元の命題「p⇒q」から裏の裏「￢￢p⇒￢￢q」を演繹できる。したがって、元の命題「p⇒q」とその裏の裏「￢￢p⇒￢￢q」との真偽は一致する。 (ja)
dbo:wikiPageExternalLink	http://homepage3.nifty.com/kouhei1016page/Math/Math013.HTM
dbo:wikiPageID	1265102 (xsd:integer)
dbo:wikiPageLength	1685 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	90159387 (xsd:integer)
dbo:wikiPageWikiLink	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:Category:直接推論 dbpedia-ja:二重否定の導入 dbpedia-ja:安東祐希
prop-ja:author	Sakharov, Alex and Weisstein, Eric W. (ja) Sakharov, Alex and Weisstein, Eric W. (ja)
prop-ja:date	20111113214356 (xsd:decimal) 0001-02-01 (xsd:gMonthDay)
prop-ja:section	1 (xsd:integer)
prop-ja:title	PropositionalCalculus (ja) 逆と裏の問題 (ja) PropositionalCalculus (ja) 逆と裏の問題 (ja)
prop-ja:url	http://homepage3.nifty.com/kouhei1016page/Math/Math013.HTM
prop-ja:urlname	PropositionalCalculus (ja) PropositionalCalculus (ja)
prop-ja:wikiPageUsesTemplate	template-ja:Harvid template-ja:Mathlogic-stub template-ja:Cite_book template-ja:Kotobank template-ja:Lang-en-short template-ja:MathWorld template-ja:Reflist template-ja:Wayback template-ja:出典の明記 template-ja:参照方法 template-ja:脚注ヘルプ
dct:subject	dbpedia-ja:Category:初等数学 dbpedia-ja:Category:数学に関する記事 dbpedia-ja:Category:直接推論
rdfs:comment	「p⇒q」という形の命題に対して、命題「￢p⇒￢q」を、元の命題の裏（うら、英: Inverse）という。ある命題「p⇒q」とその裏「￢p⇒￢q」の真偽は必ずしも一致しない。しかし、ある命題「p⇒q」の逆「q⇒p」と裏「￢p⇒￢q」とは対偶の関係にあるので、その真偽は一致する。日常生活では、「ならば」の意味など、裏も必ず真であるような誤謬をすることがある。（前件否定）推論規則の二重否定の除去「￢￢p ⊢ p」により、裏「￢p⇒￢q」の裏「￢￢p⇒￢￢q」から元の命題「p⇒q」を演繹できる。推論規則の二重否定の導入「p ⊢ ￢￢p」により、元の命題「p⇒q」から裏の裏「￢￢p⇒￢￢q」を演繹できる。したがって、元の命題「p⇒q」とその裏の裏「￢￢p⇒￢￢q」との真偽は一致する。 (ja) 「p⇒q」という形の命題に対して、命題「￢p⇒￢q」を、元の命題の裏（うら、英: Inverse）という。ある命題「p⇒q」とその裏「￢p⇒￢q」の真偽は必ずしも一致しない。しかし、ある命題「p⇒q」の逆「q⇒p」と裏「￢p⇒￢q」とは対偶の関係にあるので、その真偽は一致する。日常生活では、「ならば」の意味など、裏も必ず真であるような誤謬をすることがある。（前件否定）推論規則の二重否定の除去「￢￢p ⊢ p」により、裏「￢p⇒￢q」の裏「￢￢p⇒￢￢q」から元の命題「p⇒q」を演繹できる。推論規則の二重否定の導入「p ⊢ ￢￢p」により、元の命題「p⇒q」から裏の裏「￢￢p⇒￢￢q」を演繹できる。したがって、元の命題「p⇒q」とその裏の裏「￢￢p⇒￢￢q」との真偽は一致する。 (ja)
rdfs:label	裏 (論理学) (ja) 裏 (論理学) (ja)
owl:sameAs	freebase:裏 (論理学)
prov:wasDerivedFrom	wikipedia-ja:裏_(論理学)?oldid=90159387&ns=0
foaf:isPrimaryTopicOf	wikipedia-ja:裏_(論理学)
is dbo:wikiPageDisambiguates of	dbpedia-ja:裏
is dbo:wikiPageWikiLink of	dbpedia-ja:前件否定 dbpedia-ja:対偶_(論理学) dbpedia-ja:裏 dbpedia-ja:詭弁 dbpedia-ja:逆
is owl:sameAs of	dbpedia-wikidata:裏 (論理学)
is foaf:primaryTopic of	wikipedia-ja:裏_(論理学)