Redan medlem?
Logga in
Denna sång handlar om formler för introduktion respektive elimination av kvantifikatorer. Melodi: fritt efter Mamma är lik sin mamma. I första hand memo-formler för mig själv inför tenta i morgon, jag memorerar bättre på rim. Alltså logiknördvarning!
Filosofisk sång: Formel 3
Enkel att eliminera: att alla rymmer en kan accepteras men värre är när ensam ska bli flera:
Alla kan vara kuber men subproof måste till för det ska duga så en blir alla i en märklig fuga
Sen blir det E Intro förstås ett ensamt tomtebloss är ändå något bloss i någons stuga
Elim av E är svårast samma strategi som redan spårats sätt kuben i ett block - och se, det våras!
Övriga genrer
(Visa/Sångtext)
av
Nanna X
Läst 183 gånger och applåderad av 3 personer Publicerad 2018-12-09 11:08
|
Nästa text
Föregående Nanna X |