Suy diễn & quy tắc suy luận
Modus ponens và modus tollens: hai quy tắc suy luận cơ bản nhất
Modus ponens: có nếu p thì q và có p, suy ra q. Modus tollens: có nếu p thì q và không q, suy ra không p. Cả hai hợp lệ, là gạch nền của mọi chứng minh.