Logika pilna pomoc potrzebna od zaraz !!!!! Tomek19: Witam mam poprawę egzaminu i koniecznie muszę rozwiązać to zadanie aby zaliczyć tę poprawkę. Będę wdzieczny jeśli ktoś mi w tym pomoże (to moja ostatnia deska ratunku) Wykaż stosująć metodę rozolucji, że następująca forma jest tautologią LPR. ¬∃yP(y)−>(∀y(∃xP(x)−>P(y)))