| dbo:description
|
- term (en)
- termine (it)
- terme (fr)
- Begriff (de)
- każda z trzech blisko powiązanych reguł wnioskowania i odpowiadające im prawa rachunku zdań (pl)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageWikiLink
| |
| dbp:field
|
- (en)
- Classical logic (en)
- Propositional calculus (en)
- Intuitionistic logic (en)
- Most systems of relevance logic (en)
|
| dbp:name
|
- Hypothetical syllogism (en)
|
| dbp:statement
|
- Whenever instances of , and appear on lines of a proof, can be placed on a subsequent line. (en)
|
| dbp:type
| |
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:label
|
- Hypothetical syllogism (en)
- Sil·logisme hipotètic (ca)
- Silogismo hipotético (es)
- Syllogisme hypothétique (fr)
- Sillogismo ipotetico (it)
- 仮言三段論法 (ja)
- 가언적 삼단 논법 (ko)
- Silogismo hipotético (pt)
- Hypotetisk slutledning (sv)
- 假言三段论 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:notableIdea
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
