Tam đoạn luận giả định: p→q, q→r ⊨ p→r có hợp lệ không?

Hai mệnh đề kéo theo chung một công thức ở giữa sẽ nối lại: từ p → q và q → r ta được p → r. Những bước ngắn dựng nên lập luận dài như thế.