About: Commutativity of conjunction

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Rule of inference

Property	Value
dbo:description	rule of inference (en) Schlussregel (de)
dbo:wikiPageWikiLink	dbc:Classical_logic dbr:Classical_logic dbc:Theorems_in_propositional_logic dbr:Validity_(logic) dbr:Rule_of_inference dbr:Logical_consequence dbr:Propositional_calculus dbr:Metalogic dbr:Proposition dbr:Formal_system dbr:Socrates dbr:Logical_conjunction dbr:Tautology_(logic) dbc:Rules_of_inference dbr:Theorem dbr:Sequent dbr:Argument_form dbr:Truth-value
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Logic-stub dbt:Classical_logic
dct:subject	dbc:Classical_logic dbc:Theorems_in_propositional_logic dbc:Rules_of_inference
gold:hypernym	dbr:Form
rdfs:label	Commutativity of conjunction (en)
owl:sameAs	yago-res:Commutativity of conjunction freebase:Commutativity of conjunction wikidata:Commutativity of conjunction dbpedia-global:Commutativity of conjunction
prov:wasDerivedFrom	wikipedia-en:Commutativity_of_conjunction?oldid=1269337641&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Commutativity_of_conjunction
is dbo:wikiPageWikiLink of	dbr:Classical_logic dbr:Index_of_logic_articles dbr:Outline_of_logic
is foaf:primaryTopic of	wikipedia-en:Commutativity_of_conjunction

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International