#song đề xây dựng

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.