Sprawdz czy poniższe zdanie jest prawem rachunku zdań. [(p / q) => (r / s)] <=> [(~p / s)/ ~ (p/ ~ r)] Proszę o uzasadnienie odpowiedzi (rozwiązanie).

Sprawdz czy poniższe zdanie jest prawem rachunku zdań. [(p / q) => (r / s)] <=> [(~p / s)/ ~ (p/ ~ r)] Proszę o uzasadnienie odpowiedzi (rozwiązanie).