Loại suy luận hợp lôgích nào đảm bảo chắc chắn kết luận xác thực nếu có các tiền đề xác thực?