5 zadan
- pierwsze sprawdzić tautologię
tautologia to banał więc nie bedę myślał nad tym

- drugie przedstawić coś tam w postaci koniunkcji normalnej
tej koniunkcji sobie nie przypomnę, ta kopniuincja to napisanie tabelki

- trzecie zaprzeczyć jakiemuś zdaniu
to zaprzeczenie to jakoś tak było

istnieje x należy do R (x^2>y^2-1 spójnik i dla każdego x >y)



- czwarte reguła wnioskowania i chyba było

p=>q, ~p=>q
-------------------
q
i ostatnie to jedyna z problemem


było że x jest w relacji z y to 7|x-y
i tu trzeba było sprawdzić czy jest ona relacją równoważności i wzory na to napisał nam
i trzeba było podać ile jest i opisać klasy abstrakcji