Suy diễn & quy tắc suy luận
Lập mọi dòng đúng sai, tính tiền đề và kết luận, tìm dòng tiền đề đúng hết mà kết luận sai. Có thì không hợp lệ; không có thì hợp lệ. Có cách suy ngược cho nhan
Quy nạp & suy luận khoa học
Abduction đi từ sự việc đáng ngạc nhiên tới giả thuyết giải thích tốt nhất; nó chỉ đề xuất giả thuyết đáng kiểm, dùng trong chẩn đoán bệnh, sửa máy và phát hiện
Lịch sử logic học
Begriffsschrift của Frege (1879) lần đầu đưa ra lượng từ, biến, hàm và hệ tiên đề rõ ràng cho suy luận, nên được coi là mốc ra đời của logic vị từ hiện đại.
Logic & máy tính
NAND và NOR đầy đủ chức năng: chỉ dùng một loại là dựng được NOT, AND, OR nên dựng được mọi mạch. XOR cần 4 cổng NAND; AND với OR thì không bao giờ đủ.
