Mikä kaava komeilee Squirrelin avatarina?
Olen oikeasti yllättynyt että jotain jaksaa kiinnostaa.
Se on loogista jargonia, olen nimennyt sen "squirrelin viäräleuaksi", koska sen merkitys, joka on luettavissa siitä ylimmältä riviltä, on "arkikielellä"
"A:n negaation negaatio ei ole A." (Hemmetin mahtipontista ja samanaikaisesti NIIN turhaa. Okei, jos joku sanoo että EI EI EI EI EI, EN MINÄ NIIN SANONUT, niin kukaan ei enää tiedä mitä hän on sanonut. Mutta tämähän on luonnollisesti jo muutenkin selvää:
http://scienceblogs.com/goodmath/2007/03/intuitionistic_logic_partial_r_1.php )
Alla on perustelut, T:t viittaa virallisiin päättelysääntöihin(selkeyttävät), joilla aina saa muokata sitä argumenttia ilman että sen merkitys muuttuu vääräksi. (Logiikassa saa käsitellä juttuja vain tietyillä tavoilla tai sitten se on väärin. Samperin epäavomielisiä tyyppejä ne loogikot.)
Jos jotakuta jaksaa kiinnostaa ne säännöt ja muu sälpe on tuollakin aliluvun "Luonnollinen päättely" alla:
http://fi.wikipedia.org/wiki/Predikaattilogiikka
Lause on tuossa lähinnä sen takia, että jouduin pyörittämään mm. predikaatti- & propositiologiikkaa avoimen yliopiston filosofian kursseilla "jonnin verran" (tuo on siis predikaattilogiikkaa, ei propositiologiikkaa.. Ei saa sekoittaa keskenään!), ja tuo todistustehtävä kun tuli eteen ajattelin ensin että "hei, opettaja on varmasti tehnyt virheen - tuo ei yksinkertaisesti voi pitää paikkaansa". Kuitenkin piti. Siksi on se tuossa. Kenties muistuttamassa itseä ja osittain siksi että loogisen jargonin laittaminen naamakuvan tilalle kuvaa minua (liikaakin) ihmisenä.
Kun tässä nyt ollaan kyselemässä ja "mitä vain" saa kysyä (ja minä olen liian siveä kysyäkseni "mitä sinulla on päälläsi" -tyylisiä heittoja) kysyn vastakysymyksen '''douv''':ilta. Oletko sinä mielikuvitusuniversumini rekvisiittaa?