This HTML5 document contains 34 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
template-jahttp://ja.dbpedia.org/resource/Template:
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-wikidatahttp://wikidata.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n4http://ja.dbpedia.org/resource/Category:
wikipedia-jahttp://ja.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-jahttp://ja.dbpedia.org/resource/
prop-jahttp://ja.dbpedia.org/property/

Statements

Subject Item
dbpedia-wikidata:Q5282265
owl:sameAs
dbpedia-ja:論理和の消去
Subject Item
dbpedia-ja:命題論理
dbo:wikiPageWikiLink
dbpedia-ja:論理和の消去
Subject Item
dbpedia-ja:自然演繹
dbo:wikiPageWikiLink
dbpedia-ja:論理和の消去
Subject Item
dbpedia-ja:論理和の消去
rdfs:label
論理和の消去
rdfs:comment
論理和の消去(ろんりわのしょうきょ、英: Disjunction elimination)(論理積の除去、選言削除則、-除去則は、命題論理における妥当性のある推論規則のひとつである。この規則を用いることによって、論理式の証明から論理和を削除することができる。もし命題「」から命題「」が導き出され、かつ命題「」からも命題「」が導き出されるとき、「もしくは」のいずれかが真である場合に、「」が真となるという推論規則である。PもしくはRのうち少なくとも一方が正しく、QであるためにはPとRのうちどちらかが正しければよいから、Qは正しい、ということである。例えば、下記の例が挙げられる。 もし私が屋内にいれば、私は財布を持っている。もし私が屋外にいれば、私は財布を持っている。私は屋内にいるか、屋外にいるかのどちらかである。したがって、私は財布を持っている。 この規則は、下記のように記述することができる。 ここで、命題「」、命題「」、命題「」が証明のなかのどの行に出てきても、その後の行において、 命題「」を示すことができるものとされている。
dct:subject
n4:数学に関する記事 n4:推論規則 n4:命題論理の定理
dbo:wikiPageID
3306691
dbo:wikiPageRevisionID
90773652
dbo:wikiPageWikiLink
dbpedia-ja:トートロジー dbpedia-ja:定理 dbpedia-ja:論理的帰結 dbpedia-ja:選言標準形 dbpedia-ja:メタ言語 dbpedia-ja:推論規則 dbpedia-ja:真理関数 dbpedia-ja:シークエント dbpedia-ja:妥当性 dbpedia-ja:形式体系 dbpedia-ja:論理式_(数学) n4:推論規則 n4:数学に関する記事 dbpedia-ja:命題論理 dbpedia-ja:論理和 n4:命題論理の定理
prop-ja:wikiPageUsesTemplate
template-ja:Lang-en-short template-ja:Reflist
dbo:abstract
論理和の消去(ろんりわのしょうきょ、英: Disjunction elimination)(論理積の除去、選言削除則、-除去則は、命題論理における妥当性のある推論規則のひとつである。この規則を用いることによって、論理式の証明から論理和を削除することができる。もし命題「」から命題「」が導き出され、かつ命題「」からも命題「」が導き出されるとき、「もしくは」のいずれかが真である場合に、「」が真となるという推論規則である。PもしくはRのうち少なくとも一方が正しく、QであるためにはPとRのうちどちらかが正しければよいから、Qは正しい、ということである。例えば、下記の例が挙げられる。 もし私が屋内にいれば、私は財布を持っている。もし私が屋外にいれば、私は財布を持っている。私は屋内にいるか、屋外にいるかのどちらかである。したがって、私は財布を持っている。 この規則は、下記のように記述することができる。 ここで、命題「」、命題「」、命題「」が証明のなかのどの行に出てきても、その後の行において、 命題「」を示すことができるものとされている。
dbo:wikiPageLength
1487
prov:wasDerivedFrom
wikipedia-ja:論理和の消去?oldid=90773652&ns=0
foaf:isPrimaryTopicOf
wikipedia-ja:論理和の消去
Subject Item
dbpedia-ja:選言三段論法
dbo:wikiPageWikiLink
dbpedia-ja:論理和の消去
Subject Item
wikipedia-ja:論理和の消去
foaf:primaryTopic
dbpedia-ja:論理和の消去