Skolemisieren |
| 26.04.2017, 12:27 | Auf diesen Beitrag antworten » |
| Haevelin | Skolemisieren Kann bei der Umformung von prädikatenlogischen Formeln in Resolution/KNF die Skolemisierung vor dem nach vorne Ziehen der Quantoren durchführen? |
|
|
|
|
|
Skolemisieren |
| 26.04.2017, 12:27 | Auf diesen Beitrag antworten » |
| Haevelin | Skolemisieren Kann bei der Umformung von prädikatenlogischen Formeln in Resolution/KNF die Skolemisierung vor dem nach vorne Ziehen der Quantoren durchführen? |
|
|
|
|
|