26.6.12

lauselogiikkaa


Air Finland lopettaa toimintansa jos ja vain jos mies kuolee rajussa yhteenajossa Raaseporissa.

Eurobondeja ei tule ja raakamakkaran suosio nousee huimasti.

Votkamerkki loukkaa mormoneja tai tämä on suosituin tuutulaulu.

Jos nainen ei istu lennolla ruumiin vieressä, niin herttuatar Catherine joutuu nokkimisjärjestyksen hännille.

Häkkinen laukoo suorat sanat Kimin tilanteesta jos ja vain jos Jodie Marsh ei vaihda seksiä Twitteriin.

Jodie Marsh vaihtaa seksin Twitteriin ja eurobondeja ei tule.

Jos raakamakkaran suosio ei nouse huimasti, niin Wirkkala saakin heittää.

Nainen istuu lennolla ruumiin vieressä jos ja vain jos eurobondit tulevat.

Jos Häkkinen ei lauo suoria sanoja Kimin tilanteesta, niin tämä ei ole suosituin tuutulaulu.

Wirkkala ei saakaan heittää ja raakamakkaran suosio nousee huimasti.

Mies kuolee rajussa yhteenajossa Raaseporissa jos ja vain jos nainen istuu lennolla ruumiin vieressä.

Jos Häkkinen laukoo suorat sanat Kimin tilanteesta, niin herttuatar Catherine ei joudu nokkimisjärjestyksen hännille.

Wirkkala saakin heittää tai näissä paikoissa suomalaisia petkutetaan eniten.

Air Finland lopettaa toimintansa ja votkamerkki ei loukkaa mormoneja.


2 kommenttia:

Tommi Uschanov kirjoitti...

"Wirkkala saakin heittää" menee kyllä jo modaalilogiikan suuntaan. Siinä on on vieläpä sekä deonttinen ("Wirkkalalle on sallittua, että hän heittää") että temporaalinen elementti ("Aiemmin Wirkkala ei saanut heittää, nyt hän saa").

Arnkil kirjoitti...

Hyvä huomio... Pitäisikö sanoa, että sen kyllä voi formalisoida lauselogiikassa ("Wirkkala saakin heittää tai näissä paikoissa suomalaisia petkutetaan eniten" olisi yksinkertaisesti P v Q), mutta näin ei tavoiteta analysoimaasi tarkempaa sisältöä. Modaalilogiikassa (ja muissa kehittyneemmissä logiikoissa) se voitaisiin formalisoida täsmällisemmin. Näin olisi mahdollista kehitellä myös hienojakoisempia argumentteja.