Udowodnij prawo przechodności implikacji [(p=>q)^(q=>r)]=>(p=>r) Udowodnij prawo przechodności implikacji [(p=>q)^(q=>r)]=>(p=>r)