Regel: ad absurdum#

Forutsetninger og læringsmål#

Introduksjon#

../../_images/litenMus.jpg

Fig. 52 Liten mus fra Nrk#

"Når en liten mus skal ut og gå, må hun se seg for og passe på,
Det er mange her som ønsker at. få en deilig liten musestek til middagsmat.

Altså: Om hun ikke passer på blir situasjonen uutholdelig/absurd. Derfor må hun passe på.

En indirekte regel.

Eksempler#

Likningen \(x + 2 = x + 1\) gir \(1 = 2\), som er absurd; derfor må likningen være usann i alle situasjoner.

“Hæ, vil du åpne for fri hasj? Hva trur du ville skje da?”

Hva er det absurde?#

I matematikken betyr “absurd” gjerne “logisk motsetning”. I hverdagsargumentasjon bruker vi tilsvarende regel litt mindre stramt, og da kan “det absurde” være

  • noe som er uutholdelig (å bli spist)

  • noe som er urimelig (du kan da ikke mene det)

Representasjoner#

../../_images/adAbsurdum.jpg

Fig. 53 Om noe fører til noe absurd, bør man unngå det.#

Ord#

Å anta det motsatte er absurd

“Absurd” = logisk motsetning, latterlig, smertefullt

Vil du åpne Norge for fri import av narkotika, hva tror du skulle skje da?

Stråmanndsstrategi

Formelspråket#

\(\overset{¬P ⇒ ⊥}{\underset{P}{↓}}\)

betyr her “absurd”.

Venn-diagram#

TODO / øvelse

Sannhetsverditabell#

TODO / øvelse

Vi ser det fungerer i alle situasjoner.

Grafiske representasjoner#

Nedover

Task#

Bevis at det ikke finnes noe høyeste heltall

Bevis at summen av et rasjonalt og irrasjonatl tall er irrasjonalt

Algoritmer#

Lage regel fra egnet metafor#

Formuler regelen for, og argumenter for i en metafor

  • 2 + 31 → 4

  • Å flytte over i en likning

  • Den kommutative lov for addisjon

  • Den assosiative lov for addisjon

Lage regler fra inni-regler#

Transitivt

Datatyper#

Læring#

Men…#