Naar de hoofdinhoud Naar de navigatie

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 ∨ ( Q∧R ) = ( P∨Q ) ∧ ( P∨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

¬P ∧ ¬Q = ¬ ( P∨Q )

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

Voorbeeld 3

Implicatie

Wiskunde
Lineair

P→Q = ¬P ∨ Q

P –> Q = ¬P of Q

Voorbeeld 4

Equivalentie

Wiskunde
Lineair

P↔Q = ( ¬P ∧ ¬Q ) ∨ ( P∧Q )

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

Voorbeeld 5

Eenvoudige onderindex

Wiskunde
Lineair

∃x ( Ax ∨ ∀y Bxy )

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

Meer wiskunderegels en voorbeelden

Terug naar alle regels en voorbeelden