Redan medlem?
Logga in
Denna sång handlar om formell logik: Prenex normalform. 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, läs på egen risk!
Filosofisk sång: Formel 2
Ekvivalens är samma som implication, sa de Morgans mamma för "and" och "or" betyder ju detsamma
Flytta sen negationer till din formels inre bastiljoner se över variablers kombinationer
Nu är det nästan klart! Flytta är underbart! Så samla alla kvantifikatorer...
...till början av hela smörjan bättre gå på blank is än i sörja!
Övriga genrer
(Visa/Sångtext)
av
Nanna X
Läst 172 gånger och applåderad av 2 personer Publicerad 2018-12-09 10:15
|
Nästa text
Föregående Nanna X |