#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.