LORD BLOTBILSKI

Helegans in de staal van de jeugt van sewoorig gonnekik ijlle e bekke loogika babrengen mee serjeeze gevolge vee aa en maan almanakse. Kgon de rest wel in da fucking besgaaft toltje schrave, kweste vant tog iet of wa moeielijk te moke.

Beschouw volgende zinnen:

Het regent op 1 mei (1)
April is voorbij (2)

Zinnen zoals (1) en (2) noemt men in de logica proposities: uitspraken waaraan men een waarheidswaarde kán toekennen. In de formele logica ziet men af van de concrete inhoud van proposities en men stelt ze mede daarom voor door letters. We zullen zin (1) kortweg voorstellen door R, zin (2) door A.

Uitgaande van proposities zoals R en A kan men complexere, samengestelde proposities opbouwen. Omdat ge zo geïnteresseerd zijt, zullen we ons beperken tot wat we nodig hebben voor hetgeen volgt.

Om te beginnen kan men van een propositie de negatie vormen. Zo is de negatie van (1) uiteraard: het regent niet op 1 mei. Symbolisch schrijft men dit als ~R.

Allez, tot merrege.