Cho <span class="katex-r" data-latex="displaystyle p, q, r"></span> là các mệnh đề. Các mệnh đề <span class="katex-r" data-latex="displaystyle (p rightrow q) (q rightrow r) rightrow (p rightrow r)"></span>, <span class="katex-r" data-latex="displaystyle (p q) rightrow p"></span> có tương đương logic không? Tại sao?