Hoofdstuk 2: Propositielogica, waarheid en classificeren
Inhoud
Introductie
Verdere inhoud van hoofdstuk 2
Downloads
Bij dit hoofdstuk bestaat een online programma dat kan worden gebruikt ter verdieping of ter illustratie. U kunt de Waarheidstabulator gebruiken voor het berekenen van waarheidstabellen.Introductie
We hebben al gezien dat voor een logicus het verhevene heel dicht kan liggen bij het alledaagse. Misschien beter gezegd: een logicus ziet het verhevene in het alledaagse ... Om een aantal logische kernbegrippen uit te leggen gaan we nu terug van bewijzen in de wiskunde naar een meer elementair niveau van correct redeneren. Waarom is de ene redenering correct en de andere niet? We zullen een eenvoudige, maar precieze en compacte logische taal gebruiken: die van de propositielogica
Verdere inhoud van hoofdstuk 2
Alle materiaal is te vinden in de file die gedownload kan worden (zie bovenaan deze pagina).
© 2012 Open Universiteit | Disclaimer | Contact


