Koppa

Opetusvideot / Logiikka ja joukko-oppi

LJ3: Predikaattilogiikkaa 1 - todeksi todistaminen

Videon katseluun voit valmistautua tekemällä ensin seuraava tehtävä:

Tehtävä

Osoita todeksi seuraava väite:

      ∀ x ∈ Z ∃ y ∈ Z:  2x − 1 = (2y + 1) ⁄ 3 .

Tässä Z on kaikkien kokonaislukujen joukko.

Video

Flash 2,4 Mt | QuickTime 3,4 Mt − kesto 3:37 min.

Flash-videon katselua varten koneessasi tarvitsee olla tuki JavaScriptille sekä Macromedia Flash Player. Soittimen voit ladata osoitteesta http://www.macromedia.com/go/getflashplayer. QuickTime-video puolestaan vaatii, että koneessa on Quicktime-plugin. Voit ladata Quicktime-soittimen osoitteesta http://www.apple.com/fi/quicktime/download/ tai Quicktime Alternativen osoitteesta http://www.free-codecs.com/download/QuickTime_Alternative.htm.