| Property |
Value |
| dbo:abstract
|
- A Herbrand-interpretációk a matematikai logikában használatos interpretációk egy speciális családját jelentik, melyeket elsősorban a rezolúciós kalkulusban használnak fel. Ezen elvét az adja, hogy benne minden konstansszimbólum önmagát, míg minden függvényszimbólum egy őt használó függvényt értelmez. A fontossága ezen logikai modelleknek Herbrand-tételében rejlik, mely kimondja, hogy ha egy S klóz kielégíthető bármely interpretációban, akkor S kielégíthető az ő Herbrand-interpretációjában is, és fordítva: Ha S nem elégíthető ki az ő Herbrand-interpretációjában, akkor semmilyen interpretációban sem kielégíthető. Névadója . (hu)
- A Herbrand-interpretációk a matematikai logikában használatos interpretációk egy speciális családját jelentik, melyeket elsősorban a rezolúciós kalkulusban használnak fel. Ezen elvét az adja, hogy benne minden konstansszimbólum önmagát, míg minden függvényszimbólum egy őt használó függvényt értelmez. A fontossága ezen logikai modelleknek Herbrand-tételében rejlik, mely kimondja, hogy ha egy S klóz kielégíthető bármely interpretációban, akkor S kielégíthető az ő Herbrand-interpretációjában is, és fordítva: Ha S nem elégíthető ki az ő Herbrand-interpretációjában, akkor semmilyen interpretációban sem kielégíthető. Névadója . (hu)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 2310 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| prop-hu:author
|
- Pásztorné Varga Katalin, Várterész Magda (hu)
- Pásztorné Varga Katalin, Várterész Magda (hu)
|
| prop-hu:isbn
| |
| prop-hu:publisher
|
- Panem Kiadó, Budapest (hu)
- Panem Kiadó, Budapest (hu)
|
| prop-hu:title
|
- A matematikai logika alkalmazásszemléletű tárgyalása (hu)
- A matematikai logika alkalmazásszemléletű tárgyalása (hu)
|
| prop-hu:wikiPageUsesTemplate
| |
| prop-hu:year
| |
| dct:subject
| |
| rdfs:label
|
- Herbrand-interpretáció (hu)
- Herbrand-interpretáció (hu)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is foaf:primaryTopic
of | |
