dyskretna bezin: Jżeli wiadomo, że zdania p−>q, ~p−>r, r−>(p v q) są prawdziwe to czy można rozstrzygnąć które ze zdań p, q, rsą prawdziwe, a które nie?

Adamm: nie załóżmy że q to prawda, r to prawda wtedy wtedy wszystkie implikacje są prawdziwe, a p na nie wpływa