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