# Home

Welkom bij de module "Logica"

Logica is het vakgebied dat de geldigheid van redeneringen onderzoekt. In de wiskunde worden redeneringen gebruikt om uitspraken (stellingen) te bewijzen. Dergelijke redeneringen volgen bepaalde regels en die ga je in deze cursus nader bekijken.

In deze module maak je kennis met beweringen, met samenstellingen van beweringen, met waarheidstabellen, enzovoorts. Deze basiskennis wordt het gereedschap waarmee je vervolgens ingewikkelder zaken kunt aanpakken, zoals:

- complexe logische puzzels oplossen
- een beslis-apparaat maken (bijvoorbeeld een sensor die kan beslissen of twee van de drie ramen open staan)
- een eenvoudige computer van papier maken (een zgn. Turing Machine)

In het filmpje hieronder krijg je een eerste indruk van redeneren en logica.

Bron: http://www.schooltv.nl/beeldbank/clip/20071205_defilosoof01

Is de module "Logica" wat voor jou?

De module Logica is ontworpen als keuzeonderwerp voor Wiskunde D.
Het lesmateriaal is o.a. gebaseerd op:
- de cursus "Bewijzen" van de HvA geschreven door Marco Swaen
- het boek Logica geschreven door Wim Berkelmans

De samenstellers van deze cursus zijn:
Jorn Blom (opmaak)
Marco Swaen (hoofdauteur)
Pauline Vos (auteur en redactie)
We bedanken Wim Berkelmans, Willem Hoekstra, Rob Ouwerkerk, Frits Spijkers en Joost Termeer voor hun bijdragen.