Veralgemeende - binaire quantificatie

[Broes De Cat]

idp theorie annoteren met dialect

uniformiteit: veralgemeende quantificatie kan alleen worden uitgedrukt als variabele + domein + formule (en in FO kunnen we het domein toevallig ook in de formule steken.

!(xxx) [P(xxx)]: is de base case, die betekent !(xxx): P(xxx) =>

Voor de rest: zie presentatie Bart.

[Broes De Cat]

Removing milestone: Later (automated comment)