Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Independence_of_premise> ?p ?o }
Showing triples 1 to 31 of
31
with 100 triples 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 wikiPageLength "2902".
- Independence_of_premise wikiPageOutDegree "7".
- Independence_of_premise wikiPageRevisionID "607144839".
- Independence_of_premise wikiPageWikiLink BHK_interpretation.
- Independence_of_premise wikiPageWikiLink Brouwer–Heyting–Kolmogorov_interpretation.
- Independence_of_premise wikiPageWikiLink Category:Predicate_logic.
- Independence_of_premise wikiPageWikiLink Constructive_mathematics.
- Independence_of_premise wikiPageWikiLink Constructive_proof.
- Independence_of_premise wikiPageWikiLink Constructivism_(mathematics).
- Independence_of_premise wikiPageWikiLink Free_variable.
- Independence_of_premise wikiPageWikiLink Free_variables_and_bound_variables.
- Independence_of_premise wikiPageWikiLink Law_of_excluded_middle.
- Independence_of_premise wikiPageWikiLink Law_of_the_excluded_middle.
- Independence_of_premise wikiPageWikiLink Proof_theory.
- Independence_of_premise wikiPageWikiLink Weak_counterexample.
- Independence_of_premise wikiPageWikiLinkText "Independence of premise".
- Independence_of_premise hasPhotoCollection Independence_of_premise.
- Independence_of_premise wikiPageUsesTemplate Template:Cite_book.
- Independence_of_premise subject Category:Predicate_logic.
- Independence_of_premise hypernym Sentences.
- 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 Indepêndencia_de_Premissas.
- Independence_of_premise sameAs m.06406yj.
- Independence_of_premise sameAs Q6016278.
- Independence_of_premise sameAs Q6016278.
- Independence_of_premise wasDerivedFrom Independence_of_premise?oldid=607144839.
- Independence_of_premise isPrimaryTopicOf Independence_of_premise.