LORD BLOTBILSKI

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.