Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Implicational_propositional_calculus> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- Implicational_propositional_calculus abstract "In mathematical logic, the implicational propositional calculus is a version of classical propositional calculus which uses only one connective, called implication or conditional. In formulas, this binary operation is indicated by "implies", "if ..., then ...", "→", "", etc..".
- Implicational_propositional_calculus wikiPageExternalLink 259359.
- Implicational_propositional_calculus wikiPageExternalLink 20488489.
- Implicational_propositional_calculus wikiPageID "5795043".
- Implicational_propositional_calculus wikiPageRevisionID "545356518".
- Implicational_propositional_calculus hasPhotoCollection Implicational_propositional_calculus.
- Implicational_propositional_calculus subject Category:Articles_containing_proofs.
- Implicational_propositional_calculus subject Category:Conditionals.
- Implicational_propositional_calculus subject Category:Propositional_calculus.
- Implicational_propositional_calculus subject Category:Systems_of_formal_logic.
- Implicational_propositional_calculus type Ability105616246.
- Implicational_propositional_calculus type Abstraction100002137.
- Implicational_propositional_calculus type Cognition100023271.
- Implicational_propositional_calculus type Know-how105616786.
- Implicational_propositional_calculus type Logic105664069.
- Implicational_propositional_calculus type Method105660268.
- Implicational_propositional_calculus type PsychologicalFeature100023100.
- Implicational_propositional_calculus type System105661996.
- Implicational_propositional_calculus type SystemsOfFormalLogic.
- Implicational_propositional_calculus comment "In mathematical logic, the implicational propositional calculus is a version of classical propositional calculus which uses only one connective, called implication or conditional. In formulas, this binary operation is indicated by "implies", "if ..., then ...", "→", "", etc..".
- Implicational_propositional_calculus label "Cálculo proposicional implicacional".
- Implicational_propositional_calculus label "Implicational propositional calculus".
- Implicational_propositional_calculus label "蕴涵命题演算".
- Implicational_propositional_calculus sameAs Cálculo_proposicional_implicacional.
- Implicational_propositional_calculus sameAs m.0f508m.
- Implicational_propositional_calculus sameAs Q6007243.
- Implicational_propositional_calculus sameAs Q6007243.
- Implicational_propositional_calculus sameAs Implicational_propositional_calculus.
- Implicational_propositional_calculus wasDerivedFrom Implicational_propositional_calculus?oldid=545356518.
- Implicational_propositional_calculus isPrimaryTopicOf Implicational_propositional_calculus.