udowodnij prawo przechodno sci implikacji [(p=>q)^(q=>r)]=>(p=>r)

udowodnij prawo przechodno sci implikacji [(p=>q)^(q=>r)]=>(p=>r) IrIpIqIp=>qIq=>rI(p=>q)^(q=>r)Ip=>rI[(p=>q)^(q=>r)]=>(p=>r)I 1 1 1 1------1---------1------------1---------------------1 1 1 0 0------1---------0------------1---------------------1 1 0 1 1------0---------0------------1---------------------1 1 0 0 1------1---------1------------1---------------------1 0 1 1 1------1---------1------------0---------------------1 0 1 0 0------1---------0------------0---------------------1 0 0 1 1------0---------0------------1---------------------1 0 0 0 1------1---------1------------1---------------------1