In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).
| Property | Value |
|---|
| dbpprop:abstract
|
- In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).
- Eine Schlussregel ist gültig in Bezug auf ein logisches System wenn die Regel zum System gehört und jeder beweisbare Satz, der mit der Regel bewiesen werden kann auch ohne sie bewiesen werden kann. wenn die Regel nicht zum System gehört und durch Hinzufügen der Regel kein Satz bewiesen werden kann, der nicht auch ohne sie bewiesen werden kann.
|
| dbpprop:hasPhotoCollection
| |
| dbpprop:otheruses4Property
| |
| dbpprop:reference
| |
| dbpprop:wikiPageUsesTemplate
| |
| rdfs:comment
|
- In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).
- Eine Schlussregel ist gültig in Bezug auf ein logisches System wenn die Regel zum System gehört und jeder beweisbare Satz, der mit der Regel bewiesen werden kann auch ohne sie bewiesen werden kann. wenn die Regel nicht zum System gehört und durch Hinzufügen der Regel kein Satz bewiesen werden kann, der nicht auch ohne sie bewiesen werden kann.
|
| rdfs:label
|
- Admissible rule
- Gültige Regel
|
| owl:sameAs
| |
| skos:subject
| |
| foaf:page
| |
| is dbpprop:redirect
of | |
![[RDF Data]](/statics/sw-cube.png)
