LORD BLOTBILSKI

Na hemmekik bekan een week geleje in verig berigt per abies mee oepzet een drikfaat lote drikke. Aa jo, (6) da moet vanaigest ~R → A zaan. Paasde gijlle naa datter ne mens es dieje de moejte gedoon hee da te lote wete? Neeje dus. Awel, ge zie van hie dakik dan nog mane nikkele gon afdrowe. De werelt zal zowe oek wel blave drowe, me ged8.

Neise, da des persies de werelt ni mo maa lodderoeweg. Hoe cares?

Of wast mss ni mojjelaak genoeg? Alle, leest dan dees he zeg. Den ink es nog nie tegoj drieg.

http://xxx.lanl.gov/pdf/math/9911179v2

Tot as me mekandere nog es tegekome, mo da zal ne mieje vee de noen zaan.

Me gon vets int sgowe vloms. Kzeg da mo oemda ge nie te hed zot versgiete.

Er bestaan meerdere soorten implicaties, maar we zullen ons houden aan de implicatie uit de klassieke tweewaardige logica. We zullen die implicatie voorstellen door ->, maar gelieve te noteren dat er ook andere schrijfwijzen in omloop zijn.Als P en Q proposities zijn, dan lezen we P - >Q als "als P, dan Q" of iets van soortgelijke strekking.

Uitgaande van de proposities (1) en (2) uit vorig bericht en gebruik makend van de negatie kan men onder andere volgende implicaties vormen:

Als het regent op 1 mei, dan is april voorbij. (3)
Als het niet regent op 1 mei, dan is april voorbij. (4)

Met de eerder gemaakte afspraken wordt dat:

R -> A   (5)
R -> ~A (6)

Ge zieget al aankome zeker? Nieje? Jomme, dan moette tog dringent es iet werre leze over logika. A bekke gegoogel en ge het keus genoeg. Ik hem da nie: kmoet naa gon ete of men petaate werre kaat.

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.

Geachte Dames en Heren van Skynet

Ik geraak al weken niet meer uitgelogd. Volgens mijn kalenderke is 1 april nochtans voorbij. Zou U daar pakweg vóór 1 mei van dit jaar wat kunnen aan doen?

Vandaag wordt Alexander Grorhendieck 82. Nooit van gehoord, zeker? 't Is erg: Ratzinger en Shakira kent iedereen, maar een van de grootste wiskundigen van de twintigste eeuw ... ola. Wat zei ik daar? Twintigste eeuw? In de lijst van James D. Allen -

Oh ja, als U Grothendieck ooit moest tegenkomen, doe hem dan de groeten. In 1991 trok hij namelijk zijn voordeur achter zich dicht en verdween. Maar hij leeft nog, wees gerust. En ik heb intussen ook schoon genoeg van deze kloteboel. Misschien trek ik mij ook terug. Neen, niet in Scherpenheuvel. Allez, tot nog eens.

Enkele uren ingespannen denken en 2 Leffes later.

Neen begot, want dan zie je niet wanneer je je ogen opnieuw moet openen.

Als je in het pikkedonker je weg moet zoeken, kan je dan niet beter - al was het maar uit zuinigheidsoverwegingen - je ogen sluiten?