Suy diễn & quy tắc suy luận
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.
Suy diễn & quy tắc suy luận
Từ nếu p thì q và q mà kết luận p, hoặc từ không p mà kết luận không q, đều là lỗi hình thức: có trường hợp p sai, q đúng làm tiền đề đúng, kết luận sai.
Logic học đại cương
Chứng minh dùng luận cứ đúng để rút ra luận đề qua luận chứng hợp lệ. Quy tắc cho từng phần, cách bác bỏ bằng phản ví dụ và vì sao bác luận cứ chưa làm luận đề
Quy nạp & suy luận khoa học
Theo Popper, giả thuyết khoa học phải chỉ ra được quan sát nào làm nó sai; một thiên nga đen bác bỏ "mọi thiên nga đều trắng", nghìn con trắng không chứng minh.
Quy nạp & suy luận khoa học
Phương pháp giả thuyết – suy diễn đặt giả thuyết, suy ra hệ quả quan sát được rồi đem thử; hệ quả sai thì bác bỏ, đúng thì chỉ ủng hộ — minh hoạ qua Semmelweis
