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 \lor (Q \land R) = (P \lor Q) \land (P \lor R)$	P of (Q en R) = (P of Q) en (P of R)

Voorbeeld 2

Eén van de regels van De Morgan

Wiskunde	Lineair
$\neg P \land \neg Q = \neg (P \lor Q)$	¬P en ¬Q = ¬(P of Q)

Voorbeeld 3

Implicatie

Wiskunde	Lineair
$P \to Q = \neg P \lor Q$	P --> Q = ¬P of Q

Voorbeeld 4

Equivalentie

Wiskunde	Lineair
$P \leftrightarrow Q = (\neg P \land \neg Q) \lor (P \land Q)$	P ,:, Q = (¬P en ¬Q) of (P en Q)

Voorbeeld 5

Eenvoudige onderindex

Wiskunde	Lineair
$\exists x (A x \lor \forall y B x y)$	er is een x (Ax of voor alle y Bxy)

Publicatiedatum: 8 oktober 2019 Laatste update: 7 maanden geleden