Wetten van de predikaatlogica - Logische equivalentie - Normaalvormen
3 belangrijke vragen over Wetten van de predikaatlogica - Logische equivalentie - Normaalvormen
Waarom normaliseren naar een prenexe normaalvorm?
Het kwantorvrije deel van de prenexe normaalvorm (..........) kan in CNV of DNV worden omgezet. Binnen de propositielogica had de CNV de volgende toepassingen:
- Is een formule een tautologie (in dit geval algemeen geldig)?
- Is een formule een contradictie(nooit waar voor ieder mogelijk model)?
- Is de formule een contingentie (voor bepaalde modellen waar/onwaar)?
- Updaten van databases
- Ontwerpen van kennissystemen OF in dit geval condities in JAVA
Hoe kun je een formule omzetten naar een prenexe normaalvorm?
DOEL: Leeg rijtje kwantoren gevolg door een kwantorvrije formule i.e. VxEx(.........)
- Herbenoemen gebonden variabelen in verschillende deelformules
- Loze kwantificatie
- Distributie kwantoren (ontbinden of verdelen)
HerLeiD = Herbenoemen,Loze kwantificatie, Distributie
Is een prenexe normaalvorm van een predikaatlogische formule uniek?
Nee
De vragen op deze pagina komen uit de samenvatting van het volgende studiemateriaal:
- Een unieke studie- en oefentool
- Nooit meer iets twee keer studeren
- Haal de cijfers waar je op hoopt
- 100% zeker alles onthouden
Onthoud sneller, leer beter. Wetenschappelijk bewezen.
