[LiTM] 2. Dowodzenie tautologii przez tabelkę, nie wprost oraz jeszcze inaczej