Opetusvideot / Logiikka ja joukko-oppi / LJ3-tehtävä

LJ3: Predikaattilogiikkaa 1- todeksi osoittaminen