Tehtävä 15 · 2006 · kevät

Muodosta totuusarvotaulut lauseille (propositioille) $p\Rightarrow q$ ja $\neg q\Rightarrow\neg p$, ja osoita, että lause $(p\Rightarrow q)\Leftrightarrow(\neg q\Rightarrow\neg p)$ on tautologia.