Propositio- ja predikaattilogiikka, ylimääräisiä harjoitus