Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Nicods_axiom> ?p ?o }
Showing triples 1 to 23 of
23
with 100 triples per page.
- Nicods_axiom abstract "Nicod's axiom is an axiom in propositional calculus that can be used as a sole wff in a two-axiom formalization of zeroth-order logic.The axiom states the following always has a true truth value. ((φ ⊼ (χ ⊼ ψ)) ⊼ ((τ ⊼ (τ ⊼ τ)) ⊼ ((θ ⊼ χ) ⊼ ((φ ⊼ θ) ⊼ (φ ⊼ θ))))To utilize this axiom, Nicod made a rule of inference, called Nicod's Modus Ponens.1. φ2. (φ ⊼ (χ ⊼ ψ))∴ ψIn 1931, Mordechaj Wajsberg found an adequate, and easier-to-work-with alternative. ((φ ⊼ (ψ ⊼ χ)) ⊼ (((τ ⊼ χ) ⊼ ((φ ⊼ τ) ⊼ (φ ⊼ τ))) ⊼ (φ ⊼ (φ ⊼ ψ))))pl:aksjomat Nicoda-Łukasiewicza".
- Nicods_axiom wikiPageID "27656359".
- Nicods_axiom wikiPageLength "963".
- Nicods_axiom wikiPageOutDegree "6".
- Nicods_axiom wikiPageRevisionID "548205391".
- Nicods_axiom wikiPageWikiLink Axiom.
- Nicods_axiom wikiPageWikiLink Category:Propositional_calculus.
- Nicods_axiom wikiPageWikiLink Category:Theorems_in_propositional_logic.
- Nicods_axiom wikiPageWikiLink Propositional_calculus.
- Nicods_axiom wikiPageWikiLink Well-formed_formula.
- Nicods_axiom wikiPageWikiLink Zeroth-order_logic.
- Nicods_axiom hasPhotoCollection Nicods_axiom.
- Nicods_axiom wikiPageUsesTemplate Template:Wikisource.
- Nicods_axiom subject Category:Propositional_calculus.
- Nicods_axiom subject Category:Theorems_in_propositional_logic.
- Nicods_axiom hypernym Axiom.
- Nicods_axiom comment "Nicod's axiom is an axiom in propositional calculus that can be used as a sole wff in a two-axiom formalization of zeroth-order logic.The axiom states the following always has a true truth value. ((φ ⊼ (χ ⊼ ψ)) ⊼ ((τ ⊼ (τ ⊼ τ)) ⊼ ((θ ⊼ χ) ⊼ ((φ ⊼ θ) ⊼ (φ ⊼ θ))))To utilize this axiom, Nicod made a rule of inference, called Nicod's Modus Ponens.1. φ2. (φ ⊼ (χ ⊼ ψ))∴ ψIn 1931, Mordechaj Wajsberg found an adequate, and easier-to-work-with alternative.".
- Nicods_axiom label "Nicod's axiom".
- Nicods_axiom sameAs m.0c41lw7.
- Nicods_axiom sameAs Q7028899.
- Nicods_axiom sameAs Q7028899.
- Nicods_axiom wasDerivedFrom Nicods_axiomoldid=548205391.
- Nicods_axiom isPrimaryTopicOf Nicods_axiom.