Koppa

Opetusvideot / Logiikka ja joukko-oppi

LJ4: Predikaattilogiikkaa 2 - epätodeksi todistaminen

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

Tehtävä

Osoita todeksi tai epätodeksi seuraava väite:

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

Tässä Z on kaikkien kokonaislukujen joukko.

Video

Flash 2,4 Mt | QuickTime 3,4 Mt − kesto 2:56 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.