Regels en voorbeelden: logica

Wiskundige logica voor blinde leerlingen

De wiskundige logica is een deelgebied van de wiskunde. De wiskundige logica wordt onderverdeeld in vier deelgebieden: verzamelingenleer, bewijstheorie, modeltheorie en berekenbaarheid. Vroeger werd het ook wel symbolische logica genoemd en op één lijn getrokken met disciplines als filosofische logica en metawiskunde. Tegenwoordig vormt wiskundige logica een belangrijk onderdeel van de theoretische informatica. Hoe kunnen blinde leerlingen wiskundige logica met de brailleleesregel bestuderen?

Wiskundige logica symbolen

Voor logica worden symbolen in natuurlijke taal gebruikt. Voorbeelden zijn: en, voor alle, er is een. Verder worden een aantal pijlen gebruikt. Deze staan allemaal in dit artikel over symbolen voor logica. Tenslotte worden haken rechtstreeks overgenomen. Hieronder vind je voorbeelden van symbolen voor logica voor op de brailleleesregel. 

Voorbeelden

Voorbeeld 1

Distributiviteit

Wiskunde

Lineair

P(QR)=(PQ)(PR)

P of (Q en R) = (P of Q) en (P of R)

Voorbeeld 2

Eén van de regels van De Morgan

Wiskunde

Lineair

¬P¬Q=¬(PQ)

¬P en ¬Q = ¬(P of Q)

Voorbeeld 3

Implicatie

Wiskunde

Lineair

PQ=¬PQ

P --> Q = ¬P of Q

Voorbeeld 4

Equivalentie

Wiskunde

Lineair

PQ=(¬P¬Q)(PQ)

P ,:, Q = (¬P en ¬Q) of (P en Q)

Voorbeeld 5

Eenvoudige onderindex

Wiskunde

Lineair

x(AxyBxy)

er is een x (Ax of voor alle y Bxy)

We helpen je graag verder!

De klantenservice van Dedicon

Heb je een vraag over aangepaste wiskundeboeken? Onze klantenservice helpt je graag verder! T: 0486 486 486