#modus tollendo ponens

Tam đoạn luận giả định và tam đoạn luận lựa chọn trong logic

Tam đoạn luận giả định nối nếu p thì q, nếu q thì r thành nếu p thì r. Tam đoạn luận lựa chọn: p hoặc q, không p, vậy q. Bẫy nằm ở chữ hoặc loại trừ.