Matematyka.pl

Mam do rozwiązania podobne zadanie i utknąłem na zbudowaniu równania charakterytycznego ("pierwsza metoda"), mianowicie: a _{n} = 3 a_{n-1} + a_{n-2} dla a_{0}=1 , a_{1}=1 widzę, że: a_{2} = 3 1 + 1 = 4 a_{3} = 3\cdot 4 + 1 = 13 a_{4} = 3\cdot 13 + 4 = 43 itd. ale chyba za głupi jestem żeb...

Mamy dane wyrażenie: [[(p r) (q s)] (r s)] [[(p q) (q r)] ( p s)] Sprawdzić czy powyższa formuła zdaniowa jest tautologią. Budujemy "tablicę prawdy" (pozwole sobie na zrzut ekranu, gdyż tabela w LATEX-ie mogłaby zając zbyt dużo miejsca) tiny.pl/ 6559 (link trzeba przekleic do przeglądarki ...