[home]
Voor een groot deel van de opgaven worden aanwijzingen gegeven, volledige uitwerkingen slechts in enkele gevallen.
Deze pagina’s gebruiken mathml en zijn daarom het best met de Firefox browser te bekijken. (Alleen de Gecko engine ondersteunt mathml volledig.)
Hoe een uitwerking op te schrijven? Het boek staat vol met proposities (en stellingen). Iedere propositie is te zien als een opgave: bewijs deze propositie. Het gegeven bewijs is dan een uitwerking van die opgave. Zo’n bewijs is een redenering: een opeenvolging van zinnen die de juistheid van de propositie aantonen.
Dit is werk in uitvoering: zodra aanwijzingen bij de opgaven van een hoofdstuk gereed zijn, wordt een pagina toegevoegd.