implicatie

Kennis van logica kan leerlingen helpen om bewijzen beter te doorgronden, het nut van tegenvoorbeelden in te zien… Daarnaast vormt logica, op het kruispunt van wiskunde en filosofie, een stukje algemene cultuur. Door de opkomst van de informatica heeft de logica nog aan belang gewonnen. De nieuwe eindtermen en leerplannen voorzien een leerlijn logica, met in de tweede graad de propositielogica met o.a. waarheidstabellen. In deze loep willen we inspiratie bieden voor deze lessen. We gaan in op het verschil tussen de taal van de logica en de dagelijkse omgangstaal. We behandelen waarheidstabellen en passen die toe op schakelingen en logische poorten. Het bewijs uit het ongerijmde geven we speciale aandacht. In de klassieke logica geldt het ‘uitgesloten derde’: een uitspraak kan enkel waar of onwaar zijn. Op het einde van deze loep kijken we even over het muurtje naar een andere soort logica, driewaardige logica.

Wiskundig denken is niet te herleiden tot het toepassen van formele logica. Toch kan een kennismaking met logica een steun zijn om bepaalde denkfouten binnen en buiten de wiskunde te begrijpen en te vermijden. Deze loep bestaat uit twee modules. De eerste legt de nadruk op logisch redeneren buiten de wiskunde en kan een keuzeonderwerp zijn in een richting met weinig uren wiskunde. De tweede module is een vervolg op de eerste en is bedoeld voor leerlingen van de derde graad die een zwaarder wiskundepakket kozen. In deze module worden begrippen uit de logica toegepast op wiskundige redeneringen en redeneerfouten, op basis van leerstof uit de tweede en derde graad.