1. "jeżeli p, to jeżeli r, to q" formalizujemy jako p ->(q -> r). ??? Nie widze to tego postaw, chodzi chyba o p ->(r-> q). .Istotnie, poprzednikiem pierwszej implikacji jest wyrażenie pomiędzy :jeżeli" a "to", a w tym przykładzie jest to p.
Formalizacja (p -> q) -> r. bylaby poprawna, gdyby tekst brzmiał : jeżeli jeżeli p to q to r. Jest to niezbyt poprawne językowo, ale może się zdarzyć takie sformułowanie : Jeżeli skoro p to q, to w takim razie r. Nie przypominam sobie zadań z takim sformułowaniem.
2. Mylisz się, że "Andrzej nie jest zawiedzony" występuje tylko jako zdanie z negacją. Zwróć uwagę na to, że "ani Andrzej nie jest zawiedzony, ani Tomek nie jest mistrzem" to binegacja, zatem formalizujemy ją jako q binegacja r, a nie jako ~q binegacja ~r. Natomiast w pierwszej przesłance to samo zdanie jest zanegowane. Zatem w treści zadania to zdanie raz jest zanegowane, a drugi raz nie.
3, Twoja formalizacja jest poprawna