1 Kennen en kunnen H4 De volgende begrippen kunnen uitleggen: - stelling- tautologie - betrouwbaar- volledig De volgende bewijsmethoden kunnen uitleggen evenals het verband met stellingen uit het propositierekenen: - aannemen van het antecedent - gevallenonderzoek - methode van de wederzijdse implicatie - methode van de contradictie - methode van de contrapositie
2 Kennen en kunnen H4 Calculationele bewijzen kunnen leveren voor stellingen uit de propositiecalculus, uitgaande van de 15 axioma's en de 4 afleidingsregels De waarheidswaarde van een propositie in alle mogelijke toestanden kunnen nagaan - in de gebruikelijke tweewaardige semantiek (a.d.h.v. een waarheidstabel) - in een gegeven meerwaardige semantiek en zelf een vb. kunnen geven van een meerwaardige semantiek
3 Kennen en kunnen H4 De begrippen specificatie, implementatie en gedrag in de context van digitale schakelingen beheersen Kunnen bewijzen dat een gegeven schakeling een gegeven gedrag vertoont
4 Kennen en kunnen H4 x Æ 0 ´ 0x Ç 1 ´ 1 x Æ 1 ´ xx Ç 0 ´ x x Æ x ´ xx Ç x ´ x x Æ : x ´ 0x Ç : x ´ 1 : (x Æ y) ´ : x Ç : y : (x Ç y) ´ : x Æ : y x Ç (y Æ z) ´ (x Ç y) Æ (x Ç z) x Æ (y Ç z) ´ (x Æ y) Ç (x Æ z) : : x ´ xx ) y ´ : x Ç y x Æ y ) z ´ x ) y ) z x Æ (x Ç y) ´ xx Ç (x Æ y) ´ x