#Emil Post

Kiểm một lập luận bằng bảng chân trị: đi tìm dòng phản ví dụ

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