Predikaatlogica - De taal van de predikaatlogica - Termen en formules
3 belangrijke vragen over Predikaatlogica - De taal van de predikaatlogica - Termen en formules
Hoe worden de termen van de predikaatlogica gedefinieerd?
- Elke variabele of constante is een term.
- Als ƒ een n-plaatsig functiesymbool is en t1, ..., tn zijn termen dan is ƒ(t1, ..., tn)ook een term.
- Niets anders is een term.
Hoe worden de formules van de predikaatlogica gedefinieerd?
- Als P een n-plaatsig predikaatsymbool is en t1, ..., tn zijn termen (n ≥ 1), dan is P(t1, ..., tn) een formule.
- Als φ een formule is, dan is ¬φ ook een formule.
- Als φ en Ψ formules zijn, dan zijn (φ ∧ Ψ), (φ ∨ Ψ), (φ → Ψ) en (φ ↔ Ψ) ook formules.
- Als φ een formule is en v een willekeurige variabele, dan zijn ∀v φ en ∃v φ ook formules.
- Er zijn geen andere formules.
Wanneer is een formule een deelformule van een formule?
Als die formule bij de opbouw van een formule gebruikt is, elke formule noemen we voor het gemak ook een deelformule van zichzelf.
In de definitie van predikaatlogische formules zijn de φ's en de Ψ's in de diverse stappen dus steeds deelformules.
In de definitie van predikaatlogische formules zijn de φ's en de Ψ's in de diverse stappen dus steeds deelformules.
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.
