Skolemin normaalimuoto predikaattilogiikassa
Tutkielman tarkoituksena on selvittää Skolemin normaalimuodon käyttötarkoituksia ensimmäisen kertaluvun predikaattilogiikassa. Sovelluskohteina esitellään teoreettisten kysymysten lisäksi resoluutiopäättely ja automatisoidut päättelyjärjestelmät. In this thesis, we study Skolem normal form and its...
| Main Author: | |
|---|---|
| Other Authors: | , , , , , |
| Format: | Bachelor's thesis |
| Language: | fin |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://jyx.jyu.fi/handle/123456789/101866 |
| Summary: | Tutkielman tarkoituksena on selvittää Skolemin normaalimuodon käyttötarkoituksia ensimmäisen kertaluvun predikaattilogiikassa. Sovelluskohteina esitellään teoreettisten kysymysten lisäksi resoluutiopäättely ja automatisoidut päättelyjärjestelmät.
In this thesis, we study Skolem normal form and its applications in first-order logic, with a particular focus on its usefulness in automated theorem proving.
|
|---|