Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Independence_of_premise> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- Independence_of_premise abstract "In proof theory and constructive mathematics, the principle of independence of premise states that if φ and ∃ x θ are sentences in a formal theory and φ → ∃ x θ is provable, then ∃ x (φ → θ) is provable. Here x cannot be a free variable of φ.The principle is valid in classical logic. Its main application is in the study of intuitionistic logic, where the principle is not always valid.".
- Independence_of_premise wikiPageExternalLink dialect.pdf.
- Independence_of_premise wikiPageID "22833480".
- Independence_of_premise wikiPageRevisionID "585909780".
- Independence_of_premise hasPhotoCollection Independence_of_premise.
- Independence_of_premise subject Category:Predicate_logic.
- Independence_of_premise type Abstraction100002137.
- Independence_of_premise type Cognition100023271.
- Independence_of_premise type Concept105835747.
- Independence_of_premise type Content105809192.
- Independence_of_premise type Idea105833840.
- Independence_of_premise type PsychologicalFeature100023100.
- Independence_of_premise type Rule105846054.
- Independence_of_premise type RulesOfInference.
- Independence_of_premise comment "In proof theory and constructive mathematics, the principle of independence of premise states that if φ and ∃ x θ are sentences in a formal theory and φ → ∃ x θ is provable, then ∃ x (φ → θ) is provable. Here x cannot be a free variable of φ.The principle is valid in classical logic. Its main application is in the study of intuitionistic logic, where the principle is not always valid.".
- Independence_of_premise label "Independence of premise".
- Independence_of_premise sameAs m.06406yj.
- Independence_of_premise sameAs Q6016278.
- Independence_of_premise sameAs Q6016278.
- Independence_of_premise sameAs Independence_of_premise.
- Independence_of_premise wasDerivedFrom Independence_of_premise?oldid=585909780.
- Independence_of_premise isPrimaryTopicOf Independence_of_premise.