Suy diễn & quy tắc suy luận
Song đề trong logic: khi cả hai ngả đều dẫn tới cùng một kết luận
Song đề: nếu p thì r, nếu q thì r, p hoặc q, vậy r. Có bốn dạng xây dựng, phá huỷ, đơn, phức, đều hợp lệ; muốn bác phải chỉ ra tiền đề sai hoặc còn ngả thứ ba.