noem de  4 soorten wetten van de propositielogica