Koppa

Opetusvideot / Logiikka ja joukko-oppi

LJ2: Muokkaussääntöesimerkki

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

Tehtävä

Osoita logiikan muokkaussäännöin, että väitteet P ⇒ (Q ⇒ R) ja Q ⇒ (P ⇒ R) ovat keskenään ekvivalentit väitteet. Vihje: Lausu implikaatiot muiden loogisten siteiden avulla (ks. LJ1−tehtävä).

Video

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