[url=http://ifotos.pl/z/shaeswh/][img]http://s2.ifotos.pl/mini/2015-10-1_shaeswh Kiui: hej. zbadać czy następująca formuła rachunku zdań jest twierdzeniem tego rachunku: [(p⇒(q∧r)]⇒[(p⇒q)⋀(q⇒r)] moje rozwiązanie proszę o sprawdzenie http://ifotos.pl/z/shaeswh

PW: Nic nie udowodniłeś. A żadnej myśli "po polsku" nie umiesz napisać? Ja na przykład zupełnie nie rozumiem skąd się wzięło w(r) = 0 i jaki ma wpływ na prawdziwość implikacji.