Wetten van de predikaatlogica - Algemeen geldige formules
3 belangrijke vragen over Wetten van de predikaatlogica - Algemeen geldige formules
Welke drie manieren zijn er voor het bewijzen van een algemeen geldige formule?
- Voor ieder model de waarheidswaarde van de formule berekenen (moeizaam)
- Voor een willekeurig model M berekenen of de formule waar is voor elke model.
- Een tegenvoorbeeld geven waaruit blijkt dat de formule niet algemeen geldig is.
Hoe stel je een model op?
- Stippen = objecten
- Figuren = Predikaten
- Pijlen = relaties (2-plaatsige predikaten)
- Constanten = noemers of aliassen van objecten (>= 1)
- Predikaatsymbolen per Relatie
Wanneer pas je algemeen geldige formules toe?
- Controleren: is een correctheidsbewering algemeen geldig?
- Bezuinigen op bedrijfsregels
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.
