p ve q doğru önermeler ise ;(p=>q)vp önermesi nedir?
p-->(q-->p)=
p-->(q'vp)=
p'v(q'vp)=
(p'vp)vq'=
1vq'= 1 olur.
p ve q doğru önermeler ise p=1 ve q=1 olur
(1=>1)v1=1v1=1
